Home / 2022 / January
January 2022 Archive
1021.
Idris 2: Quantitative Type Theory in Practice (arxiv.org)
150 points by otoburb on Jan 23, 2022 | 60 comments
1022.
Loopy Pro (loopypro.com)
150 points by alin23 on Jan 7, 2022 | 49 comments
1023.
Cognitive load theory and its applications for learning (scotthyoung.com)
150 points by incomprehension on Jan 14, 2022 | 19 comments
1024.
Show HN: High-order Virtual Machine (HVM) – A Parallel Functional Runtime (github.com)
150 points by LightMachine on Jan 31, 2022 | 13 comments
1025.
Street Fighter II, Sound System Internals (fabiensanglard.net)
150 points by ibobev on Jan 15, 2022 | 12 comments
1026.
The history of the end of poverty has just begun (ourworldindata.org)
149 points by cryoz on Jan 25, 2022 | 425 comments
1027.
Israel Finds Fourth Covid Booster Is Ineffective (healthpolicy-watch.news)
149 points by awb on Jan 17, 2022 | 247 comments
1028.
Hackers disrupt payroll for thousands of employers, including hospitals (npr.org)
149 points by thunderbong on Jan 16, 2022 | 155 comments
1029.
Ask HN: Does your team use feature flags?
149 points by rozenmd on Jan 28, 2022 | 140 comments
1030.
Faster IndexOf for Substrings in .NET (github.com)
149 points by bob1029 on Jan 4, 2022 | 86 comments
1031.
Ask HN: Resources for “Learning” Manufacturing?
149 points by supermatt on Jan 4, 2022 | 72 comments
1032.
BioNTech-InstaDeep Early Warning System to Detect High-Risk SARS-CoV-2 Variants (investors.biontech.de)
149 points by adsodemelk on Jan 11, 2022 | 64 comments
1033.
Washed Up (infrequently.org)
149 points by robin_reala on Jan 6, 2022 | 46 comments
1034.
Personal calculator has key to solve any equation f(x)=0 (1979) [pdf] (people.eecs.berkeley.edu)
149 points by todsacerdoti on Jan 17, 2022 | 30 comments
1035.
Maxis’ former “serious games” division (2020) (arstechnica.com)
149 points by Redoubts on Jan 16, 2022 | 19 comments
1036.
The Free and Open Source Silicon Foundation (fossi-foundation.org)
149 points by marcodiego on Jan 24, 2022 | 12 comments
1037.
Is old music killing new music? (tedgioia.substack.com)
148 points by tysone on Jan 19, 2022 | 377 comments
1038.
Activision Blizzard pushes out dozens of employees over workplace misconduct (wsj.com)
148 points by kyrra on Jan 17, 2022 | 291 comments
1039.
Wrapping Up 2021. Leaving C++ (izzys.casa)
148 points by AlexeyBrin on Jan 1, 2022 | 237 comments
1040.
Gemini is Solutionism (xn--gckvb8fzb.com)
148 points by johnjago on Jan 25, 2022 | 218 comments
1041.
Programming in 1987 versus Today (ovid.github.io)
148 points by Claude_Shannon on Jan 4, 2022 | 144 comments
1042.
Cannabidiol inhibits SARS-CoV-2 replication through induction of host ER stress (science.org)
148 points by caaqil on Jan 21, 2022 | 105 comments
1043.
YK22 bug causing Honda clocks to stop working (crvownersclub.com)
148 points by throwawayHN378 on Jan 6, 2022 | 89 comments
1044.
2FA app with 10k Google Play downloads loaded well-known banking trojan (arstechnica.com)
148 points by mocko on Jan 28, 2022 | 72 comments
1045.
Age and high-growth entrepreneurship (aeaweb.org)
148 points by jacobr on Jan 23, 2022 | 68 comments
1046.
Apple complies with Dutch ruling, lets dating apps use other payment systems (nltimes.nl)
148 points by sAbakumoff on Jan 15, 2022 | 61 comments
1047.
That famous Pixar lunch of 1994 (2014) (gointothestory.blcklst.com)
148 points by BerislavLopac on Jan 10, 2022 | 59 comments
1048.
My favorite liar (2009) (zenmoments.org)
148 points by belter on Jan 7, 2022 | 33 comments
1049.
Visualizing Bayes Theorem (2009) (oscarbonilla.com)
148 points by Tomte on Jan 2, 2022 | 21 comments
1050.
Nobody Pronounces the 'B' in 'Debt' (merriam-webster.com)
147 points by alecst on Jan 4, 2022 | 329 comments