Robots Must Be Ephemeralized

How I patched Python to include this great Ruby feature

There Was No Formal Methods Winter

Issue #93


A Byte of Coding Issue #93
Greetings goblins and goblinettes
I hope you have an absolutely stellar day. What a time to be alive! Here's issue #93.

Robots Must Be Ephemeralized

Published: 20 September 2021
Tags: robotics

One of the biggest advantages of software is the fact that the iteration and testing feedback loop is insanely quick. This same advantage can be applied to hardware as well, in the form of simulation. In this exploratory article, Eric Jang "outline[s] why it is tempting for roboticists to iterate directly on real life, and how the difficulty of evaluating general-purpose robots will eventually force us to increasingly rely on offline evaluation techniques such as simulation".

Read Full Article

How I patched Python to include this great Ruby feature

Published: 16 September 2021
Tags: python, ruby

When was the last time you pushed a feature to a language you routinely use? For me, never, but after reading Miguel Brito's article, I think it might be a good idea. Miguel presents the tertiary conditional check of Ruby and demonstrates how to adjust Python's grammar and test files to implement it.

Read Full Article

There Was No Formal Methods Winter

Published: 21 September 2021
Tags: formal methods, philosophy

Formal methods are a particular kind of mathematically rigorous techniques for the specification, development and verification of software. Basically software created using formal methods guarantees no bugs (although they can't guarantee some stray ionized particle won't flip a bit). Justin's article (in response to another one) highlights some of the limitations of formal methods that hindered their mass adoption industry, while underlining aspects that might be contributing to the growth of interest.

Read Full Article
Want to discuss the issue? 

If you want to discuss or comment on this issue, head on over to this page at A Byte of Coding.
Thanks for your Support! 

Thanks to sponsors and supporters like Євген Грицай, Scott Munro, zturak, pek, Emil Hannesbo, and Joe Hill this newsletter is provided to you for free. If you'd like to also show your support and buy me a monthly meal, you can donate on the Patreon page. It's not necessary, but it lets me know that I'm doing a good job and that you're finding value in the content.
Donate Here

This email was sent to <<Email Address>>
why did I get this?    unsubscribe from this list    update subscription preferences
A Byte of Coding · 750 Fowler St NW · Atlanta, GA 30332-1914 · USA

Stats (updated daily)

Sent: 1492

Opens: 552

Clicks: 211

Link Clicks Clicks % Unique Clicks Unique Clicks %
Robots Must Be Ephemeralized 36 17.31% 26 15.03
How I patched Python to include this great Ruby feature 92 44.23% 80 46.24
There Was No Formal Methods Winter 80 38.46% 67 38.73


Back to Issues