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

Računari: The Computer Magazine That Surprised Yugoslavia with Provocative Cover Models, 1980s-1990s
rarehistoricalphotos.com·8h
💻programming
Kriza klimatike , fundi i pritshëm i turizmit . Pse edhe Shqipëria është ndër hotspot - et më të rrezikuara
noa.al·8h
🐪ocaml
Uncensored-NAIAD-011 ERODEN MANG CROWN OF THE ERODE
hijav.net·20h
🐪ocaml
New Essay: Freedom Academy
moonspeaker.ca·18h
🐪ocaml
The best body moisturisers: nine favourites for silky smooth, hydrated skin – tested
theguardian.com·18h
🦀Rust
Scientists Sequenced the DNA of the ‘Last Neanderthal’—and It Alters Human History
yahoo.com·6h
🦀Rust
Hidden risks of AI in hiring: 4 traps to avoid
foxbusiness.com·1d
💻programming
Constraints on axions from active galactic nuclei seen through galaxy clusters
nature.com·1d·
Discuss: Hacker News
🐪ocaml
13 Trickiest Wordle Words of 2025: A Challenge for Players
screenrant.com·22h
🐪ocaml
Things I wish I knew or didn't do when I started playing.
i.redd.it·1d·
Discuss: r/Warframe
🦀Rust
Little League World Series 2025: Live updates, highlights as Nevada and Chinese Taipei face off in championship game - Yahoo Sports
news.google.com·6h
🐪ocaml
Dr. Robert van Engelen Shrinks Lisp Down to a Mere 99 Lines of "Lisp-like" Compact C Code
hackster.io·4d
🔧functional programming languages
How AI Echo Chambers May Be Fueling Psychotic Episodes - Scientific American
news.google.com·14h
🦀Rust
Computer Networks Graduation Project
reddit.com·1d·
Discuss: r/rust
🦀Rust
In January, I speculated how "the most impactful outcome from DeepSeek's rise may ultimately be closer collaboration with Huawei and other chip designers".<br /...
threadreaderapp.com·14h
🦀Rust
Context Matters: Incorporating Target Awareness in Conversational Abusive Language Detection
arxiv.org·5d
🔧functional programming languages
Cognitive Workspace: Active Memory Management for LLMs -- An Empirical Study of Functional Infinite Context
arxiv.org·4d
🔧functional programming languages
Social Debiasing for Fair Multi-modal LLMs
arxiv.org·3d
⚠️Error Handling
What is your language learning routine for multiple languages?
reddit.com·19h·
Discuss: r/languagelearning
🐪ocaml
Asking for feedback: building an automatic continuous deployment system
reddit.com·14h·
Discuss: r/kubernetes
🦀Rust
Loading...Loading more...
AboutBlogChangelogRoadmap