Investigating IntelliJ Platform UI Freezes
blog.jetbrains.com·4h·
Discuss: Hacker News
👁️System Observability
All You Need Is SSH
wrongthink.link·3h·
Discuss: Lobsters
🖥Self-Hosting
Formally verifying a floating-point division routine with Gappa – part 1
community.arm.com·5d·
Discuss: Lobsters, Hacker News, r/programming
🎮Verification Games
Building AI-Powered Payments with MCP at Cashfree Payments
tech.cashfree.com·7h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
The Great Domestication: How Artificial Intelligence Is Remaking Consciousness
philosophermaker.substack.com·20h·
Discuss: Substack
📚Automata Learning
Run Any MCP as Agent
blog.inxm.ai·1d·
Discuss: Hacker News
🐳Containerization
Thoughts on Evals
raindrop.ai·3d·
Discuss: Hacker News
🧪Property-Based Testing
LLMs encode theory-of-mind: a study on sparse parameter patterns
nature.com·4d·
Discuss: Hacker News
📚Automata Learning
Multiscale Graph Neural Network for Turbulent Flow-Thermal Prediction Around a Complex-Shaped Pin-Fin
arxiv.org·1d
🧩Separation Logic
FC-PINO: High Precision Physics-Informed Neural Operators via Fourier Continuation
arxiv.org·1d
🐫OCaml
chalk + debug just got owned on npm… and honestly, this is the nightmare I’ve been expecting
codeant.ai·9h·
Discuss: Hacker News, r/node, r/programming
🔄Reproducible Builds
Skip to the End
thenanyu.com·1d·
Discuss: Hacker News
💾Retro Computing
AI in Government
schneier.com·1d·
Discuss: Hacker News
🩹Self-Healing Systems
A Study of Large Language Models for Patient Information Extraction: Model Architecture, Fine-Tuning Strategy, and Multi-task Instruction Tuning
arxiv.org·1d
🧩Parser Combinators
Show HN: Claude Context but local – semantic code search without API keys
github.com·1d·
Discuss: Hacker News, r/ClaudeAI, r/LocalLLaMA
🔧Unikernel Development
Learning to code from scratch with AI: what worked, what didn't
indiehackers.com·2d·
Discuss: Hacker News
📚Automata Learning
Exploring the frontiers of the periodic table: Bismuth Catalysis's applications
chemistryworld.com·13m·
Discuss: Hacker News
🐫OCaml
Are We SOLID Yet? An Empirical Study on Prompting LLMs to Detect Design Principle Violations
arxiv.org·5d
🎮Verification Games
Beyond Vibe Coding: A practical guide to AI-assisted development
beyond.addy.ie·3d·
Discuss: Hacker News
🤖Program Synthesis
MTQA:Matrix of Thought for Enhanced Reasoning in Complex Question Answering
arxiv.org·4d
➡️Category Theory