How we trained an ML model to detect DLL hijacking
securelist.com·22h
🏷️Memory Tagging
💎 Day 5 of 30 Days of Solidity — Build a Treasure Chest Contract
github.com·1d·
Discuss: DEV
🔀SSA Form
MathArena Apex: Unconquered Final-Answer Problems
matharena.ai·2d·
Discuss: Hacker News
🧩Constraint Solvers
Full code to build your own AI agent with Python
thenewaiorder.substack.com·21h·
Discuss: Substack
🗃️Query Compilation
Mechanisms for Quantum Advantage in Global Optimization of Nonconvex Functions
arxiv.org·2h
⚡Partial Evaluation
Taming Imperfect Process Verifiers: A Sampling Perspective on Backtracking
arxiv.org·1d
🎲Parser Fuzzing
Automated code reviews via mutation testing
github.com·9h·
Discuss: Hacker News
🎲Test Generators
An experiment generating a protocol spec from natural language source with LLM
gist.github.com·3d·
Discuss: Hacker News
🌙Lua
Forking-Sequences
arxiv.org·2h
🪜Recursive Descent
I Tested Claude 4.5 Against GPT-4 for 48 Hours. Here's What Nobody's Telling You.
dev.to·2d·
Discuss: DEV
🎭Program Synthesis
How to Build a Modular AI Agent with LangGraph in NestJS & TypeScript
dev.to·2d·
Discuss: DEV
✨Gleam
Creating a Cargo-like tool for C++, requires community feedback before I start building it...
reddit.com·15h·
Discuss: r/cpp
🔗Language Toolchains
BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs
arxiv.org·2h
🔍ML Language
I've created a bot to make Claude Code 100% Autonomous
reddit.com·10h·
Discuss: r/ClaudeAI
💬Interactive REPLs
AI-Driven Predictive Maintenance of Compression Testing Machines via Multi-Modal Data Fusion & Semantic Parsing
dev.to·22h·
Discuss: DEV
🪜Recursive Descent
Tired of Juggling Multiple Projects? I Built a Framework to Automate It All.
dev.to·3h·
Discuss: DEV
🎮Language Ergonomics
Deep learning the sources of MJO predictability: a spectral view of learned features
arxiv.org·2h
🪜Recursive Descent
Is agentic programming on own HW actually feasible?
reddit.com·18h·
Discuss: r/LocalLLaMA
🎭Program Synthesis
The Anti-Corruption Layer: Your Application's Bouncer Against Legacy Chaos
dev.to·2h·
Discuss: DEV
🔐Capability Calculus
Beyond the Final Answer: Evaluating the Reasoning Trajectories of Tool-Augmented Agents
arxiv.org·1d
📋Souffle Datalog