The Fil-C Optimized Calling Convention(fil-c.org)

124 points by pizlonator 5 months ago | 24 comments

Safepoints and Fil-C(fil-c.org)

80 points by matt_d 1 year ago | 41 comments

Linux Sandboxes and Fil-C(fil-c.org)

331 points by pizlonator 10 months ago | 133 comments

A Fil-C documentation page explaining how memory safety and Linux sandboxing (seccomp) are orthogonal and how Fil-C supports sandboxes.

Memory Safe Context Switching(fil-c.org)

198 points by modeless 3 months ago | 30 comments

Memory Safe Inline Assembly(fil-c.org)

164 points by pizlonator 4 months ago | 39 comments

Pizlix: Memory Safe Linux from Scratch(fil-c.org)

67 points by nullbyte808 10 months ago | 19 comments

Llama2.c: Inference llama 2 in one file of pure C(github.com)

659 points by anjneymidha 3 years ago | 158 comments

GitHub repository by Andrej Karpathy for llama2.c, a minimal implementation for running Llama 2 model inference in a single file of pure C.

Notes by djb on using Fil-C(cr.yp.to)

340 points by transpute 11 months ago | 219 comments

Daniel J. Bernstein's notes on using the memory-safe C/C++ compiler Fil-C, including install scripts, timings, and compatibility observations on Debian 13.

Κ = 0.003 for integer multiplication crossed(github.com)

31 points by aleph_minus_one 4 days ago | 22 comments

A GitHub pull request in CrocSwap/integer-mult-bounds claiming a conditional integer multiplication bound O(n (log n)^(1-0.00300105)) by combining query thinning and helper retiming.

Claude Code can debug low-level cryptography(words.filippo.io)

446 points by Bogdanp 11 months ago | 199 comments

Filippo Valsorda's blog post on using Claude Code to debug his new Go implementation of the ML-DSA post-quantum signature algorithm.

We found a bug in Go's ARM64 compiler(blog.cloudflare.com)

799 points by jgrahamc 1 year ago | 130 comments

Cloudflare blog post by Thea Heinen describing how the team discovered and diagnosed a bug in the Go compiler's arm64 code generation.

Pure Sh Bible(github.com)

359 points by akraker 3 years ago | 103 comments

GitHub repository by dylanaraps collecting pure POSIX sh alternatives to external processes, as a shell scripting reference.