Artificial connections: Romantic relationship engagement with AI in the US
journals.sagepub.com·13h·
Discuss: Hacker News
🌍Cultural Algorithms
Designing audio-first reading experience
usekatalog.com·11h·
Discuss: Hacker News
🎙️Whisper
The Mathematics of Catenary
alanzucconi.com·18h·
Discuss: Hacker News
🎼Audio Lambda Calculus
Context Engineering: Rapid Agent Prototyping – Jason Liu
jxnl.co·9h·
Discuss: Hacker News
⚡Proof Automation
Quantifying Emotional Resonance in Generative Avatar Identity Spaces
dev.to·1d·
Discuss: DEV
📊Learned Metrics
Unlocking Hidden Order: Differentiable Entropy as a Code Optimizer
dev.to·13h·
Discuss: DEV
🧠Machine Learning
Money for Nothing, Chips for Free
phrack.org·5h·
Discuss: Hacker News
🌳Archive Merkle Trees
Prompt injection as a solution to make agents reliable
controlpla.in·5h·
Discuss: Hacker News
⚡Proof Automation
Structure Transfer: an Inference-Based Calculus for the Transformation of Representations
arxiv.org·2d
🔤Type Theory
LLMs from Scratch Using Middle School Math – TDS Archive
medium.com·1d·
Discuss: Hacker News
📊Quantization
Autonomous Optimization of Alkaline Cleaning Formulations via Bayesian Reinforcement Learning
dev.to·4h·
Discuss: DEV
⚙️Modern Assembly
Context Engineer MCP – Fixing Context Loss in AI Coding Agents
contextengineering.ai·1d·
Discuss: Hacker News
⚡Proof Automation
Are LLM Agents the New RPA? A Comparative Study with RPA Across Enterprise Workflows
arxiv.org·1d
🌊Stream Processing
Unleashing the Hound: How AI Agents Find Deep Logic Bugs in Any Codebase
muellerberndt.medium.com·23h·
Discuss: Hacker News
🔍Concolic Testing
If I hear "design pattern" one more time, I'll go mad
purplesyringa.moe·2d·
Discuss: Lobsters, Hacker News
💻Programming languages
Augment, Complement and Empower Yourself
arttuv.com·1d·
Discuss: Lobsters, Hacker News
⚡Proof Automation
The Aider Local Model Experience
hexeditreality.com·12h·
Discuss: Hacker News
⚡Proof Automation
On the local consequence of modal Product logic: standard completeness and decidability
arxiv.org·2d
🏗️Constructive Mathematics
Unlock Agent-Based Models with Gradient-Powered Control by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
🔲Cellular Automata
AI Idea #1757094301
dev.to·10h·
Discuss: DEV
🤖AI Curation