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…
Hardened-GNU/Linux retweeted
aumasson.jp/murphy.html
accepting new entries
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
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…
Hardened-GNU/Linux retweeted
BTW, here's the repo for benchmark.
github.com/hardenedlinux/gui…
Hardened-GNU/Linux retweeted
Hashtable vs. A-list in Scheme, which to choose?
Let's benchmark!
cc @guilelang @hardenedlinux
#blog #scheme #guile
nalaginrut.com/archives/2025…
Hardened-GNU/Linux retweeted
VED 2026: after CFI - data only
hardenedvault.net/blog/2025-…
Hardened-GNU/Linux retweeted
Folks, we provide GNU Artanis consulting services based on @hardenedlinux
artanis.dev/services.html
Hardened-GNU/Linux retweeted
8/9(土)にIIJ本社で開催される
Kernel/VM探検隊@東京 No18
のポスター「Confidential Computing, TEE, TPM,
Secure Elementが熱い!」を公開しました。
lab.iisec.ac.jp/~suzaki_lab/…
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
Hardened-GNU/Linux retweeted
The ITTAGE indirect branch predictor blog.nelhage.com/post/ittage…
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…
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.
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...?
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!
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!
Hardened-GNU/Linux retweeted
libffi now works in Fil-C. `make check` passes. here's the port github.com/pizlonator/pizlon…
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👎






















