The easiest way to automate your entire workflow
9to5mac.com·5h
🖥Self-Hosting
How the "Kim" Dump Exposed North Korea's Credential Theft Playbook
dti.domaintools.com·2h·
Discuss: Hacker News
🌐NetworkProtocols
IRHash: Efficient Multi-Language Compiler Caching by IR-Level Hashing
usenix.org·1d·
Discuss: Hacker News, r/programming
🔤DSLs
Notion's hosted MCP server: an inside look
notion.com·2d·
Discuss: Hacker News
⚙Operational Semantics
The State of AI Browser Agents in 2025
fillapp.ai·13h·
Discuss: Hacker News
✓Automated Theorem Proving
The Perceptron
jontysinai.github.io·1d·
Discuss: Hacker News
📚Automata Learning
Beyond OOP and the future of development experience
bennett.ink·4d·
Discuss: r/programming
📊Runtime Verification
DNA methylation influences human centromere positioning and function
nature.com·2h·
Discuss: Hacker News
🧮Lambda Calculus
VulnRepairEval: An Exploit-Based Evaluation Framework for Assessing Large Language Model Vulnerability Repair Capabilities
arxiv.org·2d
🛡️seL4
Context Engineer MCP – Fixing Context Loss in AI Coding Agents
contextengineering.ai·1d·
Discuss: Hacker News
🤖Program Synthesis
Optimizing Geometry Problem Sets for Skill Development
arxiv.org·2d
🧠Automated Reasoning
The Architecture of AI Transformation: Four Strategic Patterns and an Emerging Frontier
arxiv.org·2d
🤖Program Synthesis
Welcome EmbeddingGemma, Google's new efficient embedding model
huggingface.co·2d·
Discuss: Hacker News, Hacker News, r/LocalLLaMA
🧩Parser Combinators
When Simulated Worlds Meet Real Concerns
lesswrong.com·4h
🩹Self-Healing Systems
Towards Stable and Personalised Profiles for Lexical Alignment in Spoken Human-Agent Dialogue
arxiv.org·1d
🧩Parser Combinators
The Lifecycle Principle: Stabilizing Dynamic Neural Networks with State Memory
arxiv.org·2d
🩹Self-Healing Systems
Teacher-Student Model for Detecting and Classifying Mitosis in the MIDOG 2025 Challenge
arxiv.org·1d
➡️Category Theory
Measuring Bias or Measuring the Task: Understanding the Brittle Nature of LLM Gender Biases
arxiv.org·1d
🧩Parser Combinators
Identifying Causal Direction via Dense Functional Classes
arxiv.org·3d
📚Automata Learning
Single Domain Generalization in Diabetic Retinopathy: A Neuro-Symbolic Learning Approach
arxiv.org·2d
📚Automata Learning