Semantic vs Date Versions
tglman.com·2h·
Discuss: Hacker News
❄️Nixified Development
Show HN: I made GraphQL Editor VS Code extension free
marketplace.visualstudio.com·7h·
Discuss: Hacker News
🐫OCaml
Apple is teaching its AI to adapt to the Trump era
politico.eu·3h·
Discuss: Hacker News
🍎Apple
Why – Decompression Through Inquiry
williamolivers.substack.com·2d·
Discuss: Substack
📝Term Rewriting
So you want to control flow in PyTorch 2
blog.ezyang.com·4d·
Discuss: Hacker News
✅Model Checking
LLMs Are Adaptive Data Organisms
worldgov.org·3d·
Discuss: Hacker News
📚Automata Learning
Show HN: DevSwarm, run multiple AI coding assistants in parallel
devswarm.ai·2d·
Discuss: Hacker News
⚙️PL Implementation
The (sometimes rocky) road to a paper
lmao.bearblog.dev·6d·
Discuss: Hacker News
🧮Lambda Calculus
Content Query Languages
deanebarker.net·5d·
Discuss: Hacker News
🧮Lambda Calculus
EmbeddingGemma - 300M parameter, state-of-the-art for its size, open embedding model from Google
huggingface.co·5d·
Discuss: Hacker News, r/LocalLLaMA
📚Automata Learning
Semi-supervised Deep Transfer for Regression without Domain Alignment
arxiv.org·2d
📚Automata Learning
The Endless Hot Vibe Code Summer
redmonk.com·1d·
Discuss: Hacker News
🤖Program Synthesis
The Impact of Critique on LLM-Based Model Generation from Natural Language: The Case of Activity Diagrams
arxiv.org·6d
📝Term Rewriting
Shamir's Secret Sharing
en.wikipedia.org·7h·
Discuss: Hacker News
🧩Separation Logic
MTQA:Matrix of Thought for Enhanced Reasoning in Complex Question Answering
arxiv.org·5d
➡️Category Theory
Billion-Line Days Demand Billion-Test Nights
momentic.ai·1d·
Discuss: Hacker News
🤖Program Synthesis
Is Google Facing Its Yahoo Moment?
medium.com·22m·
Discuss: Hacker News
🔬Unikernels
FC-PINO: High Precision Physics-Informed Neural Operators via Fourier Continuation
arxiv.org·2d
🐫OCaml
Ask HN: Looking for Some Guidance
news.ycombinator.com·1d·
Discuss: Hacker News
🩹Self-Healing Systems
Breaking the Mirror: Activation-Based Mitigation of Self-Preference in LLM Evaluators
arxiv.org·5d
📚Automata Learning