🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
πŸ—οΈ Constructive Analysis

Intuitionistic Mathematics, Computable Reals, Bishop Mathematics, Proof Relevance

Judges rule against Palestinian human rights group's claim that the UK is illegally arming Israel
the-independent.comΒ·1h
πŸ”Capability Systems
After nine years, Ninja has merged support for the GNU Make jobserver
thebrokenrail.comΒ·3hΒ·
Discuss: Hacker News, r/cpp, r/linux, r/programming
πŸ”—Topological Sorting
The V Programming Language
vlang.ioΒ·1dΒ·
Discuss: Hacker News
πŸ¦€Rust Macros
This simple trick gets you 3 months of Google Gemini Veo 3 for free - here’s how you can create the best AI videos without dropping a dime
techradar.comΒ·1h
🎬AV1 Encoding
Break The Air Gap With Ultrasound
hackaday.comΒ·12h
πŸ‘‚Psychoacoustics
Non-Euclidean Enriched Contraction Theory for Monotone Operators and Monotone Dynamical Systems
arxiv.orgΒ·6d
🎯Performance Proofs
This Is How I Mastered TypeScript Like I'm 5 (Type Narrowing!)(6)
dev.toΒ·1dΒ·
Discuss: DEV
🎯Gradual Typing
Performance Test for Percona Transparent Data Encryption (TDE)
andreas.scherbaum.laΒ·16h
πŸ—„οΈPostgreSQL WAL
πŸ”§ Lessons from Building Tunaresq β€” A Backend Developer's Reflection
dev.toΒ·1hΒ·
Discuss: DEV
πŸ”„Reproducible Builds
AI's Data Revolution: How Developers Shape Tomorrow
dev.toΒ·8hΒ·
Discuss: DEV
🌊Stream Processing
PentaRAG: Large-Scale Intelligent Knowledge Retrieval for Enterprise LLM Applications
arxiv.orgΒ·10h
πŸ”Information Retrieval
Flame Graph Performance Truth Analysis(1750991459477100οΌ‰
dev.toΒ·3dΒ·
Discuss: DEV
⚑Performance Tools
Just launched a free 9-chapter course on Agentic AI Systems
dev.toΒ·3dΒ·
Discuss: DEV
βš”οΈLean Tactics
Single Core Hundred Thousand Concurrency(1751042929538900οΌ‰
dev.toΒ·2dΒ·
Discuss: DEV
🌊Stream Processing
The Real Reason People Quit Using AI Tools (And How Crompt Solves It)
dev.toΒ·2hΒ·
Discuss: DEV
πŸŽ™οΈWhisper
A list of all AI Tools for Coding!
dev.toΒ·9hΒ·
Discuss: DEV
⚑Proof Automation
Gemini in Classroom: No-cost AI tools that amplify teaching and learning
blog.googleΒ·1h
🧭Content Discovery
True or False Game by AmazonQ
dev.toΒ·3dΒ·
Discuss: DEV
πŸ“Proof Assistants
Text Based Games and How to Make Them
dev.toΒ·20hΒ·
Discuss: DEV
πŸ”²Cellular Automata
Leetcode 1432. Max Difference You Can Get From Changing an Integer
dev.toΒ·2dΒ·
Discuss: DEV
πŸ“Interval Arithmetic
Loading...Loading more...
AboutBlogChangelogRoadmap