Hyprland 0.52.0
๐ชMagit
Flag this post
LoRA Model โ LoRA-focused image generation hub that reduces "choice friction"
๐Contract Testing
Flag this post
How we built the demo for the Current NOLA Day 2 keynote using Flink and AI
๐Fuzz Testing
Flag this post
Moves Are Broken
๐ดLazy Evaluation
Flag this post
Vulkan tutorial in Zig
๐Fuzz Testing
Flag this post
Detailed Technical Documentation on AI Implementation Logic (Taking Large Language Models as an Example )
๐Parser Combinators
Flag this post
[D] What would change in your ML workflow if Jupyter or VS Code opened in seconds on a cloud-hosted OS?
โ๏ธPerformance Profiling
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.orgยท4d
๐ฒProperty-Based Testing
Flag this post
Introducing a Go linter bringing Rust style exhaustiveness checking of sum types to Go interfaces.
โ
Property Testing
Flag this post
First solo project
๐Kanban
Flag this post
Gather around kids, it's storytime. Let me tell you about the time vibe coding actually contributed something meaningful to the world.
๐ซBranch-Free Programming
Flag this post
Collaboration Dynamics and Reliability Challenges of Multi-Agent LLM Systems in Finite Element Analysis
arxiv.orgยท1d
๐ช๏ธChaos Engineering
Flag this post
DocPrism: Local Categorization and External Filtering to Identify Relevant Code-Documentation Inconsistencies
arxiv.orgยท4d
๐Code Reviews
Flag this post
GDM: Consistency Training Helps Limit Sycophancy and Jailbreaks in Gemini 2.5 Flash
lesswrong.comยท4d
๐ฒProperty-Based Testing
Flag this post
Loading...Loading more...