🔒 Type Safety - matmat · Scour

notes.billmill.org·1d

🕸️WASM Archives

blog.startifact.com·16h

🔲Cellular Automata

Dada: moves and mutation

smallcultfollowing.com·1d

🦀Rust Macros

Fragments: February 9

martinfowler.com·1d

🗣️Domain-Specific Languages

So we have any for interface{} and nil

reddit.com·3d·

Discuss: r/golang

⚖️Hoare Logic

Linux 7.0 VFS Changes: Non-Blocking Timestamps, Standardized Generic I/O Error Reporting

phoronix.com·22h

Still Manual? Automated Linter Configuration via DSL-Based LLM Compilation of Coding Standards

arxiv.org·1d

🗣️Domain-Specific Languages

Gillian Debugging: Swinging Through the (Compositional Symbolic Execution) Trees, Extended Version

arxiv.org·1d

🔗Functional Compilers

Rust in Linux: Fixing the Edges, Not the Core

dev.to·6d·

Discuss: DEV

🦀Embedded Rust

SIGKILL durability proof (per-visitor container)

ayder.xyz·1d·

Discuss: Hacker News

🌳Persistent Data Structures

Sneaky quokka: Testing and debugging with LLMs

honnibal.dev·1d

🧪Binary Fuzzing

SecureShellClaw: A Prompt-Injection-Resistant Alternative Approach to OpenClaw

jona.ca·2d·

Discuss: Hacker News

🛡️CLI Security

Lean 4 and the Curry–Howard correspondence

wildonblog.wordpress.com·1d

⚔️Lean Theorem

Building a Zero-Allocation, SIMD-Accelerated CSV Parser in Zig

peymanmo.com·1d·

Discuss: Hacker News

🚀SIMD Text Processing

Performance Tip of the Week #62: Identifying and reducing memory bandwidth needs

abseil.io·3d

💨Cache Analysis

We just built AWS Lambda with a browser built-in. (Browserbase Functions)

browserbase.com·22h·

Discuss: Hacker News

Understanding the Go Runtime: The Bootstrap

internals-for-interns.com·2d·

Discuss: Hacker News, r/golang

🔩Systems Programming

How I Built My Project in Haskell

dev.to·3d·

Discuss: DEV

🔗Functional Compilers

Show HN: Klint – Linux Kernel Security Scanner

saturnine.cc·2d·

Discuss: Hacker News

How to Prove the Correctness of AI-Generated Code Using Formal Methods

adacore.com·1d·

Discuss: Hacker News

⚡Proof Automation

Loading more...