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

Dependent Types, Linear Types, Effect Systems, Hindley-Milner

TIL that your brain can actually trick you into thinking you’re hungry when you’re just dehydrated.
pmc.ncbi.nlm.nih.gov·6h·
Discuss: r/todayilearned
🔧functional programming languages
Parallelization of cryptographic protocol analyzer Maude-NPA reduces analysis time, makes internet safer
techxplore.com·1d
🦀Rust
Arguments, Conclusions, and the Policies of Religious Academic Journals
dailynous.com·1h
⚠️Error Handling
Designing a Keyboard for a Touchpad
reddit.com·10h·
Discuss: r/ErgoMechKeyboards
🐪ocaml
Meet the AI vegans | Arwa Mahdawi
theguardian.com·6h
💻programming
Everything I Hacked on in 2024
mccormick.cx·1d·
Discuss: Hacker News
🦀Rust
New in Vue - August 2025
dev.to·6h·
Discuss: DEV
🦀Rust
Axiom: Decentralized AI network that discovers, verifies, and archives truth
github.com·15h·
Discuss: Hacker News
🦀Rust
9 habits of the highly ineffective vibe coder
infoworld.com·2d
💻programming
Web Developer Travis McCracken on NoSQL vs Relational: Backend Tradeoffs
dev.to·2h·
Discuss: DEV
🦀Rust
Failure propagation analysis of high-speed train systems from the perspective of multi-layer stochastic flow network
sciencedirect.com·2h
🦀Rust
Why Web3 product analytics is better than therapy
dev.to·3h·
Discuss: DEV
🦀Rust
Improving Q-Learning for Real-World Control: A Case Study in Series Hybrid Agricultural Tractors
arxiv.org·12h
🦀Rust
Video-based Vehicle Surveillance in the Wild: License Plate, Make, and Model Recognition with Self Reflective Vision-Language Models
arxiv.org·1d
🔧functional programming languages
OpenAI publishes new open models
heise.de·21h
🦀Rust
[Phase 2] Personal Portfolio - Analysis
dev.to·1d·
Discuss: DEV
🦀Rust
Preface to "Simulacra and Simulation: Sections from the Work of Janus"
lesswrong.com·4d
🔄Async Rust
🧠 Day 26 of Learning DSA: Solved Two LeetCode Problems (Plus One & Reverse String)
dev.to·2h·
Discuss: DEV
💻programming
The Convention Generation Experiment: Why AI Can't Build What I Hoped It Could
dev.to·2d·
Discuss: DEV
🔧functional programming languages
RegMean++: Enhancing Effectiveness and Generalization of Regression Mean for Model Merging
arxiv.org·12h
🔧functional programming languages
Loading...Loading more...
AboutBlogChangelogRoadmap