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