Qodo Command scores 71.2% on SWE-bench Verified
qodo.ai·8h·
Discuss: Hacker News
🔧Compiler Design
Takeaway: a work-stealing task queue library for Rust
bal-e.org·1d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust
OCaml Blockly
cambridge.org·1d·
Discuss: Hacker News
⚙Functional Programming
I paired NotebookLM with ChatGPT and Perplexity, and it makes the ultimate knowledge power combo
xda-developers.com·2d
🧭SMT Solvers
Changelog #298
rust-analyzer.github.io·1d
🦀Rust
Measuring intelligence and reverse-engineering goals
lesswrong.com·1d
🧮Programming Language Theory
[AskJS] Is a naive ECMAScript implementation necessarily slow?
reddit.com·6h·
Discuss: r/javascript
📦WebAssembly
Janet Minipbt Translation
github.com·2d·
Discuss: Lobsters, Hacker News
🔧Compiler Design
🧠OrKa onboarding: example suite, guided tour, and trace replay
dev.to·2d·
Discuss: DEV
⚡Concurrency
Guidance for becoming a Low-Level Systems Engineer (from a C learner)
reddit.com·1d·
Discuss: r/C_Programming
🔧Compiler Design
Building branchyard: How I Learned to Stop Worrying and Love Git Worktrees
dev.to·7h·
Discuss: DEV
🦀Rust
🔧 Part 2: Advanced - OpenAI Function Calling & Iterative Search
dev.to·1d·
Discuss: DEV
📝Lisp
Building AI-Powered .NET applications with Groq Cloud and MaIN.NET
dev.to·23h·
Discuss: DEV
🔧Compiler Design
Fresh Graduate AI Engineer Overwhelmed & Unsure How to Stand Out (Need Advice on Skills, Portfolio, and Remote/Freelance Work)
reddit.com·1d·
Discuss: r/AskProgramming
🔧Compiler Design
Tune self-correct SQL agent with RL: AgentLightning+verl+vLLM+AgentOps+LangGraph
medium.com·1d·
Discuss: Hacker News
⚖️Logic Programming
Automated Vulnerability Prioritization via Knowledge Graph Reasoning & Reinforcement Learning
dev.to·18h·
Discuss: DEV
🎲Probabilistic Programming
10 Express.js Patterns Every Backend Developer Should Know (You're Probably Missing #7!) 🚀
dev.to·1h·
Discuss: DEV
🤝Protocol Design
Propagation Tree Is Not Deep: Adaptive Graph Contrastive Learning Approach for Rumor Detection
arxiv.org·15h
🕸️Graph Theory
15 Refactoring Techniques for Clean and Maintainable Code
dev.to·1d·
Discuss: DEV
🧮Programming Language Theory
Fractal Language Modelling by Universal Sequence Maps (USM)
arxiv.org·15h
🧮Programming Language Theory