are-dependent-types-actually-erased
😴Lazy Evaluation
Flag this post
AI coding transforms data engineering: How dltHub's open-source Python library helps developers create data pipelines for AI in minutes
venturebeat.com·2d
🚨Andon
Flag this post
My dumb prompts that worked better
blog.nilenso.com·1d
🔗Parser Combinators
Flag this post
Debian demands Rust or rust in peace for legacy ports
lxer.com·8h
📦Nixpkgs
Flag this post
DAFU🦉 API Revolution: Enterprise Authentication, Logging, Reports & Product Management Are Here! 🚀
👀Code Reviews
Flag this post
A Systematic Literature Review of Code Hallucinations in LLMs: Characterization, Mitigation Methods, Challenges, and Future Directions for Reliable AI
arxiv.org·1d
🔮Lisp Macros
Flag this post
I built Solveig, it turns any LLM into an assistant in your terminal. Think Claude Code with trust issues
💼Company Mode
Flag this post
OpenSIR: Open-Ended Self-Improving Reasoner
arxiv.org·1d
🔗Parser Combinators
Flag this post
Loading...Loading more...