Hacker News

1.		Using an Atari ST as Unix/Linux Terminal (atari-wiki.com)
		30 points by indigodaddy 1 hour ago \| hide \| 5 comments
2.		How modern SAT solvers work, heuristics and other tricks (codingnest.com)
		153 points by kachnuv_ocasek 4 hours ago \| hide \| 48 comments
3.		A Decade of Remote Work (viktorpetersson.com)
		45 points by mvip 2 hours ago \| hide \| 10 comments
4.		Why Racket? Why Lisp? (beautifulracket.com)
		132 points by alokrai 6 hours ago \| hide \| 52 comments
5.		Tell Me More, Nginx (2017) (honeycomb.io)
		143 points by kiyanwang 7 hours ago \| hide \| 13 comments
6.		A company is systematically copyright claiming every video I have ever made (twitter.com)
		236 points by MagicPropmaker 3 hours ago \| hide \| 90 comments
7.		Knuth: Fantasia Apocalyptica (2017) (stanford.edu)
		29 points by jdnier 3 hours ago \| hide \| 1 comment
8.		Interleaved Mathematics Practice shows dramatic improvement in test scores [pdf] (usf.edu)
		58 points by mpweiher 5 hours ago \| hide \| 14 comments
9.		A new memory profiler for Linux written in Rust (github.com)
		144 points by Supermighty 5 hours ago \| hide \| 6 comments
10.		Supdate – Clojure/ClojureScript library for transforming nested data structures (vvvvalvalval.github.io)
		118 points by tosh 9 hours ago \| hide \| 10 comments
11.		The “Linen Book of Zagreb”: The Longest Etruscan Text (wikipedia.org)
		54 points by curtis 7 hours ago \| hide \| 12 comments
12.		Run CP/M on your C64 using emulation (pagetable.com)
		48 points by Luc 8 hours ago \| hide \| 28 comments
13.		We hear you: updates to Works with Nest (blog.google)
		86 points by 9nGQluzmnq3M 5 hours ago \| hide \| 64 comments
14.		Whaling in the Soviet Union (psmag.com)
		63 points by telotortium 3 hours ago \| hide \| 9 comments
15.		A novel data-compression technique for faster computer programs (techxplore.com)
		45 points by pps 8 hours ago \| hide \| 8 comments
16.		Impossible Foods' next product is sausage (engadget.com)
		15 points by ingve 57 minutes ago \| hide \| 7 comments
17.		Virtual DOM is pure overhead (2018) (svelte.dev)
		586 points by nailer 18 hours ago \| hide \| 262 comments
18.		AMD Ryzen V1000 Single Board Computer PROFIVE NUCV (eepd.de)
		30 points by walterbell 7 hours ago \| hide \| 7 comments
19.		Into the pharaoh's chamber: how I fell in love with ancient Egypt (theguardian.com)
		18 points by diodorus 6 hours ago \| hide \| discuss
20.		Without heart disease, daily aspirin may be too risky (reuters.com)
		78 points by wjSgoWPm5bWAhXB 7 hours ago \| hide \| 64 comments
21.		A History and Survey of Network Firewalls [pdf] (unm.edu)
		3 points by godelmachine 2 hours ago \| hide \| discuss
22.		Resistance to Noncompete Agreements Is a Win for Workers (wsj.com)
		29 points by JumpCrisscross 4 hours ago \| hide \| 3 comments
23.		Wolfram Alpha Search Engine Turns 10: Remains Independent, Private, and (slashdot.org)
		3 points by whack 18 minutes ago \| hide \| discuss
24.		Digitization Effort Is the Latest Plot Twist for Cuban Radio Soap Operas (npr.org)
		3 points by petethomas 3 hours ago \| hide \| discuss
25.		Sam Altman’s leap of faith (techcrunch.com)
		125 points by ankeshanand 12 hours ago \| hide \| 105 comments
26.		Has the Python GIL Been Slain? Subinterpreters in Python 3.8 (hackernoon.com)
		201 points by jorshman 16 hours ago \| hide \| 99 comments
27.		Music of the Squares: David R. Hay and the Reinvention of Pythagorean Aesthetics (publicdomainreview.org)
		14 points by benbreen 7 hours ago \| hide \| 2 comments
28.		I Got a Knuth Check for 0x$3.00 (nickdrozd.github.io)
		420 points by Supermighty 1 day ago \| hide \| 133 comments
29.		Using Ed25519 signing keys for encryption (filippo.io)
		45 points by axiomdata316 13 hours ago \| hide \| 10 comments
30.		Faux Rogan (fakejoerogan.com)
		186 points by mgdo 17 hours ago \| hide \| 103 comments
		More