Developing Structural Analysis Tooling for Experimental Aircraft
stanleywang.dev·1d·
Discuss: Hacker News
🔄Reproducible Builds
Architect's Guide to Micro-Front Ends: Module Federation with React and Angular
developersvoice.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
NRF54L15 Electromagnetic Fault Injection
blog.syss.com·2d·
Discuss: Hacker News
🧪Property-Based Testing
The Unreasonable Effectiveness of Recurrent Neural Networks
karpathy.github.io·1d·
Discuss: Hacker News
🔄Finite State Machines
Leaky chatbots: Understanding sensitive information disclosure in AI
scworld.com·10h·
Discuss: Hacker News
🛡️seL4
Full QuickJS Support for Nginx
blog.nginx.org·3h·
Discuss: Hacker News
🌐NetworkProtocols
(PR) JEDEC Releases New LPDDR6 Standard to Enhance Memory Performance
techpowerup.com·1d·
Discuss: Hacker News
⚙️Operating System Design
An almost catastrophic OpenZFS bug and the humans that made it
despairlabs.com·16h·
Discuss: Lobsters, Hacker News
🔬Unikernels
ViDove: A Translation Agent System with Multimodal Context and Memory-Augmented Reasoning
arxiv.org·2h
🔤DSLs
OverflowSort: A (possibly) novel high-speed sorting algorithm based on overflow
github.com·17h·
Discuss: Hacker News
⚙️PL Implementation
ANN: Miso-lynx, create iOS apps with Haskell and LynxJS
github.com·1d·
Discuss: Hacker News
❄️Nix
KSAT
corrode.dev·1d·
Discuss: Hacker News
⎈Kubernetes
Towards Exception Safety Code Generation with Intermediate Representation Agents Framework
arxiv.org·2d
🔍Formal Verification
Micro Common Lisp
t3x.org·4d·
Discuss: Lobsters, Hacker News
⚙️PL Implementation
FLoRA: An Advanced AI-Powered Engine to Facilitate Hybrid Human-AI Regulated Learning
arxiv.org·2h
💻CS
C++ with no classes?
pvs-studio.com·1d·
Discuss: r/cpp, r/programming
🐫OCaml
Parsing 1 Billion Rows in Bun/TypeScript Under 10s
taekim.dev·15h·
Discuss: Hacker News, r/node, r/programming, r/typescript
⚙️PL Implementation
Towards an Efficient Shifted Cholesky QR for Applications in Model Order Reduction using pyMOR
arxiv.org·2h
🐫OCaml
What Makes Code Beautiful
thecoder.cafe·20h·
Discuss: r/programming
🔬Static Analysis
PBE Meets LLM: When Few Examples Aren't Few-Shot Enough
arxiv.org·2d
✓Automated Theorem Proving