We are "patient" zero, so we hardened ourselves!

Kaer Morhen
Joined May 2015
Hardened-GNU/Linux retweeted
Calling all GPUs: help us benchmark SonicBoom v0.0.3 — a compiler-first AI runtime that beats llama.cpp on decode cc @citypw @hardenedlinux @hardenedvault github.com/hardenedlinux/Son…
1
1
3
203
Hardened-GNU/Linux retweeted
aumasson.jp/murphy.html accepting new entries
7
17
3
103
4,411
Hardened-GNU/Linux retweeted
I factored the number RSA1024-1 using my home-built QPU stack; alarming sign that RSA1024 will soon be broken. I'm choosing Full Disclosure, in the interest of transparency and Science advancement: gist.github.com/veorq/25bee6… Non-ZK proof that the correct RSA1024 was used: en.wikipedia.org/w/index.php… @yuvadm your move
120
319
68
1,993
422,076
Hardened-GNU/Linux retweeted
Hi folks, here're the latest updates on GNU Artanis development as of January 28, 2026. #GNU #Artanis #Scheme #Guile cc @guilelang artanis.dev/blog/technical-r…
1
1
1
223
Hardened-GNU/Linux retweeted
Folks, we provide GNU Artanis consulting services based on @hardenedlinux artanis.dev/services.html
2
4
559
Hardened-GNU/Linux retweeted
A nice write up about memory safety with fil-C. @R0yMu @filpizlo #prog #filc #cpp gizvault.com/archives/what-i…
1
5
1
14
2,238
Hardened-GNU/Linux retweeted
8/9(土)にIIJ本社で開催される Kernel/VM探検隊@東京 No18 のポスター「Confidential Computing, TEE, TPM, Secure Elementが熱い!」を公開しました。 lab.iisec.ac.jp/~suzaki_lab/…
3
4
780
Hardened-GNU/Linux retweeted
rust😁 (CVE-2025-48530)[crabbyavif, Avif parser/decoder][NV12]OOB accesses(YUV planes, alpha plane, Y plane, UV planes, chroma width calc, plane size calc, row bytes,...) -> 0-click RCE android.googlesource.com/pla… alloc -> decoder write -> copy/access -> RCE potential
Android Security Bulletin - August 2025 source.android.com/docs/secu…
9
22
3
102
14,131
Hardened-GNU/Linux retweeted
European authoritarians and their enablers in the media are misrepresenting GrapheneOS and even Pixel phones as if they're something for criminals. GrapheneOS is opposed to the mass surveillance police state these people want to impose on everyone. xatakandroid.com/sociedad/ca…
94
721
112
3,723
620,024
Hardened-GNU/Linux retweeted
Programming Difficulty Selection Screen
John Carmack Then: Doom programmer Now: Doomslayer
72
163
4
3,364
175,848
Hardened-GNU/Linux retweeted
This is interesting — a compiler/runtime that makes almost all standard C/C++ code completely memory safe. The performance overhead is not negligible, but there are plenty of cases where “rewrite it in rust” still isn’t a practical solution.
Here's an updated list of C/C++ programs that are totally memory safe because I ported then to Fil-C. In many cases they requires zero changes or just small cosmetic changes! - musl libc - libc++ (C++) - libc++abi (C++) - WG14 signals - libuev - icu4c (C++) - zlib - bzip2 - bzip3 - xzutils - pcre - pcre2 - jpeg-6b - ncurses (some C++) - libedit - openssl - curl - openssh - mg - tcl - sqlite - cpython - zsh - lua - simdutf (C++) - quickjs - simdjson (C++) - ada-url (C++) - libffi - zstandard - sudo That's not even counting stuff that other folks have gotten to work in Fil-C but that I haven't had a chance to include in my corpus. It's also not counting all of the various programming language shootout tests that just work in Fil-C.
65
181
18
2,503
279,317
Hardened-GNU/Linux retweeted
So guys they ported bzip2 to Rust! That's interesting since bzip2 compiles and runs fine in Fil-C with zero changes, and the Fil-C version doesn't need any unsafe escape hatches. What about the Rust version? Surely it's super safe, yeah...?
17
14
4
349
44,870
Hardened-GNU/Linux retweeted
Replying to @github
@github @Microsoft has disabled access to the legacy LKM rootkit Reptile repository used by Vault Range. We’re migrating the code repo to @codeberg_org codeberg.org/hardenedvault/R… Sorry for any inconvenience. Happy hacking!
1
140
Hardened-GNU/Linux retweeted
Github/M$ has disabled access to the legacy LKM rootkit Reptile repository used by Vault Range. We’re migrating the code repo to @codeberg_org codeberg.org/hardenedvault/R… Sorry for any inconvenience. Happy hacking!
2
2
463
Hardened-GNU/Linux retweeted
Looks like this @Timesys Corporation did an amazing job [SARCASM] selling their Timesys Kernel Hardening Analysis Tool that simply provides the recommendations from my open source project kernel-hardening-checker. They don't even mention kernel-hardening-checker. Shame on them👎
1
5
47
5,004