"the satisfaction that I get out of building Envoy and working with the larger community is primarily driven by a desire to have huge industry impact and solve deep computer science problems. It’s not driven by maximizing my monetary income" https://twitter.com/mattklein123/status/875921591489576960
Related Posts
"Example Driven Development" using Glamorous and Pharo Smalltalk: https://medium.com/feenk/an-example-of-example-driven-development-4dea0d995920
Tests returning values and composing is a really interesting model. It establishes structure and shows which test failure is the most 'fundamental'.
Overall it seems like the Rust for Linux is making huge strides. Greg KH is super supportive of it[1] and the wider Linux community is pretty positive[2] (see all the quotes at the end of the slides).
1: https://lore.kernel.org/rust-for-linux/2025021954-flaccid-pucker-f7d9@gregkh/
2: https://fosdem.org/2025/schedule/event/fosdem-2025-6507-rust-for-linux/
Really cute approach to reporting type errors: when there's a type error, show an example of a runtime error that the type check has prevented!
Data-Driven Techniques for Type Error Diagnosis https://escholarship.org/uc/item/59s4h4pv