A Random Walk in 10 Dimensions (2021)
galileo-unbound.blog·18h·
Discuss: Hacker News
🧮Lambda Calculus
Zero runtime cost styles in ClojureScript
romanliutikov.com·1d·
Discuss: Lobsters
🍎XNU Internals
Liquidsoap Release 2.4.0
liquidsoap.info·2d·
Discuss: Hacker News
🐳Containerization
Show HN: Basekick – We rescue AI startups from broken infra (CI/CD, AWS, etc.)
basekick.net·1d·
Discuss: Hacker News
🐳Containerization
Can Multi-turn Self-refined Single Agent LMs with Retrieval Solve Hard Coding Problems?
arxiv.org·1d
📚Automata Learning
2025-09-01: Let's write a peephole optimizer for QBE's arm64 backend
briancallahan.net·3d·
Discuss: Hacker News
🐫Embedded OCaml
Shallow vs. Deep Thinking - Why LLMs Fall Short
lesswrong.com·18h
🎮Verification Games
Quantum-like Coherence Derived from the Interaction between Chemical Reaction and Its Environment
arxiv.org·1d
🐫OCaml
Optimizing AI Inference with Edge Computing
edgee.cloud·1d·
Discuss: Hacker News
📚Automata Learning
Can you help me decide on a name for my project? I'm thinking Py++.
github.com·1d·
Discuss: r/programming
💎Refinement Types
Fast and Scalable Mixed Precision Euclidean Distance Calculations Using GPU Tensor Cores
arxiv.org·3d
🔧Unikernel Development
There's a gap between AI coding demos and daily reality
github.com·2d·
Discuss: Hacker News
🤖Program Synthesis
Identifying Causal Direction via Dense Functional Classes
arxiv.org·1d
📚Automata Learning
User Manual for Model-based Imaging Inverse Problem
arxiv.org·1d
🐫OCaml
All Hype, No Bite: The "Your Brain on ChatGPT.." Preprint
residualinsights.com·15h·
Discuss: Hacker News
📚Automata Learning
Diverse Unionable Tuple Search: Novelty-Driven Discovery in Data Lakes [Technical Report]
arxiv.org·1d
📝Term Rewriting
ChatCLIDS: Simulating Persuasive AI Dialogues to Promote Closed-Loop Insulin Adoption in Type 1 Diabetes Care
arxiv.org·1d
🎮Verification Games
Stop Force-Feeding AI to Your Developers
thenewstack.io·14h
🔄Reproducible Builds
The maths you need to start understanding LLMs
gilesthomas.com·1d·
Discuss: Hacker News
📚Automata Learning
Show HN: Fine-tuned Llama 3.2 3B to match 70B models for local transcripts
bilawal.net·2d·
Discuss: Hacker News
🧩Parser Combinators