Hacker News

1.		How modern SAT solvers work, heuristics and other tricks (codingnest.com)
		121 points by kachnuv_ocasek 3 hours ago \| hide \| 43 comments
2.		Why Racket? Why Lisp? (beautifulracket.com)
		108 points by alokrai 5 hours ago \| hide \| 41 comments
3.		Tell Me More, Nginx (2017) (honeycomb.io)
		131 points by kiyanwang 6 hours ago \| hide \| 11 comments
4.		A company is systematically copyright claiming every video I have ever made (twitter.com)
		158 points by MagicPropmaker 2 hours ago \| hide \| 48 comments
5.		A new memory profiler for Linux written in Rust (github.com)
		124 points by Supermighty 4 hours ago \| hide \| 6 comments
6.		Interleaved Mathematics Practice shows dramatic improvement in test scores [pdf] (usf.edu)
		44 points by mpweiher 4 hours ago \| hide \| 9 comments
7.		Knuth: Fantasia Apocalyptica (2017) (stanford.edu)
		15 points by jdnier 2 hours ago \| hide \| discuss
8.		Supdate – Clojure/ClojureScript library for transforming nested data structures (vvvvalvalval.github.io)
		109 points by tosh 8 hours ago \| hide \| 9 comments
9.		The “Linen Book of Zagreb”: The Longest Etruscan Text (wikipedia.org)
		47 points by curtis 6 hours ago \| hide \| 12 comments
10.		We hear you: updates to Works with Nest (blog.google)
		80 points by 9nGQluzmnq3M 4 hours ago \| hide \| 56 comments
11.		Run CP/M on your C64 using emulation (pagetable.com)
		44 points by Luc 7 hours ago \| hide \| 28 comments
12.		Whaling in the Soviet Union (psmag.com)
		58 points by telotortium 2 hours ago \| hide \| 6 comments
13.		U.S. Judge Orders “Immediate Removal” of Website Critical of Voice Lie Detector (antipolygraph.org)
		62 points by ap_org 2 hours ago \| hide \| 13 comments
14.		Has the Python GIL Been Slain? Subinterpreters in Python 3.8 (hackernoon.com)
		198 points by jorshman 15 hours ago \| hide \| 94 comments
15.		A novel data-compression technique for faster computer programs (techxplore.com)
		42 points by pps 7 hours ago \| hide \| 8 comments
16.		Into the pharaoh's chamber: how I fell in love with ancient Egypt (theguardian.com)
		18 points by diodorus 5 hours ago \| hide \| discuss
17.		Virtual DOM is pure overhead (2018) (svelte.dev)
		568 points by nailer 17 hours ago \| hide \| 259 comments
18.		Sam Altman’s leap of faith (techcrunch.com)
		121 points by ankeshanand 11 hours ago \| hide \| 86 comments
19.		Without heart disease, daily aspirin may be too risky (reuters.com)
		75 points by wjSgoWPm5bWAhXB 6 hours ago \| hide \| 57 comments
20.		British Victorians Who Became Muslims (bbc.com)
		5 points by sohkamyung 2 hours ago \| hide \| discuss
21.		Digitization Effort Is the Latest Plot Twist for Cuban Radio Soap Operas (npr.org)
		3 points by petethomas 2 hours ago \| hide \| discuss
22.		Resistance to Noncompete Agreements Is a Win for Workers (wsj.com)
		21 points by JumpCrisscross 3 hours ago \| hide \| discuss
23.		The Evolution of Web Design (2016) (fabianburghardt.de)
		88 points by stelonix 14 hours ago \| hide \| 22 comments
24.		Music of the Squares: David R. Hay and the Reinvention of Pythagorean Aesthetics (publicdomainreview.org)
		12 points by benbreen 6 hours ago \| hide \| 2 comments
25.		I Got a Knuth Check for 0x$3.00 (nickdrozd.github.io)
		416 points by Supermighty 23 hours ago \| hide \| 129 comments
26.		‘Oh, My God, Where Is This Going?’ When Computer-Science Majors Take Improv (wsj.com)
		6 points by Vaslo 1 hour ago \| hide \| 1 comment
27.		Using Ed25519 signing keys for encryption (filippo.io)
		41 points by axiomdata316 12 hours ago \| hide \| 9 comments
28.		Faux Rogan (fakejoerogan.com)
		178 points by mgdo 16 hours ago \| hide \| 101 comments
29.		Shell Completions in Rust (joshmcguigan.com)
		136 points by JoshMcguigan 16 hours ago \| hide \| 15 comments
30.		A Collection of Dev Checklists (devchecklists.com)
		143 points by rsarai007 17 hours ago \| hide \| 20 comments
		More