Harld 
Mood.
High Assurance Software
Muen Separation Kernel https://muen.sk
Ada/SPARK
| Web | https://codelabs.ch/~ken/ |
| ☁️ | https://bsky.app/profile/kensan42.bsky.social |
@Kensan
- 612 Followers
- 620 Following
- 7.9K Posts
Disciple of Tsundoku 📚
High Assurance Software
Muen Separation Kernel https://muen.sk
Ada/SPARK
High Assurance Software
Muen Separation Kernel https://muen.sk
Ada/SPARK
KealaKay
Today I learnedTIL Katherine Johnson was called a “computer” early in her NASA career, and her math helped send the first American astronaut into orbit and later helped put humans on the Moon.
https://www.nasa.gov/learning-resources/for-kids-and-students/who-was-katherine-johnson-grades-k-4/
#til #todayilearned
https://www.reddit.com/r/todayilearned/comments/1toxy9e/til_katherine_johnson_was_called_a_computer_early/
James Tuckerif you want really good browser font rendering on linux, my firefox patch landed and so you can set:
gfx.font_rendering.freetype.enhanced_contrast 100
gfx.font_rendering.freetype.gamma 0
for excellent subpixel AA
no color fringing
no ghostly stems
the road to new defaults is unbounded, sadly.
Lorenzo Franceschi-BicchieraiNEW: In the first piece in a series about the biggest cybersecurity mysteries ever, I looked at what we know about the Shadow Brokers, the group that leaked several NSA hacking tools a decade ago.
Even after all this time, their identity remains unknown, despite causing havoc all over the internet, when North Korean and Russian government hackers used one of the tools they leaked for the WannaCry and NotPetya attacks.
http://techcrunch.com/2026/05/26/ghost-hackers-the-cybersecurity-mystery-that-nobody-has-solved/
Frédéric Jacobs🆕 A blueprint for formal verification of Apple corecrypto
Learn more about the formal verification methods used for ensuring the mathematical correctness of corecrypto's post-quantum ML-KEM and ML-DSA implementations.
We are also releasing our Isabelle libraries, ARM64 model, and Cryptol-to-Isabelle translator!
https://security.apple.com/blog/formal-verification-corecrypto/
daniel:// stenberg://The pressure
for us in the #curl project right now
The pressure
I'm doing Open Source primarily because I love it. The social aspects, the for-the-good angle and for the challenge of engineering this to work for everyone. I also do it because it is my full-time job and getting food on the table and provide for my family is not unimportant. It may come as a … Continue reading The pressure →
Gabriele SveltoRegarding the Raptor Lake bug I received a couple of messages from confused users that had read articles on Tomshardware and Neowin. They asked about erratas and microcode updates which puzzled me, because that was part of my early investigation into the bug and we know that the failure is not caused by a known errata and microcode updates cannot fix broken CPUs. So why did they ask? As it turns out it was slop. Both articles are 100% slop full of confusing and inaccurate claims.
I remember the La Linea comics which would run on TV sometimes. They were really fun and I loved the simplicity and the idea of a character interacting with it’s creator. https://youtu.be/JKDYZ2n6XKY
DinosaureI’ve just discovered: https://riot.ml/. Many people would say the end result is really good, but I think (and this is just my opinion) that it highlights a much sadder reality: what’s the point of recreating the world all on your own? Above all, it shows the inability of some people to even collaborate with others. It’s true that collaboration involves friction, conflicts and differing viewpoints, but that’s also where intelligence lies.