Dependent Types, Linear Types, Effect Systems, Hindley-Milner
Letter of the week: Closer to God
newstatesman.com·16h
Jonathan Ree: The Analytic Ideology
newleftreview.org·4d
Shared tool developed for quantum and supercomputer systems
techxplore.com·1d
I'm Less Worried About Losing My Job to AI Than I Was 3 Years Ago
thealgorithmicbridge.com·22h
Systematic investigation on surrogate and active learning-based multivariate seismic fragility analysis under multiple sources of uncertainties
sciencedirect.com·16h
Let’s talk about the real Mike Pence. Not the pious "family values" caricature he plays on TV, but the career grifter who has been selling out Americans from da...
threadreaderapp.com·14h
Predictability of temperature extremes in multi-annual forecasts
iopscience.iop.org·1d
Loading...Loading more...