Verification, Type-level Programming, Safety Proofs, Linear Types
Pateman, John, - Reimagining the Public Library key debates and future approaches / John Pateman.
libris.kb.se·23h
Warning issued to job hunters after rise in scams offering fraudulent CV-writing services
the-independent.com·5h
A Gilmore Girls documentary for the 25th anniversary? Okay, but I need this long-standing beef cleared up
techradar.com·13h
Former chief of staff testifies in San Mateo sheriff removal hearing
mercurynews.com·5h
Stealth AI startup Aurasell raised $30 million in seed funding in 28 hours to take on Salesforce
businessinsider.com·17h
They weren't lovin' it - hacker cracks McDonald's security in quest for free nuggets, and it was apparently not too tricky
techradar.com·8h
Andreessen Horowitz and other tech power players launched a $100 million AI-focused PAC
businessinsider.com·13h
Dec 23 2026 : NYCResistor Ham Radio Club
nycresistor.com·5h
A deep reinforcement learning agent trained for interval timing exhibits similarities to biological systems
arxiv.org·2d
HOOW: Navigating Leveraged Income Amid Robinhood's Volatility
seekingalpha.com·3h
Loading...Loading more...