Cure - Verification-First Programming for the BEAM
cure-lang.org·2d·
Discuss: Lobsters
🔵Clojure
Flag this post
Mathematical exploration and discovery at scale
terrytao.wordpress.com·2h
Property Testing
Flag this post
Zensical – A modern static site generator built by the Material for MkDocs team
squidfunk.github.io·17h·
🪄Magit
Flag this post
GSoC 2025: Introducing an ABI Lowering Library
blog.llvm.org·3d
🚫Branch-Free Programming
Flag this post
What if software shipped with a software engineer?
manuel.kiessling.net·2d
software development practises
Flag this post
Lessons from Implementing RAG in 2025
truestate.io·21h·
Discuss: Hacker News
🔗Parser Combinators
Flag this post
The AI development trap that wastes your time
suchdevblog.com·16h·
Discuss: Hacker News
🌪️Chaos Engineering
Flag this post
Show HN: Code tours and feedback with your Agent in VSCode – local and cloudless
intraview.ai·11h·
Discuss: Hacker News
👀Code Reviews
Flag this post
Fine-tuning a chat model to mimic one person
reddit.com·6h·
Discuss: r/LocalLLaMA
🤖Scikit-learn
Flag this post
3 Costliest AI Prompt Mistakes Killing Python Productivity (Fixes)
dev.to·16h·
Discuss: DEV
💼Company Mode
Flag this post
Deep Value Benchmark: Measuring Whether Models Generalize Deep values or Shallow Preferences
arxiv.org·1d
🎲Property-Based Testing
Flag this post
Explore More, Learn Better: Parallel MLLM Embeddings under Mutual Information Minimization
arxiv.org·2d
🤖Scikit-learn
Flag this post
A Comparative Analysis of LLM Adaptation: SFT, LoRA, and ICL in Data-Scarce Scenarios
arxiv.org·2d
🔗Parser Combinators
Flag this post
Teaching AI to Take Initiative – Building a Self-Thinking App with LangGraph and Ollama
dev.to·1d·
Discuss: DEV
👀Code Reviews
Flag this post
Unlocking jQuery Mastery: Secrets No One Tells You (Until Now!)
dev.to·20h·
Discuss: DEV
WebAssembly
Flag this post
Atomically accurate de novo design of antibodies with RFdiffusion
nature.com·12h·
Discuss: Hacker News
🤖Scikit-learn
Flag this post
Part 3: Building Station Station - Agent-OS Workflow in Action
dev.to·2d·
Discuss: DEV
👀Code Reviews
Flag this post
How to Build a RAG Solution with Llama Index, ChromaDB, and Ollama
dev.to·22h·
Discuss: DEV
💼Company Mode
Flag this post