Relacy Race Detector is a verifier for relaxed memory models
1024cores.net·1d·
Discuss: Hacker News
🔬Static Analysis
Introduction to Artificial Neural Networks – Part 1 (2013)
theprojectspot.com·1h·
Discuss: Hacker News
🏹Effect Systems
WeakC4, or Distilling an Emergent Object
2swap.github.io·4d·
Discuss: Hacker News
🔄Finite State Machines
Did GPT-5 Solve 'New Math'?
tech2geek.net·18h·
Discuss: Hacker News
✓Automated Theorem Proving
Show HN: An AI "senior engineer" that crafts specs before vibe coding
github.com·11h·
Discuss: Hacker News
👁️System Observability
MTalk-Bench: Evaluating Speech-to-Speech Models in Multi-Turn Dialogues via Arena-style and Rubrics Protocols
arxiv.org·1d
🐫OCaml
Make and SQL: An old new way for Data Science workloads
vasvir.wordpress.com·10h·
Discuss: Hacker News
🔬Static Analysis
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
jacobasper.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
API Design 101: From Basics to Best Practices
javarevisited.substack.com·2h·
Discuss: r/programming
📡Network Protocol Design
Reloading classes in python and shared borders
andrewpwheeler.com·17h·
Discuss: Hacker News
🔬Static Analysis
Sound and Solution-Complete CCBS
arxiv.org·2d
✓Automated Theorem Proving
Towards Synthesizing Normative Data for Cognitive Assessments Using Generative Multimodal Large Language Models
arxiv.org·1d
✓Automated Theorem Proving
Build an AI Agent with LangGraph
spin.atomicobject.com·16h·
Discuss: Hacker News
✓Automated Theorem Proving
Hot Reloading for Rust Gamedev
rygoldstein.com·1d·
Discuss: Hacker News
❄️Nixified Development
Retrieval Enhanced Feedback via In-context Neural Error-book
arxiv.org·2d
✓Automated Theorem Proving
On systematic construction of correct logic programs
arxiv.org·1d
✓Automated Theorem Proving
The Great Game: Game Theory for Collective Intelligence
foundation.symbiquity.ai·3d·
Discuss: Hacker News
✓Automated Theorem Proving
WOMAC: A Mechanism For Prediction Competitions
arxiv.org·1d
➡️Category Theory
Alvorada-Bench: Can Language Models Solve Brazilian University Entrance Exams?
arxiv.org·2d
💻CS
So you want to use SLMs. Can you handle them?
unionailoop.substack.com·15h·
Discuss: Substack
🔬Unikernels