Idris, Agda, Proof Assistants, Type-Level Programming
Running your own HashDB lookup
cyber.wtfยท13h
How to Build Effective Agentic Systems with LangGraph
towardsdatascience.comยท7h
Painless Activation Steering: An Automated, Lightweight Approach for Post-Training Large Language Models
arxiv.orgยท17h
On the Shelf Life of Fine-Tuned LLM Judges: Future Proofing, Backward Compatibility, and Question Generalization
arxiv.orgยท17h
Using GraphViz for CLAUDE.md
blog.fsck.comยท1d
Loading...Loading more...