๐Ÿฟ๏ธ 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

X-Men Reveals Beast's Secret Superpower Explaining His Villainous Turn
screenrant.comยท10h
๐Ÿฆ€Rust
Research Enhances Methane Emission Forecasts in Arctic Wetlands
miragenews.comยท12h
๐Ÿชocaml
Some marine species have had the same jobs for millions of years
earth.comยท12h
๐Ÿ”งfunctional programming languages
FLINT: Fast Library for Number Theory
flintlib.orgยท3d
๐Ÿฆ€Rust
Asking questions with context
rubenerd.comยท4h
๐Ÿ’ปprogramming
What Happens When Blockchain Becomes Mutable?
hackernoon.comยท6h
๐Ÿฆ€Rust
Phones and other tech can enhance teens' connection to nature
phys.orgยท8h
๐Ÿ’ปprogramming
ROVR Releases Open Dataset To Power The Future of Spatial AI, Robotics, And Autonomous Systems
hackernoon.comยท6h
๐Ÿฆ€Rust
Securing the AI "Before Timesโ€
paloaltonetworks.comยท8h
๐Ÿฆ€Rust
Measuring LLM citations with server logs might not work as assumed
agentberlin.aiยท10hยท
Discuss: Hacker News
๐Ÿ”งfunctional programming languages
Long context GPT-OSS fine-tuning
unsloth.aiยท10hยท
Discuss: Hacker News
๐Ÿฆ€Rust
Being fit in older age can support brain regions that help you reach for right words
medicalxpress.comยท10h
๐Ÿ”งfunctional programming languages
28 โ€” Adapting.
buttondown.comยท24m
๐Ÿ’ปprogramming
Looking for a professional coder
reddit.comยท57mยท
Discuss: r/AskProgramming
๐Ÿ’ปprogramming
How Structural Ableism Is Worsening the Crisis in Gaza
psychologytoday.comยท10h
๐Ÿฆ€Rust
It Kinde of works: Part 2 of many
dev.toยท6hยท
Discuss: DEV
๐Ÿ”งfunctional programming languages
These self-hosted apps turned my home moving nightmare into a breeze
xda-developers.comยท10h
๐Ÿ’ปprogramming
Google Advances Its Layer-1 Blockchain
coindesk.comยท6hยท
Discuss: Hacker News
๐Ÿฆ€Rust
DAIQ: Auditing Demographic Attribute Inference from Question in LLMs
arxiv.orgยท4d
๐Ÿ”งfunctional programming languages
C is the language I eventually settled on
reddit.comยท2dยท
Discuss: r/C_Programming
๐Ÿฆ€Rust
Loading...Loading more...
AboutBlogChangelogRoadmap