๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿ—๏ธ Constructive Mathematics

Intuitionistic Logic, Bishop Analysis, Computable Reals, Proof Relevance

Three Cheers for XProc 3 Running XSpec Tests
medium.comยท9h
๐Ÿ”„Language Evolution
If Francois Bayrou fails to win a confidence vote, France may get an unprecedented fifth prime minister in 20 months.
dw.comยท9h
๐Ÿ‡ซ๐Ÿ‡ทFrench Computing
How Interest Rates Were Set, 2500 BC โ€“ 1000 AD (2000)
michael-hudson.comยท3hยท
Discuss: Hacker News
๐Ÿ—๏ธPaleocryptography
Farage floats Trump-style deportation push in bid to lead U.K.
japantimes.co.jpยท9h
๐Ÿ“กRSS
Discrete optimization for on-call scheduling (2021)
rainforestqa.comยท5dยท
Discuss: Lobsters, Hacker News
๐ŸงฎCompute Optimization
14 best chemical peels for glowy, brighter skin
the-independent.comยท11h
๐Ÿ’พFloppy Imaging
Computed Tomography
fab.cba.mit.eduยท6dยท
Discuss: Hacker News
๐ŸŒ€Fractal Compression
Rugby player Shane Christie, who called for study of concussion, dies at age 39
the-independent.comยท1h
๐ŸŽฏArithmetic Coding Theory
Shortcut to add link to todayโ€™s note in Obsidian
hamatti.orgยท9h
๐Ÿ”งKAITAI
Thylacine's genome provides clues about why it went extinct
newscientist.comยท9h
๐ŸฆดBinary Paleontology
San Jose City Council approves new SAP Center lease deal with Sharks
mercurynews.comยท7h
๐Ÿ’ปLocal first
FEMA Staffers Placed On Leave After Signing Open Letter To Congress Criticizing Trumpโ€™s Cuts
forbes.comยท3h
๐Ÿ›กCybersecurity
Update: Flood watch issued for the Greater Lake Tahoe Area until Wednesday night caused by heavy rainfall
mercurynews.comยท1h
๐Ÿ“กFeed Security
When log(x) has the same digits as x
johndcook.comยท6d
๐Ÿ“Interval Arithmetic
With Apple M1/M2 Graphics Driver Code Working, Alyssa Rosenzweig Stepping Away From Asahi Linux
phoronix.comยท9hยท
Discuss: r/linux
๐Ÿ–ฅ๏ธVintage Macintosh
Miss Manners: One parent opposes beer, and our soccer coach doesnโ€™t know what to do
mercurynews.comยท1h
๐Ÿ”Systems Hardening
InboxTone AI โ€“ Writing Assistant for Developers Who Hate Writing
dev.toยท1dยท
Discuss: DEV
๐ŸŽ™๏ธWhisper
GitHub โ€“ 2swap/swaptube: YouTube video renderer
github.comยท4dยท
Discuss: Hacker News
๐Ÿ“ฆMKV Containers
Jim Chanos on Crypto, AI, Dodgy Statistics, and Casino Capitalism
nakedcapitalism.comยท19h
๐Ÿ”BitFunnel
The Ultimate Guide to AI Tokenization and Digital Ownership
dev.toยท1dยท
Discuss: DEV
๐Ÿ”—Data Provenance
Loading...Loading more...
AboutBlogChangelogRoadmap