Solving Pell Equations with Index Calculus
leetarxiv.substack.com·2d·
Discuss: Substack, r/programming
🎯Proof Tactics
What constitutes debugging? Empirical findings from live-coding streams
tzanko.substack.com·1d·
Discuss: Substack
👁️System Observability
Remembrance Agent A continuously running automated information retrieval system
bradleyrhodes.com·20h·
Discuss: Hacker News
🔍Information Retrieval
Show HN: Software devs, I made a tool to make creating estimates less painful
devtimate.com·1d·
Discuss: Hacker News
⚡Proof Automation
How Hash Maps Work
hackernoon.com·4h
🔐Hash Functions
PentestJudge: Judging Agent Behavior Against Operational Requirements
arxiv.org·13h
🎯Threat Hunting
Intensional FOL over Belnap's Billatice for Strong-AI Robotics
arxiv.org·13h
🌳Context free grammars
Polyfill This! Flat, Map, Filter & Reduce — The Hard Way
hackernoon.com·10h
⬆️Lambda Lifting
Release AI Agent Code Safely - Production CI/CD & Secrets
dev.to·2d·
Discuss: DEV
⚡Proof Automation
GPT-OSS 120B Writes a Lisp in Go Fast
elite-ai-assisted-coding.dev·23m·
Discuss: Hacker News
🤖Lisp Machines
Toward Verifiable Misinformation Detection: A Multi-Tool LLM Agent Framework
arxiv.org·13h
✓Automated Theorem Proving
Show HN: Sinkzone DNS forwarder that blocks everything except your allowlist
github.com·1h·
Discuss: Hacker News
🌐DNS Security
From Drift to Discipline: How Governed Cognition Makes AI a Reliable Junior Developer
hackernoon.com·1d
⚔️Lean Tactics
DBAIOps: A Reasoning LLM-Enhanced Database Operation and Maintenance System using Knowledge Graphs
arxiv.org·1d
🧮Datalog
Overcoming the Loss Conditioning Bottleneck in Optimization-Based PDE Solvers: A Novel Well-Conditioned Loss Function
arxiv.org·13h
🌀Riemannian Computing
Avoiding the Illusion of Intelligence in AI Agents
dev.to·5h·
Discuss: DEV
⚙️TLA+
Centralized Dynamic State Estimation Algorithm for Detecting and Distinguishing Faults and Cyber Attacks in Power Systems
arxiv.org·1d
👁️System Observability
Machine Learning Pipeline for Software Engineering: A Systematic Literature Review
arxiv.org·2d
📏Code Metrics
Frequency Point Game Environment for UAVs via Expert Knowledge and Large Language Model
arxiv.org·13h
🔲Cellular Automata
Kimi K2 vs Grok 4: Which AI Model Codes Better?
dev.to·1d·
Discuss: DEV
🧠Intelligence Compression