Dependent Haskell, GADTs, Type Families, Kind System
I just want to make things easier for my kids during back-to-school season. I'm learning they don't need me to.
businessinsider.comΒ·1d
FOSS Weekly #25.34: Mint 22.2 Features, FreeVPN Fiasco, Windows Update Killing SSDs, AI in LibreOffice and More
itsfoss.comΒ·10h
IRL Brain Rot and the Lure of the Labubu
newyorker.comΒ·1d
Stylolites complicate sound wave propagation in sedimentary rock samples, affecting lab-scale monitoring
phys.orgΒ·22h
Google teases mysterious Nest smart speaker β and it looks like a HomePod Mini crossed with an Echo Dot
techradar.comΒ·2h
Google says a typical AI text prompt only uses 5 drops of water β experts say that’s misleading
theverge.comΒ·2h
Loading...Loading more...