Type-level Programming, Proof-carrying Code, Agda, Type Safety
OpenAI just created one of the richest charities in the world
businessinsider.comยท5h
'Large' brief of evidence against childcare worker accused of child abuse material
abc.net.auยท3h
A massive eruption 74,000 years ago affected the whole planet: Volcanic glass may show how people survived
phys.orgยท11h
If There Is No Welfare State, What Will Europeโs Social Contract Be?
nakedcapitalism.comยท9h
Anti-DDoS outfit walloped by record packet flood
theregister.comยท11h
Structure Therapeutics Inc. (GPCR) Presents At Morgan Stanley 23rd Annual Global Healthcare Conference (Transcript)
seekingalpha.comยท1d
Napa County under a flood advisory early Wednesday evening triggered by significant rain
mercurynews.comยท1d
Loading...Loading more...