Architect's Guide to Micro-Front Ends: Module Federation with React and Angular
developersvoice.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
The Unreasonable Effectiveness of Recurrent Neural Networks
karpathy.github.io·1d·
Discuss: Hacker News
🔄Finite State Machines
A Refreshing SQL Injection Discovery in Z-Push
xbow.com·14h·
Discuss: Hacker News
🛡️seL4
NRF54L15 Electromagnetic Fault Injection
blog.syss.com·2d·
Discuss: Hacker News
🧪Property-Based Testing
Full QuickJS Support for Nginx
blog.nginx.org·5h·
Discuss: Hacker News
🌐NetworkProtocols
The Next Wave
dumindu.github.io·12h·
Discuss: Hacker News, r/programming
🤖Program Synthesis
Developing Structural Analysis Tooling for Experimental Aircraft
stanleywang.dev·1d·
Discuss: Hacker News
🔄Reproducible Builds
(PR) JEDEC Releases New LPDDR6 Standard to Enhance Memory Performance
techpowerup.com·1d·
Discuss: Hacker News
⚙️Operating System Design
ViDove: A Translation Agent System with Multimodal Context and Memory-Augmented Reasoning
arxiv.org·3h
🔤DSLs
Leaky chatbots: Understanding sensitive information disclosure in AI
scworld.com·12h·
Discuss: Hacker News
🛡️seL4
OverflowSort: A (possibly) novel high-speed sorting algorithm based on overflow
github.com·19h·
Discuss: Hacker News
⚙️PL Implementation
Trace LLM workflows at your app's semantic level, not at the OpenAI API boundary
engineeringideas.substack.com·28m·
Discuss: Substack
🔍Formal Verification
ANN: Miso-lynx, create iOS apps with Haskell and LynxJS
github.com·1d·
Discuss: Hacker News
❄️Nix
Towards Exception Safety Code Generation with Intermediate Representation Agents Framework
arxiv.org·2d
🔍Formal Verification
FLoRA: An Advanced AI-Powered Engine to Facilitate Hybrid Human-AI Regulated Learning
arxiv.org·3h
💻CS
Micro Common Lisp
t3x.org·4d·
Discuss: Lobsters, Hacker News
⚙️PL Implementation
C++ with no classes?
pvs-studio.com·1d·
Discuss: r/cpp, r/programming
🐫OCaml
Towards an Efficient Shifted Cholesky QR for Applications in Model Order Reduction using pyMOR
arxiv.org·3h
🐫OCaml
What Makes Code Beautiful
thecoder.cafe·21h·
Discuss: r/programming
🔬Static Analysis
KSAT
corrode.dev·1d·
Discuss: Hacker News
⎈Kubernetes