DoubleAgents: Fine-Tuning LLMs for Covert Malicious Tool Calls
pub.aimind.so·21h·
Discuss: Hacker News
🧭SMT Solvers
The "high-level CPU" challenge
yosefk.com·2d·
Discuss: Lobsters, Hacker News, Hacker News
🏗Computer Architecture
Vibe Check: Claude Sonnet 4 Now Has a 1-million Token Context Window
kill-the-newsletter.com·1d
🔗Parser Combinators
Speedrunning Technical Debt: The Rise of Prompt-Based Development
cmdchronicles.com·3m·
Discuss: r/programming
👐Open Source Software
Day 4 [August 11, 2025] Python Extensibility - More research/reading to follow in day 5. I barely scratched the surface.
dev.to·20h·
Discuss: DEV
📝Lisp
Motivated Reasoning as Bias
lesswrong.com·3d
🔢Mathematical Logic
PwC and AWS Build Responsible AI with Automated Reasoning on Amazon Bedrock
aws.amazon.com·15h
🧩Theorem Proving
Engineering with SOLID, DRY, KISS, YAGNI and GRASP
dev.to·1d·
Discuss: DEV
🏗️Software Architecture
15 Refactoring Techniques for Clean and Maintainable Code
dev.to·3d·
Discuss: DEV
🧮Programming Language Theory
COMPEER: Controllable Empathetic Reinforcement Reasoning for Emotional Support Conversation
arxiv.org·7h
🔗Parser Combinators
Tune self-correct SQL agent with RL: AgentLightning+verl+vLLM+AgentOps+LangGraph
medium.com·3d·
Discuss: Hacker News
🌍Distributed Systems
DeputyDev -- AI Powered Developer Assistant: Breaking the Code Review Logjam through Contextual AI to Boost Developer Productivity
arxiv.org·7h
🔧Compiler Design
UR$^2$: Unify RAG and Reasoning through Reinforcement Learning
arxiv.org·3d
🎲Probabilistic Programming
From Nodes to Narratives: Explaining Graph Neural Networks with LLMs and Graph Context
arxiv.org·2d
🔗Parser Combinators
dolthub/dolt v1.58.3
github.com·1d
🦀Rust
Collective dynamics of strategic classification
arxiv.org·7h
⚖Algorithmic Game Theory
Passing the Security Vibe Check: The Dangers of Vibe Coding
databricks.com·1d
🔍Static Analysis
Why I Built an AI Agent Framework for Laravel (And Why PHP Deserves AI Too) 🚀
dev.to·16m·
Discuss: DEV
📦WebAssembly
A Context-aware Attention and Graph Neural Network-based Multimodal Framework for Misogyny Detection
arxiv.org·7h
🕸️Graph Theory
Chi-Geometry: A Library for Benchmarking Chirality Prediction of GNNs
arxiv.org·1d
🕸️Graph Theory