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

New book explores the ecological worldview of the early Indo-European communities
blog.stockholmuniversitypress.se·2d
🐪ocaml
How to stop feeling lost in tech: the wafflehouse method
yacinemahdid.com·6h·
Discuss: Hacker News
💻programming
Removing XSLT from the browser
blog.saxonica.com·14h
🔧functional programming languages
Strange new shapes may rewrite the laws of physics
sciencedaily.com·2d
🐪ocaml
Smithery MCP Server: Port Python Projects to Typescript
smithery.ai·3d·
Discuss: r/typescript
💻programming
How MCP Connects AI Models to Edge Devices
glama.ai·1d·
Discuss: r/LLM, r/embedded
🦀Rust
ByteDance Unleashes Seed-OSS-36B: The 512K-Token Open-Source Heavyweight
huggingface.co·6h·
Discuss: r/AIGuild
🦀Rust
Insurance Cost Prediction
github.com·1d·
Discuss: DEV
💻programming
Modular robots assemble into bridges, shelters and tools for outdoor tasks
techxplore.com·12h
🦀Rust
Intelligence
halfanhour.blogspot.com·2d·
Discuss: Hacker News
🔧functional programming languages
Agile Beyond Rituals: Why Facilitation Ownership Defines Outcomes
dev.to·2h·
Discuss: DEV
🦀Rust
Top Free Online Python Compilers for Beginners and Developers
dev.to·1d·
Discuss: DEV
💻programming
𝗔𝗜 𝗛𝗮𝗹𝗹𝘂𝗰𝗶𝗻𝗮𝘁𝗶𝗼𝗻𝘀: 𝗟𝗲𝘀𝘀𝗼𝗻𝘀 𝗳𝗿𝗼𝗺 𝗣𝗲𝗿𝘀𝗼𝗻𝗮𝗹 𝗘𝘅𝗽𝗲𝗿𝗶𝗲𝗻𝗰𝗲
dev.to·20h·
Discuss: DEV
🦀Rust
Quantifying Early Star Formation Density Fluctuations via Bayesian Hyperparameter Inference
dev.to·2d·
Discuss: DEV
🔧Tooling
One Common Tactic Narcissists Use to Control Their Victims
psychologytoday.com·18h
💻programming
Can You Build AI Agents in Rust? Yep, and Here’s How I Did it
dev.to·1d·
Discuss: DEV
🦀Rust
SproutBench: A Benchmark for Safe and Ethical Large Language Models for Youth
arxiv.org·3d
🔧functional programming languages
MIRAGE: Towards AI-Generated Image Detection in the Wild
arxiv.org·1d
🔄Async Rust
Is ChatGPT quietly becoming individualized for each user?
reddit.com·1d·
Discuss: r/LLM
🔧functional programming languages
Generalized quantum Chernoff bound
arxiv.org·2d
🐪ocaml
Loading...Loading more...
AboutBlogChangelogRoadmap