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

Invincible Island: The Bones of Our Ancestors
bluerenga.blog·1d
⚡Proof Automation
Blender at SIGGRAPH 2025
blender.org·1d
🎬WebCodecs
I Found a New Open Source Grammar Checker Tool And I Like it... Well... Kind of
itsfoss.com·5d
📝Concrete Syntax
Uncatchable Pet: security aspects of pet systems
petbrain.bearblog.dev·1d·
Discuss: Hacker News
🔓Hacking
Using GitHub Spark to reverse engineer GitHub Spark
simonwillison.net·2d·
Discuss: Hacker News
🌀Brotli Internals
Equilibrium in the Embedding Space: When Novelty Becomes Familiar
lightcapai.medium.com·2d·
Discuss: Hacker News
🧮Vector Embeddings
Startup Claims up to 100x Better Embedded Computing Efficiency
spectrum.ieee.org·2d·
Discuss: Hacker News
🖥️Hardware Architecture
Why Is My nil Error Not nil in Go? Unpacking Nil Interfaces
dev.to·2d·
Discuss: DEV
🔧Binary Parsing
Controlled Unease with AI Coding
denismaciel.com·1d·
Discuss: Hacker News
⚡Proof Automation
I created a motivational AI life coach with Character.ai – here’s what happened
techradar.com·15h
🎙️Whisper
EduThink4AI: Translating Educational Critical Thinking into Multi-Agent LLM Systems
arxiv.org·5d
🔲Cellular Automata
I built a Go-powered search engine with LLM summarization (GoFiber + Svelte)
reddit.com·3d·
Discuss: r/golang
🔍BitFunnel
The Dangers of Vibe Coding Part 1: Premature Optimization
dev.to·3d·
Discuss: DEV
⚡Effectful Programming
Reinforcement Learning for Accelerated Aerodynamic Shape Optimisation
arxiv.org·2d
⚡Incremental Computation
A tissue and cell-level annotated H&E and PD-L1 histopathology image dataset in non-small cell lung cancer
arxiv.org·3d
📲Digitization
To Trust or Not to Trust: On Calibration in ML-based Resource Allocation for Wireless Networks
arxiv.org·3d
🧠Machine Learning
AI Code Generation, Smarter and More Cost-Efficient with Context Engineering
dev.to·6d·
Discuss: DEV
⚡Proof Automation
I Built an Tool to AI Agent Testing
dev.to·2d·
Discuss: DEV
⚡Proof Automation
💡 Supercharge Your Git Workflow with AI — Introducing ai-git-cli (Open for Contributions!)
dev.to·2d·
Discuss: DEV
🌳Git Internals
Information Entropy-Based Framework for Quantifying Tortuosity in Meibomian Gland Uneven Atrophy
arxiv.org·2d
📐Information Geometry
Loading...Loading more...
AboutBlogChangelogRoadmap