#0181: Why Elixir?
matthewsinclair.medium.com·3d
🌊Apache Kafka
AI Programming Paradigms: A Timeline
kau.sh·2d
⚡Proof Automation
New Software from 'Ruđer' for Faster Supercomputer Simulations
irb.hr·12m·
Discuss: Hacker News
⚛️Information Physics
Galois field instructions on 2021 CPUs
corsix.org·22h·
Discuss: Hacker News
🔐RISC-V Cryptography
Full QuickJS Support for Nginx
blog.nginx.org·7h·
Discuss: Hacker News
⚡gRPC
guile lab notebook: on the move!
wingolog.org·2d·
Discuss: Lobsters, Hacker News, r/programming
🧠Separation Logic
Understand CPU Branch Instructions Better
chrisfeilbach.com·4d·
Discuss: Hacker News, r/programming
🦾ARM Assembly
The Right Approach to Authorization in RAG
osohq.com·1d·
Discuss: Hacker News
🧬PostgreSQL Forensics
On the UI of Coding Assistants And Agents
lmika.org·1d
✨Effect Handlers
LLDB's TypeSystems Part 2: PDB
walnut356.github.io·3d·
Discuss: r/programming
⚡Dependent Rust
When Large Language Models Meet Law: Dual-Lens Taxonomy, Technical Advances, and Ethical Governance
arxiv.org·5h
📝ABNF Parsing
Accelerating translations with continuous integration
dev.to·1d·
Discuss: DEV
🔄Language Evolution
Self-Review Framework for Enhancing Instruction Following Capability of LLM
arxiv.org·2d
✓Automated Theorem Proving
A Cycle-Consistency Constrained Framework for Dynamic Solution Space Reduction in Noninjective Regression
arxiv.org·3d
📊Quantization
LLM Inference Handbook
bentoml.com·7h·
Discuss: Hacker News
💻Local LLMs
Bridging the Plausibility-Validity Gap by Fine-Tuning a Reasoning-Enhanced LLM for Chemical Synthesis and Discovery
arxiv.org·5h
🧮Kolmogorov Complexity
Recap of all types of LLM Agents
towardsdatascience.com·1d
⚡Proof Automation
8 AI Developer Tools for Smarter & Faster Coding in 2025 ⚡️🧙‍♂️
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Reframe – Open‑Source ISO20022 Message Transformer in Rust
github.com·19h·
Discuss: Hacker News
🔐CBOR
FastMCP - A Smarter Way to Build LLM Toolchains
dev.to·1d·
Discuss: DEV
🧩WASM Components