Show HN: Kai – a private, offline AI "second brain" that remembers you(no cloud)
oneeko.ai·13h·
Discuss: Hacker News
🔬Unikernels
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
jacobasper.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
ByteDance releases OmniHuman-1.5: long-form, emotion-aware AI avatars
omnihuman-lab.github.io·15h·
Discuss: Hacker News
💾Retro Computing
Reloading classes in python and shared borders
andrewpwheeler.com·2d·
Discuss: Hacker News
🔬Static Analysis
A safer C++ pointer class
techblog.rosemanlabs.com·1h·
Discuss: Hacker News
🔍Formal Verification
Maisa AI gets $25M to fix enterprise AI’s 95% failure rate
techcrunch.com·6h·
Discuss: Hacker News
🤖Program Synthesis
Build an AI Agent with LangGraph
spin.atomicobject.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Retrieval Enhanced Feedback via In-context Neural Error-book
arxiv.org·3d
✓Automated Theorem Proving
Language Models Coupled with Metacognition Can Outperform Reasoning Models
arxiv.org·2d
✓Automated Theorem Proving
Meta-R1: Empowering Large Reasoning Models with Metacognition
arxiv.org·2d
✓Automated Theorem Proving
PRISM: Robust VLM Alignment with Principled Reasoning for Integrated Safety in Multimodality
arxiv.org·1d
🔍Formal Verification
After hours of iteration, I one-shotted a Web Search Agent
github.com·1d·
Discuss: Hacker News
🛡️seL4
You're doing context engineering wrong
github.com·13h·
Discuss: Hacker News
🛡️seL4
Alvorada-Bench: Can Language Models Solve Brazilian University Entrance Exams?
arxiv.org·3d
💻CS
Generative Artificial Intelligence and Agents in Research and Teaching
arxiv.org·2d
💻CS
The Quasi-Creature and the Uncanny Valley of Agency: A Synthesis of Theory and Evidence on User Interaction with Inconsistent Generative AI
arxiv.org·1d
🏹Effect Systems
LearnPython.AI (Free, AI-Powered Education Platform)
reddit.com·22h·
Discuss: r/programming
✓Automated Theorem Proving
Critiques of World Models
arxiviq.substack.com·14h·
Discuss: Substack
🔬Unikernels
Towards Synthesizing Normative Data for Cognitive Assessments Using Generative Multimodal Large Language Models
arxiv.org·2d
✓Automated Theorem Proving
From Principles to Rules: A Regulatory Approach for Frontier AI
arxiv.org·1d
🤖Program Synthesis