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

ArcheSys – Remote – Software Engineer – Full Time
archesys.rippling-ats.com·2d·
Discuss: Hacker News
🧰Developer Ergonomics
Inflatable tanks and flat-pack guns – inside Ukraine's decoy war
bbc.com·1d·
Discuss: Hacker News
🗳️Élections
A CSS-only time progress bar to use in Markdown / GitHub Pages
christianheilmann.com·2d·
Discuss: Hacker News
💻Programming
Amid Mass Surveillance Debate in Congress, Americans Support Privacy Protections
demandprogresseducationfund.org·1d·
Discuss: Hacker News
🗳️Élections
Eating insects became a conspiracy theory
bbc.com·2d·
Discuss: Hacker News
🏛️Philosophy
Swift on iOS 6
j-w-i.org·6d·
Discuss: Hacker News
💻Programming
Year odyssey it took to emulate the Pioneer LaserActive
readonlymemo.com·6d·
Discuss: Lobsters, Hacker News, Hacker News
🚀JIT Compilation
Expanding economic opportunity with AI
openai.com·3d·
Discuss: Hacker News, Hacker News
🔓Open Source
The Wetware Crisis: The Thermocline of Truth (2008)
brucefwebster.com·5d·
Discuss: Hacker News
💿OS
Sean Duffy orders NASA employees "do not let safety be the enemy of progress"
nbcnews.com·9h·
Discuss: Hacker News
🔓Open Source
Senate seeks to rein in stock tokenization in latest crypto bill draft
cnbc.com·1d·
Discuss: Hacker News
🗳️Élections
Algorithmic consultant: a new role for clinical AI
nature.com·5d·
Discuss: Hacker News
🧰Developer Ergonomics
Musk’s $1T pay package is full of watered-down versions of his own broken promises
techcrunch.com·1d·
Discuss: Hacker News
🔓Open Source
Case Study: XDR Cloud Operations on AWS
crestdata.ai·2d·
Discuss: Hacker News
⚡Systems Performance
The Great Unmasking: When AI Shows Us Who We Really Are
kennethreitz.org·4d·
Discuss: Hacker News
💿OS
AI Is a Technology Shift, Not a Platform Shift
breadcrumb.vc·5d·
Discuss: Hacker News
💿OS
Europe’s largest paper mill? 1,500 research articles linked to Ukrainian network
nature.com·3d·
Discuss: Hacker News
🔓Open Source
Apertus includes many languages that have so far been underrepresented in LLMs
swiss-ai.org·5d·
Discuss: Hacker News
🔓Open Source
Synthesia’s AI clones are more expressive than ever. Soon they’ll be able to talk back.
technologyreview.com·4d·
Discuss: Hacker News, r/technews
🔤Text Algorithms
Apertus: An open, transparent, multilingual language model
swisscom.ch·5d·
Discuss: Hacker News, Hacker News
🔓Open Source
Loading...Loading more...
AboutBlogChangelogRoadmap