Prox-1 Android phone with lineage OS and a physical keyboard by F1 and xda
2020-11-27
Reproduce Gonthier Four Colour Theorem proof challenge (make no proof patches)
2020-11-27
WorldPlus- Magazines have never been this interactive before
2020-11-27
ZDNet and Linux often provide a good chance for a laugh
2020-11-26
The Challenges of Autosave
2020-11-26
The Paradox of Choice – Why More Is Less
2020-11-26
How to reduce choice overload and increase satisfaction
2020-11-26
Ask HN: What challenges did you face when you quit graduate program?
2020-11-26
Ask HN: Can the ARM Macs/PCs end the web as we know it?
2020-11-26
Linus discusses challenges getting Linux on Apple Silicon Macs
2020-11-25