1. | | Formal Methods of Software Design an Online Course by Eric Hehner (utoronto.ca) |
|
134 points by blewboarwastake 2 hours ago | hide | 6 comments |
2. | | New 5G protocol vulnerabilities allow location tracking (therecord.media) |
|
56 points by DyslexicAtheist 1 hour ago | hide | 26 comments |
3. | | Box86 vs native: OpenGL is almost native, CPU bound 50%, SSE3 is slower (fosdem.org) |
|
62 points by marcodiego 2 hours ago | hide | 14 comments |
4. | | Lots of progress on the piano practice software (jacquesmattheij.com) |
|
112 points by jacquesm 4 hours ago | hide | 44 comments |
5. | | Ada for the C++ and Java Developer [pdf] (adacore.com) |
|
95 points by pjmlp 6 hours ago | hide | 35 comments |
6. | | BitClout, the Dystopian Social Network with Big Backers and Vocal Critics (decrypt.co) |
|
59 points by elsewhen 4 hours ago | hide | 21 comments |
7. | | The Fortran I Compiler (2000) [pdf] (stanford.edu) |
|
34 points by Bostonian 4 hours ago | hide | 8 comments |
8. | | How can you tell if someone is lying? (theatlantic.com) |
|
368 points by samizdis 13 hours ago | hide | 259 comments |
9. | | AtoB (YC S20) – Stripe for transportation – is hiring founding team engineers (notion.so) |
|
1 hour ago | hide |
10. | | The Island Affair (2006) (theguardian.com) |
|
7 points by prismatic 2 hours ago | hide | discuss |
11. | | Bassoonfluencers: The World of Instagram Practice Accounts (newyorker.com) |
|
16 points by fortran77 3 hours ago | hide | 3 comments |
12. | | Hubble Telescope Captures a Rare Asteroid Worth 70k Times the Global Economy (robbreport.com) |
|
16 points by jd115 3 hours ago | hide | 14 comments |
13. | | Bitcoin as a Battery (nickgrossman.xyz) |
|
83 points by tomsyouruncle 4 hours ago | hide | 155 comments |
14. | | Ancient genomes trace the origin and decline of the Scythians (phys.org) |
|
11 points by dnetesn 3 hours ago | hide | 2 comments |
15. | | NASA Mission to Venus in 1978 May Have Detected Phosphine, a Gas Related to Life (planetary.org) |
|
40 points by nathandaly 2 hours ago | hide | 33 comments |
16. | | Vintage HP computer systems (groups.io) |
|
34 points by optimalsolver 7 hours ago | hide | 8 comments |
17. | | Gender, race, and entrepreneurship: A randomized field experiment on investors (ssrn.com) |
|
108 points by sdan 4 hours ago | hide | 94 comments |
18. | | Bronze Age mining sites received deliveries of pre-processed foods (phys.org) |
|
64 points by Hooke 12 hours ago | hide | 20 comments |
19. | | Amazon driver quits over AI-powered safety cameras in delivery vehicles (businessinsider.com) |
|
128 points by Black101 6 hours ago | hide | 117 comments |
20. | | Asymmetric Opportunities and the Cult of Optionality (applieddivinitystudies.com) |
|
32 points by feross 9 hours ago | hide | 6 comments |
21. | | Preview: IBM z/OS v2.5 [pdf] (ibm.com) |
|
33 points by throwawaybutwhy 8 hours ago | hide | 24 comments |
22. | | Free as in Climbing: Open Data Project Threatened by Bogus Copyright Claims (eff.org) |
|
35 points by pabs3 3 hours ago | hide | 11 comments |
23. | | Larry McMurtry has died (washingtonpost.com) |
|
51 points by samclemens 11 hours ago | hide | 21 comments |
24. | | Straussian Reading (2017) (lacker.io) |
|
20 points by gauchojs 7 hours ago | hide | 4 comments |
25. | | Shared Libraries for C64 OS (c64os.com) |
|
63 points by rbanffy 14 hours ago | hide | 1 comment |
26. | | Religious fervour is migrating into politics (economist.com) |
|
104 points by shanedias 7 hours ago | hide | 113 comments |
27. | | I tracked down my impostor (theguardian.com) |
|
413 points by vanilla-almond 21 hours ago | hide | 211 comments |
28. | | The fingerprint inside photos (bbc.com) |
|
160 points by LordAtlas 8 hours ago | hide | 64 comments |
29. | | High schooler invented color-changing sutures to detect infection (smithsonianmag.com) |
|
186 points by webmaven 15 hours ago | hide | 25 comments |
30. | | Louvre makes its entire collection available online (louvre.fr) |
|
867 points by colinprince 1 day ago | hide | 188 comments |
|
| More |