Oliver Gould

@olix0r.net

Production systems. System productions. web: https://olix0r.net Don't believe anything that @ver.ooo says.

Oh, this is cool! New rust-analyzer command. "rust-analyzer: Evaluate Predicate" Then type in the type and bound and it'll tell you whether it holds. So, you don't have to go through source code anymore. #rustlang

PropertyInfo<u32>: Unpin
> predicate holds

Lots of ink spilled on "Loop engineering", but no one seems to connect it to its much older name: Cybernetics. Maybe by the year's end, we'll recognize that it was all Control Theory engineering all along.

Bild

2026 isn't even half way done, and so far we've received over double the security reports from the entire previous year (which already was more than normal).

Yes, Swiss scientist Fritz Zwicky coined the term “dark matter” which is impressive, but he also coined the term “spherical bastard” to describe people who are bastards no matter which way you look at them, and I think that should be celebrated more.

"sort of a drunk Sisyphus situation [...] Orthogonality Thesis [..] superintelligence with a randomly generated utility function [...] Yudkowsky [...] If the übermenschen align the AI, who aligns the übermenschen?" tldr AI doom is wrong www.verysane.ai/p/counting-a...

Counting Arguments and AI

A “counting argument” is a style of argument common among creationists, who argue that the theory of evolution cannot be true and therefore humans (and usually animals too) were made in basically their present form by God.

verysane.ai

Yeah so my takeaway from this is that any software written in C or C++ is just doomed and will need to be replaced ASAP. People may soon be incentivized to make radical switches that would otherwise have zero momentum. e.g. Niche formally proven OSes.

mr. TIM@timkellogg.me · 4mo ago

Talk by a security researcher at Anthropic He shows that you can trivially get Opus 4.5/4.6 to find very difficult to find bugs in established code bases, like the Linux kernel He also seems very worried about “the next few months” m.youtube.com/watch?v=1sd2...

I