👑 Isabelle

HOL, Proof Development, Mathematical Logic, Interactive Verification

Random NihAV news
codecs.multimedia.cx·10h
🎞️MKV Internals
CatColab
catcolab.org·2d
🏛Digital humanities
Is it feasible to start a local forum in 2025?
lobste.rs·1d·
Discuss: Lobsters
📝ABNF Parsing
A blog is like a gillnet
mfelix.org·23h·
Discuss: Hacker News
🔗Online Curation
One of the Weirdest Bugs
softuts.com·10h·
Discuss: Hacker News
⛏️SQL Archaeology
Who is LLM
martinfowler.com·2d·
Discuss: Hacker News
🎯Proof Tactics
Renting is for Suckers
andrewkelley.me·8h·
Discuss: Lobsters, Hacker News
🚀Indie Hacking
Serverless single tenant RAG with DuckDB
summer.io·1d·
Discuss: Hacker News
📰Feed Readers
What Optimization Terminologies for Linear Programming Really Mean
towardsdatascience.com·2d
📈Linear programming
How to Build Custom Logging for AWS Applications with Slack Integration
hackernoon.com·1d
👁️Observatory Systems
The agentic experience: Is MCP the right tool for your AI future?
developers.googleblog.com·6h
🔌Interface Evolution
Multi-tenant RAG implementation with Amazon Bedrock and Amazon OpenSearch Service for SaaS using JWT
aws.amazon.com·1d
🤖Archive Automation
Why Your WYSIWYG Editor is a Critical Accessibility Tool
hackernoon.com·21h
📄PostScript
Looking for fullstack developer expertise in Java, Python or .NET
dev.to·1d·
Discuss: DEV
💻CS
Building Multi-Agent Solutions with Semantic Kernel and A2A Protocol
devblogs.microsoft.com·2d·
Discuss: Hacker News
⚙️TLA+
Harnessing RLHF for Robust Unanswerability Recognition and Trustworthy Response Generation in LLMs
arxiv.org·1d
💻Local LLMs
MicroVMs Over Containers: A Safer Execution Path for AI Agents
dev.to·2h·
Discuss: DEV
🛡️WASM Sandboxing
Day 38/100: Advanced input() Handling in Python
dev.to·1d·
Discuss: DEV
📚Lempel-Ziv
Invincible Island (1983)
bluerenga.blog·1d
🔓Hacking
Zup: The Self-Healing CLI That Automates Your Dev Environment
dev.to·1d·
Discuss: DEV
🐚Shell Automation