Song recommendations with C# free monads
blog.ploeh.dk·5d
λLambda Formalization
Does anyone still use Morse code?
morse-coder.com·1d·
Discuss: Hacker News
🔤Character Encoding
Debugging a Dropped Async Task
slugcat.systems·6h·
Discuss: Lobsters, Hacker News, r/programming
👁️System Observability
Show HN: Claudio – Audio Input for Claude.ai
earthpilot.ai·1d·
Discuss: Hacker News
🎙️Whisper
Pydantic AI Reaches V1
pydantic.dev·2d·
Discuss: Hacker News
⚙️Proof Engineering
If I hear "design pattern" one more time, I'll go mad
purplesyringa.moe·3d·
Discuss: Lobsters, Hacker News
💻Programming languages
How and why I built an MCP server for Svelte
khromov.se·1d·
Discuss: Hacker News
⚡Proof Automation
Secure Password Generator Based on Secure Pseudo-Random Number Generator
arxiv.org·2d
🔓Password Cracking
Extracting OPQRST in Electronic Health Records using Large Language Models with Reasoning
arxiv.org·3d
📝Parsing Grammars
Day 0: Starting My Golang Journey
dev.to·2d·
Discuss: DEV
🌳Incremental Parsing
Curse of Knowledge: When Complex Evaluation Context Benefits yet Biases LLM Judges
arxiv.org·2d
✨Effect Handlers
Knowledge-integrated AutoEncoder Model
arxiv.org·3d
🧠Machine Learning
Building an AI Dining Assistant in 30 Minutes: From Local Development to Cloud Deployment
dev.to·1d·
Discuss: DEV
🌊Streaming Systems
Reading Between the Signs: Predicting Future Suicidal Ideation from Adolescent Social Media Texts
arxiv.org·1d
🌀Riemannian Computing
Formal Verification of Isothermal Chemical Reactors
arxiv.org·3d
👑Isabelle/HOL
Awesome AI Agent Frameworks
github.com·1d·
Discuss: Hacker News
⚡Proof Automation
AI Autopilot for Your Optimization Algorithms
dev.to·7h·
Discuss: DEV
⚡Incremental Computation
Real-Time OT Anomaly Detection via Hyperdimensional Federated Learning and Symbolic Reasoning
dev.to·2d·
Discuss: DEV
👁️Observatory Systems
Ask HN: Polyglot Mirroring
news.ycombinator.com·5d·
Discuss: Hacker News
🦀Rust Borrowing
Text Reinforcement for Multimodal Time Series Forecasting
arxiv.org·3d
📈Time Series