Shalabh
@shalabh.com
Programmable software systems "research" and philosophizing.
shalabh.com/programmable-systems
Computation is a physical process.
Any models we use to describe this process is imposed by us. What models would you choose?
shalabh.com/programmable-systems
Computation is a physical process.
Any models we use to describe this process is imposed by us. What models would you choose?
Reposted by Shalabh
New blog post: "Going for robustness"
https://blog.khinsen.net/posts/2025/03/05/going-for-robustness.html
https://blog.khinsen.net/posts/2025/03/05/going-for-robustness.html
Konrad Hinsen's blog
blog.khinsen.net
March 5, 2025 at 8:49 AM
New blog post: "Going for robustness"
https://blog.khinsen.net/posts/2025/03/05/going-for-robustness.html
https://blog.khinsen.net/posts/2025/03/05/going-for-robustness.html
I quite liked this talk – sets up a clear perspective on how to look at consensus protocols. I didn't find Raft all that simple anyway (but I also bias towards leaderless consensus).
I gave a #HYTRADBOI talk which was a plea to not just choose Raft by default for replicating data: transactional.blog/t...
Talks: Enough With All The Raft
There's better ways to replicate data than Raft.
transactional.blog
March 3, 2025 at 6:35 AM
I quite liked this talk – sets up a clear perspective on how to look at consensus protocols. I didn't find Raft all that simple anyway (but I also bias towards leaderless consensus).
Reposted by Shalabh
Please submit to Onward! papers and essays. One of the best places to publish ambitious non-mainstream ideas on programming.
2025.splashcon.org/track/splash...
2025.splashcon.org/track/splash...
2025.splashcon.org/track/splash...
2025.splashcon.org/track/splash...
SPLASH 2025 - Onward! Papers - SPLASH 2025
Onward! is a premier multidisciplinary conference focused on everything to do with programming and software: including processes, methods, languages, communities and applications. Onward! is more radi...
2025.splashcon.org
February 19, 2025 at 1:26 AM
Please submit to Onward! papers and essays. One of the best places to publish ambitious non-mainstream ideas on programming.
2025.splashcon.org/track/splash...
2025.splashcon.org/track/splash...
2025.splashcon.org/track/splash...
2025.splashcon.org/track/splash...
Reposted by Shalabh
Has anyone ever heard of a live programming system that uses the types of dynamic values to feedback into static analysis?
February 12, 2025 at 6:25 PM
Has anyone ever heard of a live programming system that uses the types of dynamic values to feedback into static analysis?
Reposted by Shalabh
Plenty of reasons for this, which we've detailed in our newsletter: https://buttondown.com/northbaypython/archive/weve-extended-our-talk-submissions-window/
the most important thing: we do want to hear from you, so get your talk ideas in soon!
the most important thing: we do want to hear from you, so get your talk ideas in soon!
We've extended our talk submissions window
tl;dr: we're accepting talk proposals for North Bay Python 2025 for another two weeks; closing on February 21st. If you missed the original deadline for talk...
buttondown.com
February 11, 2025 at 9:03 PM
Plenty of reasons for this, which we've detailed in our newsletter: https://buttondown.com/northbaypython/archive/weve-extended-our-talk-submissions-window/
the most important thing: we do want to hear from you, so get your talk ideas in soon!
the most important thing: we do want to hear from you, so get your talk ideas in soon!
Most hobby OSes and OS courses mimic the Unix model with a "filesystem", "executables", "processes", "byte streams" and such. This is unfortunate. The design space to explore new core abstractions here is so much bigger.
January 25, 2025 at 7:11 AM
Most hobby OSes and OS courses mimic the Unix model with a "filesystem", "executables", "processes", "byte streams" and such. This is unfortunate. The design space to explore new core abstractions here is so much bigger.
Wow this is neat!
Here's the original youtu.be/495nCzxM9PI?...
Here's the original youtu.be/495nCzxM9PI?...
January 8, 2025 at 6:07 AM
Wow this is neat!
Here's the original youtu.be/495nCzxM9PI?...
Here's the original youtu.be/495nCzxM9PI?...
Reposted by Shalabh
How does one introduce a substrate without building an operating system?
January 3, 2025 at 6:05 PM
How does one introduce a substrate without building an operating system?
"Databases should handled schema migration" 💯
Indeed, systems should handle schema migration. A big bling spot in the PLs of today is that they cant imagine versions - they only ever imagine one version of the program, and consequently, only one version of the schema.
Indeed, systems should handle schema migration. A big bling spot in the PLs of today is that they cant imagine versions - they only ever imagine one version of the program, and consequently, only one version of the schema.
November 22, 2024 at 3:56 AM
"Databases should handled schema migration" 💯
Indeed, systems should handle schema migration. A big bling spot in the PLs of today is that they cant imagine versions - they only ever imagine one version of the program, and consequently, only one version of the schema.
Indeed, systems should handle schema migration. A big bling spot in the PLs of today is that they cant imagine versions - they only ever imagine one version of the program, and consequently, only one version of the schema.
Computation is a physical process. Any abstractions we use to build these processes, view them or make sense of the are all made up. Look what we have done!
November 21, 2024 at 4:08 AM
Computation is a physical process. Any abstractions we use to build these processes, view them or make sense of the are all made up. Look what we have done!