Ex-SWE
Ex-SRE
Ex-
Hot take:
Discord is not a documentation platform. It is a chat platform. If your project requires connecting to a discord to obtain necessary information, then your project is undocumented.
Here's @davidallengreen thought experiment on the structure of the UK's prison system; a prison system that as he points out is really set up on, and works to a dysfunctional response to crime & criminals.
However, the view of punishment (rather than rehabilitation) that it encompasses has too many proponents for an alternative to establish itself as the political ground for reform.
https://emptycity.substack.com/p/the-real-problem-which-blights-our
@shriramk
Have you previously written or know any blog posts related to computable reals? Always looking to learn more.
Sidenote: a while back there was a hit twitter thread about android's calculator app. Its also available verbatim in a website but felt easier to read the thread. Is this relevant in some way 🤔
https://chadnauseam.com/coding/random/calculator-app
After *checks notes* 8 months, I finally got around to doing another Surfer release 🎉
The change log is long with lots of big and small changes, my favorites being the new wasm based translators, and improvements to the waveform control protocol.
I also took the opportunity to set up automatic builds of the VSCode extension from `main` so it will be in sync with the rest of our binaries :)
Full change log at https://gitlab.com/surfer-project/surfer/-/blob/main/CHANGELOG.md?ref_type=heads#040---2025-11-06