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

Type Inference, Static Analysis, Dependent Types, Hindley-Milner

Lossless Listening Arrives on Spotify Premium With a Richer, More Detailed Listening Experience
newsroom.spotify.com·5h·
Discuss: Hacker News
⚡Systems Performance
Britain built some of the safest roads
ourworldindata.org·2d·
Discuss: Hacker News
🗳️Élections
Chrome Intent to Prototype: Email Verification Protocol
groups.google.com·4d·
Discuss: Hacker News
🔓Open Source
Neo4j Launches Infinigraph. What is it?
neo4j.com·5d·
Discuss: Hacker News
🔓Open Source
Let's make PostgreSQL multi-threaded (2023)
postgresql.org·6d·
Discuss: Hacker News
⚙️Language Implementation
Scientific objectivity is a myth – cultural values and beliefs always influence science and the people who do it
theconversation.com·6d·
Discuss: Hacker News
🏛️Philosophy
Show HN: Program and dotfile post-install script for Arch Linux
github.com·12h·
Discuss: Hacker News
💿OS
The Binomial Trap: Why 99% Reliability Still Fails Users
michaelyaroshefsky.com·5d·
Discuss: Hacker News
⚡Systems Performance
Making GitHub Profiles Cool – Painful Lessons with GitHub
crowfunder.github.io·3d·
Discuss: Hacker News
🔓Open Source
Alpic raises $6M to build the infrastructure for MCP servers
alpic.ai·5d·
Discuss: Hacker News
🔓Open Source
Broadcom Lands Shepherding Deal For OpenAI “Titan” XPU
nextplatform.com·4d·
Discuss: Hacker News
🔓Open Source
The Hunt for Our #1 iOS Crash
medium.com·5d·
Discuss: Hacker News
💻Programming
iPhone 17 Pro Has Toggle to Disable Screen Flickering (PWM)
macrumors.com·15h·
Discuss: Hacker News
⌨️Keyboards
Switch modder who acted as his own lawyer now owes Nintendo $2 million
arstechnica.com·1d·
Discuss: Hacker News
🔓Open Source
Ask HN: How can non-technical Internet users protect themselves?
news.ycombinator.com·2d·
Discuss: Hacker News
🔓Open Source
A PyTorch plugin to rethink AI's core
forbes.com·5d·
Discuss: Hacker News
🖥️Computer Architecture
Quantum-Centric Supercomputing
ibm.com·5d·
Discuss: Hacker News
🖥️Computer Architecture
US high school students lose ground in math and reading, continuing decline
cnn.com·1d·
Discuss: Hacker News
🗳️Élections
NixOS Is the Endgame of Distrohopping
joshblais.com·5d·
Discuss: Lobsters, Hacker News
💿OS
Chaos Is the Operating System
paid.ai·5d·
Discuss: Hacker News
🧰Developer Ergonomics
Loading...Loading more...
AboutBlogChangelogRoadmap