🐿️ 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

Youtuber builds mechanical 8-bit computer from K'nex
heise.de·2d
🇩🇪German Computing
AI in Focus: Refactoring Rails with AI tools
thoughtbot.com·2d
⚔️Lean Tactics
Show HN: RewriteBar v2.13.2: Review Window Improvements, Localizations and More
rewritebar.com·1d·
Discuss: Hacker News
📝Concrete Syntax
GitHub - onthegomap/planetiler: Flexible tool to build planet-scale vector tilesets from OpenStreetMap data fast
github.com·4h
🧬Bitstream Evolution
Building a fuzzing testing framework with Locust and Docker
lucas-montes.com·2d·
Discuss: Hacker News
📦Container Security
Cerebras Launches Qwen3-235B, Achieving 1,500 Tokens per Second
cerebras.ai·1d·
Discuss: Hacker News
🧮Z3 Applications
Vibe Coding Turned This Swedish AI Unicorn Into The Fastest Growing Software Startup Ever, graphic
forbes.com·1d·
Discuss: Hacker News
🚀Indie Hacking
Show HN: Local Email Client for AI Horseless Carriages
github.com·6h·
Discuss: Hacker News
🔌Archive APIs
Empowering Virtual Agents With Intelligent Systems
cacm.acm.org·2d
🔲Cellular Automata
Signal vs. Noise: How AI Slop Kills Conversation
eric.mann.blog·4h·
Discuss: Hacker News
📰Content Curation
Product as Code: Version Control for Product Management
mantcz.com·10h·
Discuss: Hacker News
📐Delta Encoding
Beginner’s Guide to String Manipulation in Python
kdnuggets.com·2d
📝Text Parsing
The unsolved tension at the heart of AI
tushardadlani.com·1d·
Discuss: Hacker News
🔲Cellular Automata
Strategyproofness and Monotone Allocation of Auction in Social Networks
arxiv.org·2d
🎯Performance Proofs
We Built An Entire Newsroom with LLMs – Then We Showed The Print To the Real One
medium.com·2d·
Discuss: Hacker News
📋Document Layout
Scaling AI Inference at the Edge With Distributed PostgreSQL
thenewstack.io·3d
🤝Distributed Consensus
Just completed AWS AI & ML challenge.
dev.to·3d·
Discuss: DEV
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Students' Feedback Requests and Interactions with the SCRIPT Chatbot: Do They Get What They Ask For?
arxiv.org·19h
🎙️Whisper
Stop Believing the Agent Hype—The Numbers Don’t Lie
hackernoon.com·1d
⚙️TLA+
Qwen3‑Coder Unleashed – Agentic Coding's New Powerhouse
algogist.com·1d·
Discuss: Hacker News
🧮Z3 Applications
Loading...Loading more...
AboutBlogChangelogRoadmap