๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿ‘‘ Isabelle

HOL, Proof Development, Mathematical Logic, Interactive Verification

Using Typst to Typeset Novels
splinterton.comยท17hยท
Discuss: Hacker News
๐Ÿ–‹Typography
OrioleDB fastpath search (faster random key lookups for PostgreSQL)
orioledb.comยท9hยท
Discuss: Hacker News
๐Ÿ—ƒ๏ธDatabase Storage
MCP: Bringing mashups back!
blog.pamelafox.orgยท2hยท
Discuss: www.blogger.com, Hacker News
๐Ÿ”ŒInterface Evolution
Show HN: Indiehacker Portfolio
adityamallah.comยท1dยท
Discuss: Hacker News
๐ŸŒŠStream Processing
ChatGPT agent might be a big deal
augmentedswe.comยท13hยท
Discuss: Hacker News
๐Ÿ–ฅ๏ธTerminal Renaissance
You Are in a Box
jyn.devยท4dยท
Discuss: Lobsters, Hacker News
๐ŸšShell Calculus
What people said about an OpenZFS bug
despairlabs.comยท2dยท
Discuss: Lobsters, Hacker News
๐Ÿ”’Type Safety
Comprehension Without Competence: Architectural Limits of LLMs in Symbolic Computation and Reasoning
arxiv.orgยท2d
๐ŸŒณContext free grammars
Idea: "codetochat.com"โ€“An AI tool to help developers understand legacy codebases
news.ycombinator.comยท55mยท
Discuss: Hacker News
๐Ÿ“Code Metrics
AWS AI League: Learn, innovate, and compete in our new ultimate AI showdown
aws.amazon.comยท23h
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
Advancing Retrieval-Augmented Generation for Structured Enterprise and Internal Data
arxiv.orgยท1d
๐Ÿ”Information Retrieval
Are we trading our hard-earned intelligence for convenience?
lmyslinski.comยท1dยท
Discuss: Hacker News
๐Ÿ“Code Metrics
The Top Programming Languages to Learn in 2025 (And Why You Should Look Beyond Python)
dev.toยท1dยท
Discuss: DEV
๐Ÿ”„Language Evolution
๐Ÿค– Building an AI-Powered GitHub README Generator with MCP Protocol
dev.toยท3dยท
Discuss: DEV
๐Ÿ”ŒInterface Evolution
Inverse Reinforcement Learning Meets Large Language Model Post-Training: Basics, Advances, and Opportunities
arxiv.orgยท12h
๐Ÿง Neural Compression
MUPAX: Multidimensional Problem Agnostic eXplainable AI
arxiv.orgยท12h
๐Ÿง Machine Learning
I Spent 40 Hours Writing Tests That Broke in 2 Weeks โ€” A Confession Story
dev.toยท1dยท
Discuss: DEV
๐Ÿ”Concolic Testing
Replay institutional trades for debugging and testing (QuantReplay, open-source)
github.comยท5hยท
Discuss: Hacker News
๐Ÿ”„Sync Engine
Python Fundamentals: cassandra-driver
dev.toยท4hยท
Discuss: DEV
๐Ÿ”€CRDT
Your 92% Accurate AI Model Might Be Dangerous (Here's Why)
dev.toยท6hยท
Discuss: DEV
๐Ÿ”งHardware Verification
Loading...Loading more...
AboutBlogChangelogRoadmap