Mastering Language Models: A Deep Dive into Input Parameters
megaputer.com·13h·
Discuss: Hacker News
🧪Property-Based Testing
Types are Transforming Python
spin.atomicobject.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
C++ with no classes?
pvs-studio.com·1d·
Discuss: r/cpp, r/programming
🐫OCaml
LLM Inference Handbook
bentoml.com·4h·
Discuss: Hacker News
🛡️seL4
Medical Red Teaming Protocol of Language Models: On the Importance of User Perspectives in Healthcare Settings
arxiv.org·3h
🔍Formal Verification
Galois field instructions on 2021 CPUs
corsix.org·20h·
Discuss: Hacker News
🐫Embedded OCaml
SQLBarber: A System Leveraging Large Language Models to Generate Customized and Realistic SQL Workloads
arxiv.org·2d
🔤DSLs
Semantically Separating Nominal Wyvern for Usability and Decidability
arxiv.org·3d
🐫OCaml
Building Your First ETL Pipeline in Rust
ryuru.com·1d·
Discuss: r/programming
🔬Static Analysis
On Trustworthy Rule-Based Models and Explanations
arxiv.org·3h
✓Automated Theorem Proving
KSAT
corrode.dev·1d·
Discuss: Hacker News
⎈Kubernetes
JavaScript is easy, but how good is Claude Code at writing Malbolge code?
somethingwithai.substack.com·13h·
Discuss: Substack
🐫Embedded OCaml
Show HN: Bedrock – An 8-bit computing system for running programs anywhere
benbridle.com·8h·
Discuss: Hacker News
⚙️PL Implementation
SAND: Boosting LLM Agents with Self-Taught Action Deliberation
arxiv.org·3h
🎮Verification Games
Announcing GenAI Processors: Build powerful and flexible Gemini applications
developers.googleblog.com·14h·
Discuss: Hacker News
⚙️PL Implementation
The Tree Borrows paper is finally published
ralfj.de·4d·
Discuss: Lobsters, Hacker News
🛡️seL4
Programming = proving? The Curry-Howard correspondence today
xavierleroy.org·3d·
Discuss: Hacker News
➡️Category Theory
Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving
arxiv.org·1d
✓Automated Theorem Proving
The Right Approach to Authorization in RAG
osohq.com·1d·
Discuss: Hacker News
🛡️seL4
Microbeam Decision Pathways for Goal-Aligned Autonomous Agents
news.ycombinator.com·1d·
Discuss: Hacker News
🛡️seL4