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

A New Foreign Policy for Europe
cirsd.org·21h·
Discuss: Hacker News
🏛️Philosophy
Shutdown of northern Atlantic overturning after 2100 following deep mixing collapse in CMIP6 projections
iopscience.iop.org·1d·
Discuss: Hacker News
🗳️Élections
Build interactive 3D globes in Framer
globe-map.framer.website·1d·
Discuss: Hacker News
🔓Open Source
A Presentation App That Works on Your Phone
ia.net·1d·
Discuss: Hacker News
⌨️Keyboards
China's Brain-Computer Interface Industry–Tapping into Human-Machine Integration
china-briefing.com·5h·
Discuss: Hacker News
🖥️Computer Architecture
Fasting may affect metabolism and immune response differently in the obese
sciencedirect.com·1d·
Discuss: Hacker News
🖥️Computer Architecture
The vulnerability might be in the proof-of-concept
sethmlarson.dev·2d·
Discuss: Lobsters, Hacker News
🔓Open Source
In Search Of AI Psychosis
astralcodexten.com·3d·
Discuss: Hacker News, Hacker News, Hacker News
🏛️Philosophy
AI-generated scientific hypotheses lag human ones when put to the test
science.org·3d·
Discuss: Hacker News
⚡Systems Performance
Nx compromised: malware uses Claude code CLI to explore the filesystem
semgrep.dev·2d·
Discuss: Lobsters, Hacker News
🔓Open Source
LLVM 21.1 Released With AMD GFX1250 Target, Improved RISC-V, New C/C++ Features
phoronix.com·3d·
Discuss: Hacker News
🏗️Compiler Design
Origins of Life: Thioester RNA Aminoacylation Enables Peptide Synthesis
bioengineer.org·1d·
Discuss: Hacker News
🔤Text Algorithms
AI adoption linked to 13% decline in jobs for young U.S. workers, Stanford study
cnbc.com·1d·
Discuss: Hacker News
🧰Developer Ergonomics
NVIDIA Jetson AGX Thor Tested: Blackwell Brings Physical AI to Life
hothardware.com·4d·
Discuss: Hacker News
⚡Systems Performance
ByteRover: An AI That Remembers What We're Building
medium.com·3d·
Discuss: Hacker News
🚀JIT Compilation
Show HN: Async – Claude Code and Linear and GitHub PRs in One Opinionated Tool
github.com·4d·
Discuss: Hacker News
🔓Open Source
Atmospheric Tide
en.wikipedia.org·2d·
Discuss: Hacker News
🖥️Computer Architecture
A Deep Dive into Debian 13 /Tmp: What's New, and What to Do If You Don't Like It
lowendbox.com·15h·
Discuss: Hacker News
💿OS
Ask HN: Moving away from AWS Lambda/SQS/SNS/Aurora, worse it?
news.ycombinator.com·2d·
Discuss: Hacker News
🔓Open Source
Show HN: A short story on developing a long-context World-Model with no money
francesco215.github.io·6d·
Discuss: Hacker News
🏗️Compiler Design
Loading...Loading more...
AboutBlogChangelogRoadmap