Verification, Type-level Programming, Safety Proofs, Linear Types
JavaScript’s trademark problem
2ality.com·4d
Travelers to the UK targeted in ETA scams
malwarebytes.com·13h
I tried ‘the best kettlebell workout’, and it was surprisingly simple yet effective in just 10 minutes
the-independent.com·15h
UK has a 'number of security concerns' associated with China's prospective mega-embassy in London
france24.com·17h
Simple cheek swab could help save lives of children with rare heart problem
the-independent.com·1d
Why Cancer Spreads: Scientists Uncover a New Clue Inside the Cell’s Power Plant
scitechdaily.com·21h
The data platform debt you don’t see coming
datasciencecentral.com·4d
NASA is Taking Suggestions for Raising Swift’s Orbit
hackaday.com·1d
Movie and TV Copyright Lawsuits Are on the Rise. Very Few Prevail In Court
madcornishprojectionist.co.uk·17h
I used to spread out my PTO days to squeeze in weekend trips. Now I take a "Fellesferien" period every summer like they do in Norway, and I'm more well-rested.
businessinsider.com·15h
The Champions League gets a hipster makeover
theguardian.com·5d
Loading...Loading more...