🐿️ 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·15h·
Discuss: r/homelab, r/selfhosted
🦋Format Metamorphosis
From Tables to Relationships: Visualizing Iceberg Data as a Graph
blog.min.io·2h
🔄Sync Engine
Internationalization-check: Validating your Next.js internationalization
lingual.dev·21h·
Discuss: Hacker News
✅Format Verification
Mastering Dijkstra's Algorithm in C++ with CXXGraph
medium.com·1d·
Discuss: Hacker News
📐E-graphs
The Future of AI Is Physical: Simulation Is Key
inductiva.ai·4h·
Discuss: Hacker News
🔲Cellular Automata
Agent Lineage Evolution: A Novel Framework for Managing LLM Agent Degradation
danieltan.weblog.lol·1d·
Discuss: Hacker News
⚙️TLA+
Navigating the 'It Works on My Machine' Maze: A Developer's Guide to Consistent Local Environments
dev.to·21h·
Discuss: DEV
🔄Reproducible Builds
Polynomial-Time Approximation Schemes via Utility Alignment: Unit-Demand Pricing and More
arxiv.org·1d
🎯Performance Proofs
OctoThinker: Mid-training Incentivizes Reinforcement Learning Scaling
arxiv.org·1d
🔲Cellular Automata
💎 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·15h
🌀Hyperbolic Geometry
Argumentative Ensembling for Robust Recourse under Model Multiplicity
arxiv.org·1d
🔗Parser Combinators
Leveraging LLM-Assisted Query Understanding for Live Retrieval-Augmented Generation
arxiv.org·15h
🔍Information Retrieval
Persona-Assigned Large Language Models Exhibit Human-Like Motivated Reasoning
arxiv.org·1d
🎯Dependent Parsing
Language Modeling by Language Models
arxiv.org·1d
🤖Grammar Induction
HumanOmniV2: From Understanding to Omni-Modal Reasoning with Context
arxiv.org·15h
🌳Context free grammars
⚡️ Stop Writing Flaky Tests: Your Foundational Guide to Async in Playwright
dev.to·1d·
Discuss: DEV
⚡Proof Automation
From Manual to AI: My Journey with Keploy Chrome Extension
dev.to·10h·
Discuss: DEV
🎬WebCodecs API
Machine Learning Fundamentals: adam optimizer tutorial
dev.to·4h·
Discuss: DEV
📊Feed Optimization
Gemini CLI
github.com·2d·
Discuss: Lobsters, Hacker News, r/commandline
📟CLI Design
Loading...Loading more...
AboutBlogChangelogRoadmap