Julia 1.12 Adds Trim Feature
i-programmer.info·18h
🚀MLton
Flag this post
Show HN: I built an AI that generates full-stack apps in 30 seconds
🔮Metacircular Evaluators
Flag this post
News for October 2025
ptreview.sublinear.info·10h
🎲Property Testing
Flag this post
Beating XLoader at Speed: Generative AI as a Force Multiplier for Reverse Engineering
research.checkpoint.com·20h
📜Bytecode Interpreters
Flag this post
AI Developed Code: 5 Critical Security Checkpoints for Human Oversight
darkreading.com·21h
🎭Program Synthesis
Flag this post
Context7 is the most underrated MCP server you're not using for your local LLM
xda-developers.com·7h
🔗Lexical Scoping
Flag this post
Rapid Prototyping Sprints in Cursor
🎮Language Ergonomics
Flag this post
Hard2Verify: A Step-Level Verification Benchmark for Open-Ended Frontier Math
🧩SAT Solvers
Flag this post
To write secure code, be less gullible than your AI
stackoverflow.blog·1h
🎮Language Ergonomics
Flag this post
7 AI Study Workflows Developers Use to Learn Faster (Prompt Recipes Included)
💬Interactive REPLs
Flag this post
H-FA: A Hybrid Floating-Point and Logarithmic Approach to Hardware Accelerated FlashAttention
arxiv.org·4h
⏱️Real-Time GC
Flag this post
The Demo That Taught Me nil + nil eq 0 (And Other Lies I Tell Myself)
💬Interactive REPLs
Flag this post
Automating Documentation Maintenance with Prodigy: A Real-World Case Study
📚Self-Documenting Code
Flag this post
From user to implementer: My journey understanding coding agents
📚Self-Documenting Code
Flag this post
Looking for feedback on RunMQ - a message queue library built on top of RabbitMQ, Guarantees for async jobs processing & event driven architectures
📋Task Queues
Flag this post
Loading...Loading more...