Link Love: Back to Penmanship
wellappointeddesk.com·22h
🤖Sci-Fi
Even Amazon Just Got Burned by an AI Security Breach
maybedont.ai·18h·
Discuss: Hacker News
🤖Sci-Fi
How to Run Smart Experiments When You Just Don’t Know
commoncog.com·1d
🎲Probabilistic Programming
<script type="text/llms.txt">
vercel.com·1d·
Discuss: Lobsters, Hacker News
🔧Compiler Design
Code Review Can Be Better
tigerbeetle.com·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
👐Open Source Software
Complex Workload Deployment with Will Stewart
softwareengineeringdaily.com·4h
🔌Network Programming
Testing LLMs offline with Ollama
corinfaife.co·2d
🎲Probabilistic Programming
Making the Case for One Language Tree Across Monorepos
hackernoon.com·6h
🔗Parser Combinators
【update】MocaSubtitle: Added elevenlabs speech-to-text model（Chinese effect is very good）, supporting proofreading of existing subtitles
reddit.com·6h·
Discuss: r/macapps
🔗Parser Combinators
Método equals() en Java
dev.to·3d·
Discuss: DEV
🧮Programming Language Theory
On Strong and Weak Admissibility in Non-Flat Assumption-Based Argumentation
arxiv.org·3d
🧮Programming Language Theory
Agent Factory: Building your first AI agent with the tools to deliver real-world outcomes - Microsoft Azure
news.google.com·22h
🤖Sci-Fi
Pair Programming: When Explanations Go Too Far
hackernoon.com·3d
⚖️Logic Programming
Grounding Rule-Based Argumentation Using Datalog
arxiv.org·3d
⚖️Logic Programming
How I Built a Chrome Extension That Parses Any Job Site Without Scraping
dev.to·1d·
Discuss: DEV
📦WebAssembly
DiffMem: Using Git as a Differential Memory Backend for AI Agents - Open-Source PoC
reddit.com·22h·
Discuss: r/LocalLLaMA
🔗Parser Combinators
Navigating the New Landscape: A Conceptual Model for Project-Based Assessment (PBA) in the Age of GenAI
arxiv.org·2d
🎲Probabilistic Programming
[R] Virtuous Machines: Towards Artificial General Science
reddit.com·1d·
Discuss: r/MachineLearning
🤖Sci-Fi
The AGENTS.md Standard: A simple, open format for guiding coding agents
agents.md·1d·
Discuss: Hacker News
👐Open Source Software
I built a tool to replace static API keys with short-lived credentials for agents
reddit.com·2d·
Discuss: r/LocalLLaMA
🧭SMT Solvers