Dear PendingKetchup
dynomight.net·1d·
Discuss: Hacker News
🍎Apple
Page Object (2013)
martinfowler.com·1d·
Discuss: Hacker News
📊Runtime Verification
Testing Claude’s Native Integration with Reminders and Calendar on iOS and iPadOS
macstories.net·1d·
Discuss: Hacker News
🍎Apple
Announcing compile_flagz: Better editor integration for your C/C++ projects using build.zig
simonhartcher.com·2d·
Discuss: Hacker News
❄️Nixified Development
Agent Jido: The Elixir Autonomous Agent Framework
agentjido.xyz·2d·
Discuss: Hacker News
🧱Immutable Infrastructure
Aligning those who align AI, one satirical website at a time
theverge.com·13h·
Discuss: Hacker News
✓Automated Theorem Proving
Spoken in Jest, Detected in Earnest: A Systematic Review of Sarcasm Recognition -- Multimodal Fusion, Challenges, and Future Prospects
arxiv.org·4d
🔬Static Analysis
Using topological data analysis to compare inter-subject variability across resting state functional MRI brain representations
arxiv.org·1d
➡️Category Theory
Systematic Integration of Attention Modules into CNNs for Accurate and Generalizable Medical Image Diagnosis
arxiv.org·3d
📚Automata Learning
Show HN: SwiftLake – Lightweight SQL Engine for Iceberg Tables
github.com·2d·
Discuss: Hacker News
🔧Unikernel Development
New parametric CAD BREP kernel attempt
github.com·3d·
Discuss: Hacker News
🐫OCaml
The canonical agent architecture: A while loop with tools
braintrust.dev·4d·
Discuss: Hacker News
⚙Operational Semantics
GhostChat v2.0 – Local-first AI chat with IndexedDB persistence and offline
github.com·30m·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
CoCoNUTS: Concentrating on Content while Neglecting Uninformative Textual Styles for AI-Generated Peer Review Detection
arxiv.org·4d
📝Term Rewriting
VILOD: A Visual Interactive Labeling Tool for Object Detection
arxiv.org·3d
📐Denotational Semantics
The Future of Agentic Coding Is Multiplayer
thenewstack.io·2d
🔄Reproducible Builds
Taming LLM Sprawl: Why Enterprises Need an AI Gateway Now
thenewstack.io·2d
🤖Program Synthesis
AI-in-the-Loop: Privacy Preserving Real-Time Scam Detection and Conversational Scambaiting by Leveraging LLMs and Federated Learning
arxiv.org·3d
🌐NetworkProtocols
KRAFT: A Knowledge Graph-Based Framework for Automated Map Conflation
arxiv.org·4d
🐫OCaml
Mind the Gap: Evaluating Model- and Agentic-Level Vulnerabilities in LLMs with Action Graphs
arxiv.org·4d
🛡️seL4