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

Shooting reported at Colorado high school, 2 kids transported to hospital: Officials
abcnews.go.com·4h·
Discuss: r/news
🦀Rust
15-year-old Amy Fitzpatrick disappeared while walking home after babysitting at a friend’s house in Spain
dailycrimepost.com·4h
🔧functional programming languages
SpecFive Strike is a Raspberry Pi-powered handheld with a QWERTY keyboard and LoRa mesh networking
liliputing.com·6h
🐪ocaml
Letter: A Jane Street internship: akin to finding nirvana
ft.com·20h
🐪ocaml
How Snake Oil Becomes Normal Technology
argmin.net·8h·
Discuss: Hacker News
🦀Rust
Spigen našao način da istakne logotip na novim iPhone 17 Pro modelima
index.hr·12h
🔧Tooling
Connectivity in Every Language: Building a Multilingual Internet Together
circleid.com·2h
🔧functional programming languages
The Queer Polyamorous Lit-Fic Novel I Can’t Stop Thinking About
bookriot.com·12h
🔧functional programming languages
Sweetener In ‘Diet’ Foods Could Cut Cancer Treatment Effectiveness
studyfinds.org·6h
🔧functional programming languages
US Senator Wyden pushes FTC to investigate Microsoft for 'gross cybersecurity negligence' - Reuters
news.google.com·4h
🦀Rust
Expert.ai Launches Enhanced Solutions for Digital Information Services
prnewswire.com·8h
💻programming
Auto-sync MicroPython code with your board in VS Code (MPY Workbench)
reddit.com·1d·
Discuss: r/embedded
💻programming
These new emojis are coming to a keyboard new you, thanks to Unicode 17.0
neowin.net·18h
🐪ocaml
What is physical AI -- and how is it changing manufacturing? - The World Economic Forum
news.google.com·1d
🔧Tooling
This cult fintech startup wants the interface of the future to be no interface at all
fastcompany.com·12h
💻programming
Since this community needs a little more activity, I'll post my studies semi-regularly
reddit.com·6h·
Discuss: r/chan
💻programming
Tech Now : BBCNEWS : September 10, 2025 1:30am-2:00am BST
archive.org·22h
🦀Rust
How to Build an AI Email Agent with n8n (Step-by-Step Advanced Guide Using Free & Open-Source Tools)
dev.to·16h·
Discuss: DEV
💻programming
Dynamic Ferrofluidic Soft Robot Assembly via Gradient Magnetic Field Steering and Reinforcement Learning
dev.to·1d·
Discuss: DEV
🔧Tooling
GPT-5 Thinking in ChatGPT (a.k.a. Research Goblin) is good at search
dev.to·2d·
Discuss: DEV
🔧functional programming languages
Loading...Loading more...
AboutBlogChangelogRoadmap