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

Intuitionistic Proofs, Program Extraction, Computational Content, Type Theory

Just Found a Site That Auto-Writes Ebooks for You
genboox.comยท4hยท
Discuss: Hacker News
๐Ÿ“„PDF Internals
Show HN: Rastion โ€“ Autonomous Monitoring Systems
rastion.comยท1dยท
Discuss: Hacker News
โš™๏ธBatch Processing
Launching RustMailer โ€“ My Journey to a Fast, Self-Hosted Email API in Rust
indiehackers.comยท16hยท
Discuss: Hacker News
๐Ÿฆ€Rust Borrowing
MirageLSD: The First Live-Stream Diffusion AI Video Model
about.decart.aiยท1dยท
Discuss: Hacker News
โšกLZ4 Streaming
Show HN: Sapient โ€“ Agentic Game Development in Unreal Engine (C++, BPs, BTs)
sapientstudio.comยท3dยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
Future-Proof Programming Languages
log.schemescape.comยท4dยท
Discuss: Hacker News
๐Ÿ’ปprogramming languages
Gaslight-driven development
tonsky.meยท3dยท
Discuss: Hacker News
๐ŸŽฏGradual Typing
WasmEdge/WasmEdge
github.comยท1d
โš™๏ธWASM Runtime
Why Your Logs Are Talking โ€” You Just Donโ€™t Listen: The Untapped Power of Developer Observability
dev.toยท5hยท
Discuss: DEV
๐Ÿ‘๏ธSystem Observability
How Kiro Transformed My Vibe Coding into Structured, Production-Ready Development
dev.toยท10hยท
Discuss: DEV
๐ŸงฑImmutable Infrastructure
What Happens When AI Starts Writing Your APIs?
devops.comยท23h
โš™๏ธTLA+
Class-Proportional Coreset Selection for Difficulty-Separable Data
arxiv.orgยท3d
๐Ÿง Machine Learning
S2SRec2: Set-to-Set Recommendation for Basket Completion with Recipe
arxiv.orgยท4d
๐ŸงญContent Discovery
A Study on the Application of Artificial Intelligence in Ecological Design
arxiv.orgยท2d
๐Ÿ”ฒCellular Automata
Fine-tuning Large Language Model for Automated Algorithm Design
arxiv.orgยท3d
๐Ÿ”จCompilers
๐Ÿš€ Introducing ๐——๐—ฒ๐˜ƒ๐——๐—ถ๐—ฎ๐—ฟ๐˜†: The Easiest Project Tracker, for Developers
dev.toยท9hยท
Discuss: DEV
๐Ÿš€Indie Hacking
CarCare Pro Generated AI App
dev.toยท5hยท
Discuss: DEV
๐ŸŒ€Brotli Internals
Sparse Autoencoders Can Capture Language-Specific Concepts Across Diverse Languages
arxiv.orgยท3d
๐Ÿ’ปLocal LLMs
Google I/O Connect 2025 Recap: Gemini, Open Models, and AI in Action
dev.toยท2dยท
Discuss: DEV
๐ŸŒ€Brotli Internals
Iterative Augmentation with Summarization Refinement (IASR) Evaluation for Unstructured Survey data Modeling and Analysis
arxiv.orgยท2d
โš™๏ธCompression Benchmarking
Loading...Loading more...
AboutBlogChangelogRoadmap