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

How to run an LLM on your laptop
technologyreview.comΒ·11h
πŸ’»Local LLMs
Simply Plural Web App
app.apparyllis.comΒ·7h
πŸŒ€Brotli Dictionary
Open Sesame: Poems with Entropy
benwr.netΒ·23hΒ·
Discuss: Lobsters, Hacker News
πŸ”“Password Cracking
Using Typst to Typeset Novels
splinterton.comΒ·5hΒ·
Discuss: Hacker News
πŸ–‹Typography
Migrating over 30 lambdas from Serverless Framework with LLMs
intmaker.comΒ·19hΒ·
Discuss: Hacker News
πŸ¦‹Format Metamorphosis
Everyone knows what a horse is: What we got wrong about universal translators
nimishg.substack.comΒ·20hΒ·
Discuss: Substack
πŸ’»Programming languages
Proof by Intimidation
en.wikipedia.orgΒ·1dΒ·
Discuss: Hacker News
🎯Proof Tactics
Grep a million GitHub repositories via MCP
vercel.comΒ·15hΒ·
Discuss: Hacker News
⚑Proof Automation
Can We Predict Alignment Before Models Finish Thinking? Towards Monitoring Misaligned Reasoning Models
arxiv.orgΒ·1d
πŸ’»Local LLMs
The Top Programming Languages to Learn in 2025 (And Why You Should Look Beyond Python)
dev.toΒ·23hΒ·
Discuss: DEV
πŸ”„Language Evolution
How to Add Generative UI to Any React App in 5 Minutes
dev.toΒ·5hΒ·
Discuss: DEV
πŸ”—Concatenative Programming
Introducing Amazon Bedrock AgentCore: Securely deploy and operate AI agents at any scale (preview)
aws.amazon.comΒ·1dΒ·
Discuss: Hacker News
πŸ€–Network Automation
Grammatical Structure and Grammatical Variations in Non-Metric Iranian Classical Music
arxiv.orgΒ·2d
🎼Computational Musicology
Advancing Retrieval-Augmented Generation for Structured Enterprise and Internal Data
arxiv.orgΒ·1d
πŸ”Information Retrieval
MUPAX: Multidimensional Problem Agnostic eXplainable AI
arxiv.orgΒ·34m
🧠Machine Learning
HTML to PDF Conversion using Modern .NET Core Frameworks: The Ultimate Guide
hackernoon.comΒ·21h
πŸ“„PDF Internals
Thought Purity: Defense Paradigm For Chain-of-Thought Attack
arxiv.orgΒ·1d
πŸ›‘οΈProof-Carrying Archives
ADHD Devs: Does Rust's structure help or hinder your brain?
reddit.comΒ·2dΒ·
Discuss: r/rust
πŸ¦€Rust Macros
Semantic-guided Fine-tuning of Foundation Model for Long-tailed Visual Recognition
arxiv.orgΒ·34m
πŸ“ŠLearned Metrics
Xiangqi-R1: Enhancing Spatial Strategic Reasoning in LLMs for Chinese Chess via Reinforcement Learning
arxiv.orgΒ·1d
πŸ”²Cellular Automata
Loading...Loading more...
AboutBlogChangelogRoadmap