🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🏛️ Constructive Type Theory

Martin-Löf Types, Intensional Equality, Proof Objects, Program Extraction

Simply Plural Web App
app.apparyllis.com·4h
🌀Brotli Dictionary
Scraping and vibe coding a schedule app for Open Sauce 2025 entirely on my phone
simonwillison.net·5h·
Discuss: Hacker News
📡RSS Automation
The great misunderstanding of the DRY principle
pmatteo.com·3d·
Discuss: Hacker News
💧Liquid Types
Situated Software (2004)
web.archive.org·1d·
Discuss: Hacker News
🚀Indie Hacking
Proof by Intimidation
en.wikipedia.org·1d·
Discuss: Hacker News
🎯Proof Tactics
Grep a million GitHub repositories via MCP
vercel.com·11h·
Discuss: Hacker News
⚡Proof Automation
Advancing Retrieval-Augmented Generation for Structured Enterprise and Internal Data
arxiv.org·20h
🔍Information Retrieval
Can We Predict Alignment Before Models Finish Thinking? Towards Monitoring Misaligned Reasoning Models
arxiv.org·20h
💻Local LLMs
The Top Programming Languages to Learn in 2025 (And Why You Should Look Beyond Python)
dev.to·19h·
Discuss: DEV
🔄Language Evolution
How to Add Generative UI to Any React App in 5 Minutes
dev.to·1h·
Discuss: DEV
🔗Concatenative Programming
Grammatical Structure and Grammatical Variations in Non-Metric Iranian Classical Music
arxiv.org·1d
🎼Computational Musicology
Introducing Amazon Bedrock AgentCore: Securely deploy and operate AI agents at any scale (preview)
aws.amazon.com·1d·
Discuss: Hacker News
🤖Network Automation
HTML to PDF Conversion using Modern .NET Core Frameworks: The Ultimate Guide
hackernoon.com·17h
📄PDF Internals
Show HN: Empromptu.ai – Agentic AI Building AI Apps
news.ycombinator.com·3h·
Discuss: Hacker News
🌀Brotli Internals
Thought Purity: Defense Paradigm For Chain-of-Thought Attack
arxiv.org·20h
🛡️Proof-Carrying Archives
ADHD Devs: Does Rust's structure help or hinder your brain?
reddit.com·2d·
Discuss: r/rust
🦀Rust Macros
Compressed data structures for Heegaard splittings
arxiv.org·1d
🕳️Persistent Homology
Xiangqi-R1: Enhancing Spatial Strategic Reasoning in LLMs for Chinese Chess via Reinforcement Learning
arxiv.org·20h
🔲Cellular Automata
Sandboxing AI - Extending AI Responsibly
dev.to·2d·
Discuss: DEV
🔒WASM Capabilities
AI whiplash, and Neovim in the age of AI
dlants.me·17h·
Discuss: Hacker News, r/neovim
✨Effect Handlers
Loading...Loading more...
AboutBlogChangelogRoadmap