Robots Must Be Ephemeralized

How I patched Python to include this great Ruby feature

There Was No Formal Methods Winter

Issue #93

9/21/2021

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.
Twitter
Website
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

Stats (updated daily)

Sent: 1492

Opens: 779

Clicks: 205

Link Clicks Clicks % Unique Clicks Unique Clicks %
How I patched Python to include this great Ruby feature 88 42.93% 77 45.29
There Was No Formal Methods Winter 79 38.54% 66 38.82
Robots Must Be Ephemeralized 35 17.07% 25 14.71
A Byte of Coding 3 1.46% 2 1.18

Previous

Back to Issues

Next