Improving Emacs' iCalendar Support
recursewithless.net·3h·
Discuss: Hacker News
🐫Embedded OCaml
Flag this post
Understanding Hardness of Vision-Language Compositionality from A Token-level Causal Lens
arxiv.org·2d
📚Automata Learning
Flag this post
Chain of Pattern: Rethink
dev.to·3h·
Discuss: DEV
🔤Language Design
Flag this post
AI Inference: The Silent Budget Killer (and How to Stop It)
dev.to·22h·
Discuss: DEV
📚Automata Learning
Flag this post
Show HN: Fast-posit, sw implementation of posit arithmetic in Rust
github.com·3d·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
Is 'human' a risky AGI target
nullsy.com·1d·
Discuss: Hacker News
📚Automata Learning
Flag this post
Made my first AI Agent Researcher with Python + Langchain + Ollama
reddit.com·11h·
Discuss: r/artificial
🧮Z3
Flag this post
Writing an Asciidoc Parser in Rust: Asciidocr
bikesbooksandbullshit.com·21h·
Discuss: Hacker News
🔨Compilers
Flag this post
Enhanced Knowledge Graph Reasoning via Multi-Modal Data Fusion and Automated Verification
dev.to·3d·
Discuss: DEV
🧠Automated Reasoning
Flag this post
The Curious Case of Factual (Mis)Alignment between LLMs' Short- and Long-FormAnswers
dev.to·16h·
Discuss: DEV
⏳LTL
Flag this post
Reasoning Models Reason Well, Until They Don't
arxiv.org·5d·
Discuss: Hacker News
🧠Automated Reasoning
Flag this post
Can Your AI Blackmail You? Inside the Security Risk of Agentic Misalignment
dev.to·5h·
Discuss: DEV
🎮Verification Games
Flag this post
My YC Pitch
lesswrong.com·13h
🌐ActivityPub
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.com·2d·
Discuss: Lobsters, Hacker News
🔢Algebraic Data Types
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·3d·
Discuss: Hacker News
🔀OCaml Multicore
Flag this post
The case against boolean logic
abuseofnotation.github.io·3d·
Discuss: Hacker News
❓Existential Types
Flag this post
Ajla Tutorial
ajla-lang.cz·2d·
Discuss: Hacker News
🔬Static Analysis
Flag this post
How I Use Every Claude Code Feature
blog.sshh.io·23h·
Discuss: Lobsters, Hacker News
💻CLI Tools
Flag this post
MCP standard
dev.to·7h·
Discuss: DEV
💬Mach Messages
Flag this post
ParallelMind Engine: First AI System with Parallel Logical Reasoning (202+ problems/sec)
github.com·14h·
Discuss: r/programming
🔀OCaml Multicore
Flag this post