🔢 lambda calculus - abnv · Scour

A new representation formula for the logarithmic corotational derivative -- a case study in application of commutator based functional calculus

arxiv.org·6d

∫Mathematical DSLs

Benchmarking Uncertainty Calibration in Large Language Model Long-Form Question Answering

arxiv.org·6d

🧪Parser Testing

Vans’ New Skate Shoe Is so Chic, It Flips the Checkerboard

highsnobiety.com·1h

🚀V8 Internals

Replay review of Zach Charbonnet two-point conversion proved to be the call of the year

nbcsports.com·1h

⚡Partial Evaluation

Josh and John’s ice cream celebrates local Olympians with limited edition flavor

krdo.com·1h

🌊Gradual Typing

DJ and producer Diplo confirms work on BTS album, says it will 'shock the world'

cnalifestyle.channelnewsasia.com·1h

💬Error Messages

Moon city in less than 10 years from now? Elon Musk shifts SpaceX's ambitious goals

local12.com·1h

🎭Program Synthesis

Most infectious disease specialists have no clue what they’re talking about when it comes to airborne transmission.

threadreaderapp.com·1h

💬Error Message Design

Greens End Deal to Back NDP, Citing Policy Failures

thetyee.ca·1h

How manufactured housing prices have changed in Colorado

krdo.com·1h

🗂️Type Indexing

Cadillac F1 team confident it can resolve lawsuit with Michael Bay

the-independent.com·1h

🌪️V8 Pipeline

Caffeinated coffee and tea could help protect you against dementia. Even a few daily cups

ketv.com·1h

✨Effect Inference

Starmer Is Helming an Economic Revival He May Not Get to Enjoy

bloomberg.com

·1h

🚂Error Propagation

Lyft insurance dispute leaves local driver facing $7K loss after shooting damages car

local12.com·1h

🧪Parser Testing

Daily Horoscope for February 10, 2026

orlandosentinel.com·1h

📐Mathematical Computing

Canadian Schellenberg 'definitely' won't face death again at China retrial: lawyer

sootoday.com·1h

🛡️Capability Security

UK tells parents to quiz their children about toxic online content

channelnewsasia.com·1h

🏷️Memory Tagging

Nat Geo Wild - PLANET ALIENS WARRIOR BEES - National Geographic Animal

youtube.com·46m

🌱Minimal Schemes

200 Christmas trees donated for fish habitat

arkansasonline.com

·17m

🌲Deforestation

I think 2026 will be my last year giving talks on the conference circuit. The long flights really wear you down and I'd rather sleep in my own bed every night.

bsky.app·52m·

Discuss: Bluesky

🔗Lexical Scoping

Loading more...