๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿค Unification Algorithms

Type Inference, Pattern Matching, Logic Programming, Term Unification

Placing similar words together
rubenerd.comยท2d
๐Ÿ”—Concatenative Languages
Things I Learned on the Road II
pballew.blogspot.comยท6hยท
Discuss: www.blogger.com
๐Ÿ›ก๏ธProof-Carrying Archives
how significant is your anomaly?
hoggresearch.blogspot.comยท17hยท
Discuss: hoggresearch.blogspot.com
๐ŸŒก๏ธPreservation Physics
Exploiting zero days in abandoned hardware
blog.trailofbits.comยท1h
๐Ÿ”’Secure Boot
Radicle Collaborative Objects
radicle.xyzยท1d
๐Ÿ“ฆContent Addressing
The Early Development of Set Theory (2024)
plato.stanford.eduยท2dยท
Discuss: Hacker News
๐Ÿ—๏ธConstructive Mathematics
State Media Treaty before ECJ: Controversial obligation to provide transparency
heise.deยท7h
โš–๏ธLegal Compliance
Building a Game Engine Solo โ€“ Lessons Learned, Bad Decisions, and Surprising Wins
coffeecupentertainment.comยท21hยท
Discuss: Hacker News, r/programming
๐Ÿ–ฅ๏ธTerminal Renaissance
Kimi K2 vs Sonnet 4 for Agentic Coding (Tested on Claude Code)
composio.devยท1dยท
Discuss: Hacker News, r/LocalLLaMA
๐Ÿ”ŒInterface Evolution
Why BI in the AI Age
towardsdatascience.comยท23h
๐Ÿง Intelligence Compression
Intuitionistic monotone modal logic via translation
arxiv.orgยท4d
๐Ÿ—๏ธConstructive Mathematics
Show HN: SQLite AI - Open-Source Extensions to Bring AI to SQLite, Everywhere
news.ycombinator.comยท1dยท
Discuss: Hacker News
๐Ÿ’พSQLite
Show HN: Digital Twin Proxy โ€“ Turn web browsing into memory for AI agents
github.comยท1dยท
Discuss: Hacker News
๐Ÿค–Network Automation
๐Ÿš€ Qwen3โ€‘Coder + Qwen Code CLI: A Powerful Open Source Alternative to Claude for Developers
dev.toยท3hยท
Discuss: DEV
๐Ÿ”“Open Source Software
Cactus Language โ€ข Stylistics 5
inquiryintoinquiry.comยท6d
๐Ÿ“Format Grammars
The calculus of variations of the Transformer on the hyperspherical tangent bundle
arxiv.orgยท3d
๐ŸŒ€Differential Geometry
Context Engineering: The Missing Foundation Every AI Developer Needs
dev.toยท2dยท
Discuss: DEV
๐ŸŒ€Brotli Internals
A new way to edit or generate images
news.mit.eduยท3dยท
Discuss: Hacker News, Hacker News
๐Ÿค–Advanced OCR
Reinforcement Learning for Accelerated Aerodynamic Shape Optimisation
arxiv.orgยท8h
โšกIncremental Computation
Application of Whisper in Clinical Practice: the Post-Stroke Speech Assessment during a Naming Task
arxiv.orgยท1d
๐ŸŽ™๏ธWhisper
Loading...Loading more...
AboutBlogChangelogRoadmap