📐 Quotient Types - abnv · Scour

TIL a tiny dog guarded his owner’s grave for 14 years. In 1858, Edinburgh night watchman John Gray died and was buried, his dog Bobby, stayed there, Through fre...

historic-uk.com·47m·

Discuss: r/todayilearned

⚡Cache-Aware Algorithms

Wrong-way driver crashes, starts vehicle fire on Highway 1 in SLO County

yahoo.com·19m

💬Error Message Design

On semidefinite-representable sets over valued fields

arxiv.org·20h

🔢Algebraic Datatypes

Report: Ravens hire Keary Colbert as WRs coach

nbcsports.com·17m

🔥Flamegraphs

Free tool that makes your posts look way cooler — seamless carousels in seconds

seamless-slideshow.com·32m·

Discuss: r/InternetIsBeautiful

'A bombshell I really didn't need': Worries spread about beef quality after Omaha Steaks announcement

ketv.com·16m

📮Message Queues

Kansas City Current Acquires Croix Bethune In Historical NWSL Trade

forbes.com

·16m

🔗Category Theory

Man suspected of killing 6 people at 2 residences in Florida: Authorities

abcnews.com·22m

Measuring Evidence against Exchangeability and Group Invariance with E-values

arxiv.org·20h

🔢Algebraic Datatypes

Srsly Risky Biz: Microsoft forgoes its secure future

risky.biz·19m

🛡️Capability VMs

Burn bans: Why they're not to be trifled with

ketv.com·28m

🌲Deforestation

Illinois sues feds over $600M in cuts to HIV, lead poisoning prevention grants

chicago.suntimes.com·23m

🛡️Stack Safety

[Lifestyle] - Why going to a restaurant on Valentine’s Day is the least romantic thing you can do

scmp.com

·50m·

Discuss: r/SCMPauto

🔗Concatenative Theory

Ukraine war briefing: Elections will be held only after ceasefire, says Zelenskyy

theguardian.com·19m

🔐Capability Protocols

Pueblo hotel sues city and mayor for over $5 million following closure

krdo.com·14m

JPMorgan says buy the dip in these 14 high-quality software stocks set to buck further AI disruption

finance.yahoo.com·19m

🔮Speculative Execution

Tip of the Week #59: Joining Tuples

abseil.io·4d

📝String Interning

An attempt at a First-Proof AI challenge

abhvio.us·3d·

Discuss: Hacker News

λLambda Calculus

The Two-Board Problem: Training Environment for Research Agents

lesswrong.com·3d

∫Mathematical DSLs

The Adventures of a Pythonista in Schemeland/30

artima.com·4d

🔧Scheme Macros

Loading more...