Becoming a Core Developer
stefaniemolin.com·2d
🔍Static Analysis
Flag this post
7 Prompt Engineering Tricks to Mitigate Hallucinations in LLMs
machinelearningmastery.com·1d
🧩Theorem Proving
Flag this post
Built SlopGuard - open-source defense against AI supply chain attacks (slopsquatting)
🧩Theorem Proving
Flag this post
Teaching AI to Take Initiative – Building a Self-Thinking App with LangGraph and Ollama
🧩Theorem Proving
Flag this post
Cutting LLM Batch Inference Time in Half: Dynamic Prefix Bucketing at Scale
🔗Parser Combinators
Flag this post
The Hardest Bug to Fix Is Ambiguity
🧩Theorem Proving
Flag this post
Hyper Hawkes Processes: Interpretable Models of Marked Temporal Point Processes
arxiv.org·1d
🎲Probabilistic Programming
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
🔍Static Analysis
Flag this post
To write secure code, be less gullible than your AI
stackoverflow.blog·20h
🔌Network Programming
Flag this post
Feeling the Vibes with Verifi
🧩Theorem Proving
Flag this post
Writing an LLM from scratch, part 27 – what's left, and what's next?
🔗Parser Combinators
Flag this post
feenkcom/gtoolkit v1.0.2284
github.com·13h
👐Open Source Software
Flag this post
Going Full-Time NeoHaskell
🔗Parser Combinators
Flag this post
C++ move semantics from scratch (2022)
🧠Memory Management
Flag this post
Between Rules and Meaning: Building a Website That Understands Language
🔗Parser Combinators
Flag this post
I Use AI
🧩Theorem Proving
Flag this post
Loading...Loading more...