Hyperlambda and Magic Cloud is 19 times faster than Python with Fast API
ainiro.io·5h·
Discuss: r/programming
🌙Lua
Flag this post
Recoll command execution performance (2024)
recoll.org·4d·
Discuss: Hacker News
⚡Interpreter Optimization
Flag this post
Please Measure Verification Burden
lesswrong.com·2h
⚖️Inference Rules
Flag this post
<p>**Abstract:** This paper introduces a novel system for automating the formalization and verification of proofs within Homotopy Type Theory (HoTT). Leveraging...
freederia.com·1d
⚖️Inference Rules
Flag this post
Automating Documentation Maintenance with Prodigy: A Real-World Case Study
entropicdrift.com·2d·
Discuss: r/programming
📚Self-Documenting Code
Flag this post
Actually using ed | Arabesque
blog.sanctum.geek.nz·1d
💻Terminal Control
Flag this post
In the commit-on-demand pattern, what happens if an access violation straddles multiple pages?
devblogs.microsoft.com·3d
🛡️Error Boundaries
Flag this post
Breaking News: OpenAI Rebrands to OpaqueAI
dev.to·20h·
Discuss: DEV
🥾Bootstrapping Strategies
Flag this post
Logging at Scale: ELK Stack vs Loki vs CloudWatch
dev.to·5h·
Discuss: DEV
📮Persistent Queues
Flag this post
Why I Ditched Caffeine for JCacheX in My Spring Boot Microservices
dev.to·14h·
Discuss: DEV
🔗Weak References
Flag this post
Built a tiny high-performance telemetry/log tailing agent in Zig (epoll + inotify). Feedback & contributors welcome
reddit.com·2d·
Discuss: r/Zig
⚡Zig
Flag this post
"I don't test, should I?": A reprise. (Aka should LLM agents write my tests for me if my code works?)
reddit.com·1d·
Discuss: r/golang
🧪Parser Testing
Flag this post
Angular v21 Adds Signal Forms, New MCP Server
thenewstack.io·1d
🎮Language Ergonomics
Flag this post
I built a comprehensive PWA toolbox (PDF/Image tools) using Vanilla JS and no build step.
reddit.com·22h·
Discuss: r/webdev
🌐Browser REPLs
Flag this post
Yet Another Post on the Use of AI
4s.bearblog.dev·7h
🎮Language Ergonomics
Flag this post
Why I Prefer Web Fundamentals Over the Endless Framework Cycle
dev.to·17h·
Discuss: DEV
🎪Playground Compilation
Flag this post
C++ Podcasts & Conference Talks (week 47, 2025)
reddit.com·3d·
Discuss: r/cpp
🏗️Minimal Compilers
Flag this post
Claude Code Will Be As Good As You Are
dev.to·2d·
Discuss: DEV
🎭Program Synthesis
Flag this post
My Open-Source Contribution: Adding a feature to typescript-language-server
dev.to·2d·
Discuss: DEV
🌈Gradual Languages
Flag this post
Gemini 3.0 Pro Leaked System Prompt
reddit.com·3d·
Discuss: r/LLM
💬Interactive REPLs
Flag this post