๐Ÿฟ๏ธ 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ยท20hยท
Discuss: r/homelab, r/selfhosted
๐Ÿฆ‹Format Metamorphosis
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
The Future of AI Is Physical: Simulation Is Key
inductiva.aiยท8hยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
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
Navigating the 'It Works on My Machine' Maze: A Developer's Guide to Consistent Local Environments
dev.toยท1dยท
Discuss: DEV
๐Ÿ”„Reproducible Builds
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ยท20h
๐ŸŒ€Hyperbolic Geometry
From Manual API Testing to AI-Generated Coverage with Keploy
dev.toยท1hยท
Discuss: DEV
๐ŸงชProperty-Based Testing
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ยท20h
๐Ÿ”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ยท20h
๐ŸŒณ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ยท14hยท
Discuss: DEV
๐ŸŽฌWebCodecs API
Machine Learning Fundamentals: adam optimizer tutorial
dev.toยท8hยท
Discuss: DEV
๐Ÿ“ŠFeed Optimization
Loading...Loading more...
AboutBlogChangelogRoadmap