🏛️ Isabelle HOL

Higher-order Logic, Proof Development, Mathematical Foundations, Interactive Verification

Introducing Omiword, the new word game from the makers of Damn Interesting
damninteresting.com·1h
🖋Typography
I asked Alexa Plus to tackle my to-do list — it mostly failed
theverge.com·1d
🧮Constraint SMT
From Rails to JavaScript: A spectrum of integration options
thoughtbot.com·15h
🔗Hypermedia APIs
Unsupervised Learning NO. 490
newsletter.danielmiessler.com·52m
🖥️Terminal Renaissance
Hyperdimensional Connections a Lossless, Queryable Semantic Reasoning Framework
zenodo.org·3d·
Discuss: Hacker News
🗂️Vector Databases
Show HN: Tips for getting great Text2Cypher outputs from LLMs for Graph RAG
blog.kuzudb.com·3d·
Discuss: Hacker News
🕸️Neo4j
LLMs Are Bad at Being Forced
morphllm.com·4d·
Discuss: Hacker News
💻Local LLMs
AI Agent tutorial from the basics to building multi-agent teams
dev.to·6h·
Discuss: DEV
⚡Proof Automation
Using AI to Boost Your Productivity by Asking the Right Questions
dev.to·58m·
Discuss: DEV
⚡Proof Automation
Manus AI agent context engineering – practical implementation guide
aicodingtools.blog·2d·
Discuss: Hacker News
⚡Incremental Computation
A Beginner's Guide to Getting Started with Runnables in Langchain.
dev.to·2d·
Discuss: DEV
⚡Incremental Computation
I avoid using LLMs as a publisher and writer
lifehacky.net·2d·
Discuss: Hacker News
🧠Intelligence Compression
Question-Answer Extraction from Scientific Articles Using Knowledge Graphs and Large Language Models
arxiv.org·11h
🔍Information Retrieval
Show HN: Open-source project that use LLM as deception system
news.ycombinator.com·1d·
Discuss: Hacker News
🕵️Vector Smuggling
Architecting Human-AI Cocreation for Technical Services -- Interaction Modes and Contingency Factors
arxiv.org·11h
🗺️Competency Maps
Input-leap/input-leap: Open-source KVM software (barrier fork)
github.com·1d·
Discuss: Hacker News
🔌Operating system internals
I built an MCP server for observability, here's my unhyped take
signoz.io·1d·
Discuss: Hacker News
🛡️Error Boundaries
Unlocking True Document Productivity with PixLab Vision Workspace
dev.to·10h·
Discuss: DEV
📄Document Digitization
🌌 Coding Among the Stars: How Software Engineering and AI Are Writing the Universe’s Next Chapter
dev.to·7h·
Discuss: DEV
📐Mathematical Art
Building an Interactive Story Generator with Google AI Studio
dev.to·1d·
Discuss: DEV
🎙️Whisper