🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🧩 type theory

types, dependent types, linear types

California’s Tallest Bridge Has Nothing Underneath
practical.engineering·1d·
Discuss: Hacker News
🧠llms
Adjustable Allen Key After All These Years
hackaday.com·1d·
Discuss: Hacker News
🧠llms
A free, open-source Arduino course
arduinomap.me·1d·
Discuss: Hacker News
🧠llms
Self-propelled ice could be the green power of the future
techxplore.com·2d·
Discuss: Hacker News
🧠llms
Firefox 142 Now Available - Allows Browser Extensions/Add-Ons To Use AI LLMs
phoronix.com·1d·
Discuss: Hacker News
🧠llms
Microsoft confirms “context-aware” AI features for Windows 11 as future, skips Windows 12 mention
windowslatest.com·1d·
Discuss: Hacker News
🧠llms
U.S. Public Wary of Biomedical Technologies to 'Enhance' Human Abilities (2016)
pewresearch.org·1d·
Discuss: Hacker News
🧠llms
A fraudulent cancer breakthrough investigated
bostonglobe.com·2d·
Discuss: Hacker News
🧠llms
How I Started Contributing to Tinygrad – My First 4 Merged PRs
ninoristeski.github.io·5d·
Discuss: Hacker News
🧠llms
SiriusXM Sued for Alleged AI Hiring Bias
fairnow.ai·1d·
Discuss: Hacker News
🧠llms
Why nurturing the gut microbiota could resolve depression and anxiety
nature.com·1d·
Discuss: Hacker News
🧠llms
LLM Benchmarks on Company Data
github.com·1d·
Discuss: Hacker News
🧠llms
Sony just launched five new PC gaming peripherals, so I tried them all at once
theverge.com·10h
🧠llms
URL context tool for Gemini API now generally available
developers.googleblog.com·1d·
Discuss: Hacker News
🧠llms
Elon Musk and Sam Altman's AI Feud Gets Nasty
time.com·1d·
Discuss: Hacker News
🧠llms
Google releases pint-size Gemma open AI model
arstechnica.com·5d
🧠llms
US gov seeks AI procurement using 'full user context and data access' chatbots
theregister.com·11h·
Discuss: Hacker News
🧠llms
People with sensitive personalities more likely to experience mental health problems, analysis indicates
medicalxpress.com·3d·
Discuss: Hacker News
🧠llms
Show HN: CCCP – a programmable, context-aware compression protocol (early stage)
github.com·5d·
Discuss: Hacker News
🧠llms
Qwen-Image-Edit: Image Editing with Higher Quality and Efficiency
simonwillison.net·3h
🧠llms
Loading...Loading more...
AboutBlogChangelogRoadmap