Prototype Pollution in Python (2023)
blog.abdulrah33m.com·10h·
Discuss: Hacker News
➡️Category Theory
Belzebub.ai: AI Deception Platform
beelzebub.ai·1d·
Discuss: Hacker News
🖥Self-Hosting
Adventures in "Continuous AI"
elite-ai-assisted-coding.dev·2d·
Discuss: Hacker News
🤖Program Synthesis
How To Upgrade Your MCP Server With Context Engineering
thenewstack.io·3d
💎Refinement Types
HumanAgencyBench: Scalable Evaluation of Human Agency Support in AI Assistants
arxiv.org·21h
📚Automata Learning
Co-Investigator AI: The Rise of Agentic AI for Smarter, Trustworthy AML Compliance Narratives
arxiv.org·21h
✓Automated Theorem Proving
LiHRA: A LiDAR-Based HRI Dataset for Automated Risk Monitoring Methods
arxiv.org·2d
🩹Self-Healing Systems
Alloyed agents: combining LLMs to improve AI code generation
enginelabs.ai·3d·
Discuss: Hacker News
💎Refinement Types
Accuracy analysis and optimization of scale-independent third-order WENO-Z scheme with critical-point accuracy preservation
arxiv.org·21h
🐫OCaml
A Comprehensive Review of Reinforcement Learning for Autonomous Driving in the CARLA Simulator
arxiv.org·21h
🔄Finite State Machines
SWE-Mirror: Scaling Issue-Resolving Datasets by Mirroring Issues Across Repositories
arxiv.org·21h
📦Unikernel Systems
Vibe Coding Fails Enterprise Reality Check
thenewstack.io·1d
🤖Program Synthesis
Visualising Topology Inspired Computing Algorithms
antifold.com·2d·
Discuss: Hacker News
🧩Separation Logic
Validity Verification of the New TOEFL Writing Task Based on Classical Test Theory
arxiv.org·2d
✓Automated Theorem Proving
Writing Code Is Easy. Reading It Isn't
idiallo.com·3d·
Discuss: Hacker News, r/programming
🔬Static Analysis
Show HN: DbSandboxer – Fast Isolated Postgres DBs for Spring Boot Tests
github.com·7h·
Discuss: Hacker News
📊Runtime Verification
Monitoring Claude Code with OpenTelemetry
signoz.io·1d·
Discuss: Hacker News
👁️System Observability
The Case for Cowboy Coding
bevel.work·2d·
Discuss: Hacker News
💎Refinement Types
Walking around the app
vickiboykis.com·3d·
Discuss: Hacker News
📊Runtime Verification
Narrative-Guided Reinforcement Learning: A Platform for Studying Language Model Influence on Decision Making
arxiv.org·21h
📚Automata Learning