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

LZ4 Decompression on the 68000
bumbershootsoft.wordpress.com·1d
🗜️LZSS Variants
The Color Doesn't Matter
tristanpemble.com·3h·
Discuss: Hacker News
⚡Dependent Rust
Lightweight Safety Guardrails via Synthetic Data and RL-guided Adversarial Training
arxiv.org·15m
💻Local LLMs
Functional Programming in 40 Minutes • Russ Olsen • GOTO 2024
youtube.com·4d
🧬Functional Programming
A deep dive into deeply recursive Go
mattermost.com·2d·
Discuss: Hacker News
⬆️Lambda Lifting
Finding Common Ground: Using Large Language Models to Detect Agreement in Multi-Agent Decision Conferences
arxiv.org·15m
🔲Cellular Automata
Show HN: I built an MCP tool to query anything with SQL (Apache Calcite)
github.com·12h·
Discuss: Hacker News
💾SQLite
Practical Bitwise Tricks in Everyday Code (Opinioned)
maltsev.space·3d·
Discuss: r/programming
🔢Bitwise Algorithms
ML/AI Pipelines: The "So What" of Crypto Data Ecosystems
davanti-research.medium.com·1d·
Discuss: Hacker News
🌊Stream Processing
Mechanistic Indicators of Understanding in Large Language Models
arxiv.org·15m
💻Programming languages
Semantically Separating Nominal Wyvern for Usability and Decidability
arxiv.org·6d
💻Programming languages
What birdsong and backends can teach us about magic
digitalseams.com·13h·
Discuss: Hacker News
⛏️File Carving
Python Fundamentals: bpython
dev.to·1d·
Discuss: DEV
💧Liquid Types
Working through 'Writing A C Compiler'
jollygoodsw.wordpress.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
Machine Learning Fundamentals: data preprocessing tutorial
dev.to·11h·
Discuss: DEV
🌊Stream Processing
"Amazing, They All Lean Left" -- Analyzing the Political Temperaments of Current LLMs
arxiv.org·15m
🧲Magnetic Philosophy
Show HN: Euler and Fourier = Cognition?
ryukulogos.github.io·20h·
Discuss: Hacker News
🔲Cellular Automata
Spending Inference Time
kevinlu.ai·14h·
Discuss: Hacker News
🌊Streaming Algorithms
Variadic Generics ideas that won't work for Rust
poignardazur.github.io·5d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
Agentic Large Language Models for Conceptual Systems Engineering and Design
arxiv.org·15m
⚙️TLA+
Loading...Loading more...
AboutBlogChangelogRoadmap