Yansu – The Serious Coding Plaftorm
🎭Program Synthesis
Flag this post
C++ move semantics from scratch (2022)
📏Linear Types
Flag this post
Do I want Coders to Code?
🌳Git
Flag this post
You're absolutely right! I added the argument parsing but forgot ...
🎭Program Synthesis
Flag this post
Show HN: Suites – modern unit tests framework for TypeScript back ends
✅Property Testing
Flag this post
Building WriteRight: My Journey Creating an AI Writing Assistant with Mastra
🎭Program Synthesis
Flag this post
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.org·1d
✓Formal Verification
Flag this post
How to build a Heapless Vector using `MaybeUninit<T>` for Better Performance.
⚠️Rust Unsafe
Flag this post
🧠 How We Built an AI Code Reviewer That Understands Intent — Not Just Syntax
💬Prompt Engineering
Flag this post
GrowthHacker: Automated Off-Policy Evaluation Optimization Using Code-Modifying LLM Agents
arxiv.org·1d
🚀MLOps
Flag this post
Loading...Loading more...