Skintone Color Analysis AI Model and App
palettebymomo.com·26m·
Discuss: Hacker News
🧪Property-Based Testing
Falsehoods programmers believe about email (2022)
beesbuzz.biz·14h·
Discuss: Hacker News
📡Network Protocol Design
The Silent Exploitation of APIs by AI Agents and Why It Needs Regulating Immediately
medium.com·1d·
Discuss: r/programming
👁️System Observability
AI Isn't Responsible for Slop. We Are Doing It to Ourselves
techpolicy.press·4h·
Discuss: Hacker News
🔬Unikernels
AGI Is Mathematically Impossible (3): Kolmogorov Complexity
news.ycombinator.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
From Curiosity to Competence: How World Models Interact with the Dynamics of Exploration
arxiv.org·1d
🐫OCaml
Mastering Claude Code: Some Tips and Tricks After 3 Months of Use
arjunkirtipatel.com·1d·
Discuss: Hacker News
🛡️seL4
Yield curve for engineers has inverted
mvcalder-01701.medium.com·4h·
Discuss: Hacker News
🤖Program Synthesis
Mechanistic Indicators of Understanding in Large Language Models
arxiv.org·1d
➡️Category Theory
Beyond Scale: Small Language Models are Comparable to GPT-4 in Mental Health Understanding
arxiv.org·1d
🐫OCaml
Show HN: Flowrite – Why I built a songwriting app instead of paying subs
github.com·8h·
Discuss: Hacker News
🔬Unikernels
Improving Multimodal Learning via Imbalanced Learning
arxiv.org·23h
🔄Finite State Machines
Detecting and Pruning Prominent but Detrimental Neurons in Large Language Models
arxiv.org·23h
➡️Category Theory
KEN: Knowledge Augmentation and Emotion Guidance Network for Multimodal Fake News Detection
arxiv.org·23h
➡️Category Theory
Capturing Unseen Spatial Extremes Through Knowledge-Informed Generative Modeling
arxiv.org·23h
🔠Type-Level Programming
SAND: Boosting LLM Agents with Self-Taught Action Deliberation
arxiv.org·4d
🐫OCaml
Computational algorithm for downward continuation of gravity anomalies
arxiv.org·1d
✓Automated Theorem Proving
ESG-Net: Event-Aware Semantic Guided Network for Dense Audio-Visual Event Localization
arxiv.org·23h
🔠Type-Level Programming
FaceLLM: A Multimodal Large Language Model for Face Understanding
arxiv.org·23h
🐫OCaml
I Built a Testable Recursive Theory of Language Models Using GPT – It Works
news.ycombinator.com·3d·
Discuss: Hacker News
🛡️seL4