🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
📐 Proof Assistants

Agda, Coq, Isabelle, Lean, Theorem Proving, Interactive Verification

Obsidian -> Gitea / Forgejo -> Hugo -> Caddy Questions.
guy-evans.com·1d·
Discuss: r/homelab, r/selfhosted
🦋Format Metamorphosis
The Age of Integrity
schneier.com·17h·
Discuss: Hacker News
🔗Data Provenance
Internationalization-check: Validating your Next.js internationalization
lingual.dev·1d·
Discuss: Hacker News
✅Format Verification
N8N, Local LLM, MCP proxy in 1 compose file
ajeetraina.com·3d·
Discuss: Hacker News
🏠Homelab Orchestration
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·2d·
Discuss: Hacker News, r/programming
🔗Lisp
Mastering Dijkstra's Algorithm in C++ with CXXGraph
medium.com·1d·
Discuss: Hacker News
📐E-graphs
How To Prepare Your API for AI Agents
thenewstack.io·2d
🔌Interface Evolution
💎 Bespoke Opportunity Forge: AI-Powered Job Concierge 📬
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
TableMoE: Neuro-Symbolic Routing for Structured Expert Reasoning in Multimodal Table Understanding
arxiv.org·1d
🌀Hyperbolic Geometry
From Manual API Testing to AI-Generated Coverage with Keploy
dev.to·5h·
Discuss: DEV
🧪Property-Based Testing
Argumentative Ensembling for Robust Recourse under Model Multiplicity
arxiv.org·2d
🔗Parser Combinators
Leveraging LLM-Assisted Query Understanding for Live Retrieval-Augmented Generation
arxiv.org·1d
🔍Information Retrieval
Language Modeling by Language Models
arxiv.org·2d
🤖Grammar Induction
Persona-Assigned Large Language Models Exhibit Human-Like Motivated Reasoning
arxiv.org·2d
🎯Dependent Parsing
HumanOmniV2: From Understanding to Omni-Modal Reasoning with Context
arxiv.org·1d
🌳Context free grammars
I finally figured out how to get the best out of MCP Servers as an AI Developer
dev.to·2d·
Discuss: DEV
🪟Awesome windows command-line
From Manual to AI: My Journey with Keploy Chrome Extension
dev.to·18h·
Discuss: DEV
🎬WebCodecs API
Machine Learning Fundamentals: adam optimizer tutorial
dev.to·12h·
Discuss: DEV
📊Feed Optimization
⚡️ Stop Writing Flaky Tests: Your Foundational Guide to Async in Playwright
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Introducing Zenoscript
dev.to·7h·
Discuss: DEV
🎯Gradual Typing
Loading...Loading more...
AboutBlogChangelogRoadmap