Detailed Technical Documentation on AI Implementation Logic (Taking Large Language Models as an Example )
🔗Parser Combinators
Flag this post
Dive into Systems
🧩Theorem Proving
Flag this post
Ranking LLMs based on 180k French votes (French government's AI arena)
⚖️Logic Programming
Flag this post
Julia 1.12 Adds Trim Feature
i-programmer.info·1d
🧩Theorem Proving
Flag this post
From Zero to AI Agent: How I Built Codexa in 24 Hours with Mastra and Telex.im
🧩Theorem Proving
Flag this post
Another way of doing big O notation
alok.github.io·2d
⚙Functional Programming
Flag this post
Day 24: Python Countdown with Boom – Reverse Loop Printing "Boom" on Multiples of 3
⚙Functional Programming
Flag this post
PDE-SHARP: PDE Solver Hybrids Through Analysis & Refinement Passes
arxiv.org·11h
🧭SMT Solvers
Flag this post
Show HN: Polyglot standard library HTTP client C/C++/Rust/Python and benchmarks
🤝Protocol Design
Flag this post
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.org·11h
✅Formal Verification
Flag this post
Lately, coding with Claude has been very smooth. I am able to complete experiments on time.
🎲Probabilistic Programming
Flag this post
Best tool for measuring lots of source code
shape-of-code.com·1d
🔍Static Analysis
Flag this post
Loading...Loading more...