GPT-5 on SWE-bench: Cost and performance deep-dive
mini-swe-agent.com·1d·
Discuss: Hacker News
🤖AI
Generating Inputs for Grammar Mining using Dynamic Symbolic Execution
arxiv.org·3d
🔧PLT
5 self-hosted LLMs I use for specific tasks
xda-developers.com·2h
🤖AI
**Hyper-Specific Sub-field Selection:** Automated Code Refactoring with Semantic Dependency Graph Optimization
dev.to·5h·
Discuss: DEV
🔧PLT
Performance Pitfalls in C# / .NET – List Contains
richardcocks.github.io·13h·
Discuss: Hacker News
🪜Scala
Achieving An ASIL-C Safety Architecture
semiengineering.com·2d
🔧PLT
Keep the Terminal Relevant: Patterns for AI Agent Driven CLIs – InfoQ
infoq.com·4h·
Discuss: Hacker News
🤖AI
Programming with AI: You're Probably Doing It Wrong
devroom.io·2d·
Discuss: Hacker News
🤖AI
How to Use IAM Policies Like a Pro (With Examples) 🔐✨
policysim.aws.amazon.com·56m·
Discuss: DEV
🤖AI
How Confident Are You, ChatGPT?
aylinakkus.github.io·17h·
Discuss: Hacker News
🤖AI
EP175: What is the SOLID Principle?
blog.bytebytego.com·12h
🔧PLT
CodeCraft
code-master-ai-raptus2012.replit.app·7h·
Discuss: DEV
🪜Scala
Built With Borrowed Hands
cra.mr·2d·
Discuss: Hacker News
🔧PLT
More Thoughts on My Mental Model for Understanding Data Structures and Algorithms
projectsayo.hashnode.dev·13h·
Discuss: DEV
🔧PLT
Detailed on Manual Testing ,BVA,Decision Table Testing,Future Of Manual Testing in the Age of AI
dev.to·15h·
Discuss: DEV
🔧PLT
REPL + Prompt
funcall.blogspot.com·19h·
Discuss: www.blogger.com
🐫Ocaml
How the Lean language brings math to coding and coding to math
amazon.science·4d·
Discuss: Hacker News
🔧PLT
5 ways to 10x your "Vibe" coding
dev.to·12h·
Discuss: DEV
🔧PLT
Evaluating the GPT-5 Series on Custom Benchmarks
labelstud.io·1d·
Discuss: Hacker News
🤖AI
Do they even test this?
mariadb.org·1d·
Discuss: Hacker News
🔧PLT