Some people continue to engage in self-sabotaging behaviour even after intervention due to a persistent failure to connect their actions with consequences
unsw.edu.au·4d·
Discuss: Hacker News
🏹Effect Systems
Use Qwen3-Coder (Or Any Other LLM) with Claude Code
old.reddit.com·2d·
Discuss: r/LocalLLaMA
🐫Embedded OCaml
AI Can Make You Laugh. But Can It Ever Be Truly Humorous?
undark.org·5d·
Discuss: Hacker News
✓Automated Theorem Proving
Lessons from scaling PostgreSQL queues to 100k events per second
rudderstack.com·2d·
Discuss: Hacker News
👁️System Observability
Using Claude Code as a Personal Tutor
jimmymeetsworld.com·4d·
Discuss: Hacker News
🤖Program Synthesis
Show HN: GhostLM, private, multi-model Mac LLM app, collecting waitlist signups
ghostlm.app·4d·
Discuss: Hacker News
🍎Apple
Good Enough: The Real Value of AI Today
athonlab.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Imagining The Future of Development
ezrichards.github.io·2d·
Discuss: r/programming
🤖Program Synthesis
Integration testing for Go applications using Testcontainers
devblogs.microsoft.com·3d·
Discuss: Hacker News
📦Unikernel Systems
Ask HN: How are you checking the security of your vibecoded personal projects?
news.ycombinator.com·1d·
Discuss: Hacker News
📦Unikernel Systems
ToFe: Lagged Token Freezing and Reusing for Efficient Vision Transformer Inference
arxiv.org·3d
🐫OCaml
Efficient Story Point Estimation With Comparative Learning
arxiv.org·4d
🔠Type-Level Programming
Time-RA: Towards Time Series Reasoning for Anomaly with LLM Feedback
arxiv.org·4d
✓Automated Theorem Proving
Skill Learning via Policy Diversity Yields Identifiable Representations for Reinforcement Learning
arxiv.org·4d
🔄Finite State Machines
How to Supercharge "Vibe Coding" with CodeRabbit and OpenAI Codex
medium.com·4d·
Discuss: Hacker News
🤖Program Synthesis
Building Jetflow: a framework for flexible, performant data pipelines at Cloudflare
blog.cloudflare.com·3d·
Discuss: Hacker News
🔄Reproducible Builds
Humans beat AI at international math contest despite gold-level AI scores
phys.org·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Making Sense of Hanlon's Razor
domofutu.substack.com·3d·
Discuss: Substack
➡️Category Theory
Raiders of the Lost Altair Basic Source Code
theregister.com·1d·
Discuss: Hacker News
💾Retro Computing
Local Dev Environment Is a Product. Treat It Like One
medium.com·2d·
Discuss: Hacker News
🧱Immutable Infrastructure