Toots from 2024-05-23
@thudfactor That is awesome, old-school Internet style! I’ve…
@thudfactor That is awesome, old-school Internet style!
I’ve been using Hasklig for a long time & may need to switch up.
Mastodon Source 🐘
@thudfactor Appreciate your kind words and glad to hear that …
@thudfactor Appreciate your kind words and glad to hear that you’ve found them helpful.
Mastodon Source 🐘
@thudfactor Yes - I liked this article a lot. It’s beneficial…
@thudfactor Yes - I liked this article a lot. It’s beneficial to spend time creating future capacity and loose coupling. Incentivizing speed and predictability/control over capacity is tempting because of vastly different measurement costs. It is high risk and over time (which seems at odds with short-term financial incentives) pays off hugely. Whether managers have personal or organizational support to take those risks is going to be very context-specific.
Mastodon Source 🐘
“Both these tools use the Rust type system to eliminate the need for separation logic, in fact,…
“Both these tools use the Rust type system to eliminate the need for separation logic, in fact, these tools transform Rust programs into equivalent, pure, functional programs!”
https://xav.io/blog/rust-formal-verification/
Mastodon Source 🐘
“If this rigidness of our software is one of our main bottlenecks, you’d think we’d be eage…
“If this rigidness of our software is one of our main bottlenecks, you’d think we’d be eager to address it. And yet, a disappointingly low amount of software organisations give enough attention to deep structural improvement of their software.”
https://verraes.net/2022/05/conways-law-vs-rigid-designs/
Mastodon Source 🐘
“Each of these cycles has been larger and lasted longer than the last, and I want to be clear: …
“Each of these cycles has been larger and lasted longer than the last, and I want to be clear: each cycle has produced genuinely useful technology. It’s just that each follows the progress of a sigmoid curve that everyone mistakes for an exponential one.”
https://blog.glyph.im/2024/05/grand-unified-ai-hype.html
Mastodon Source 🐘
Oh noooo! She has been doing an epic Africa ride starting in Morocco. <https://youtu.be/PbqQqh2n…
Oh noooo! She has been doing an epic Africa ride starting in Morocco.
https://youtu.be/PbqQqh2nyJE?si=R22fFm7BQjViysWR