Hacker News

1.		Show HN: Reduce SQLite database size by up to 80% with transparent compression (github.com/phiresky)
		119 points by phiresky 3 hours ago \| hide \| 28 comments
2.		Formally Verifying Rust's Opaque Types (dylanj.xyz)
		34 points by BreakfastB0b 1 hour ago \| hide \| 3 comments
3.		You want to know something about how bullshit insane our brains are? (2018) (twitter.com/foone)
		74 points by Tomte 3 hours ago \| hide \| 35 comments
4.		Librarian's Letter to Google Security (docs.google.com)
		268 points by 2352500 1 hour ago \| hide \| 63 comments
5.		Ask HN: Have You Left Kubernetes?
		35 points by strzibny 50 minutes ago \| hide \| 13 comments
6.		A Tutorial on Portable Makefiles (2017) (nullprogram.com)
		73 points by hardwaresofton 5 hours ago \| hide \| 31 comments
7.		Why I built a dictionary app (wordnote.app)
		414 points by zehfernandes 12 hours ago \| hide \| 136 comments
8.		Show HN: SnoopForms – Open-Source Typeform Alternative (snoopforms.com)
		31 points by beanclap 2 hours ago \| hide \| 8 comments
9.		Karmem: A fast binary serialization format faster than Google Flatbuffers (github.com/inkeliz)
		120 points by siddontang 8 hours ago \| hide \| 59 comments
10.		Raw footage inside Sears with Atari 800 and 2600 (1982) [video] (youtube.com)
		72 points by kloch 8 hours ago \| hide \| 27 comments
11.		Linux 5.19 (lwn.net)
		235 points by anpep 3 hours ago \| hide \| 126 comments
12.		Show HN: International Legal Dictionary (public.law)
		76 points by dogweather 9 hours ago \| hide \| 24 comments
13.		Differentiable programming from scratch (thenumb.at)
		157 points by TheNumbat 12 hours ago \| hide \| 45 comments
14.		Nichelle Nichols Has Died (twitter.com/shanselman)
		93 points by fagnerbrack 1 hour ago \| hide \| 5 comments
15.		Show HN: RandomGeo.City – Browse Random Geocities Websites (randomgeo.city)
		5 points by emeth 2 hours ago \| hide \| 4 comments
16.		Lyra: Fast, in-memory, typo-tolerant, full-text search engine in TypeScript (github.com/nearform)
		138 points by bpierre 12 hours ago \| hide \| 40 comments
17.		Meshtastic: A Review (tylercipriani.com)
		78 points by thcipriani 11 hours ago \| hide \| 22 comments
18.		Gitea 1.17.0 is released – includes package registry support (gitea.io)
		185 points by belfalas 8 hours ago \| hide \| 44 comments
19.		TikTok Diagnosis Videos Leave Teens Thinking They Have Rare Mental Disorders (wsj.com)
		11 points by mrtedbear 1 hour ago \| hide \| 2 comments
20.		Docusaurus 2.0 (docusaurus.io)
		81 points by slorber 5 hours ago \| hide \| 76 comments
21.		Pagefind: Static Low-Bandwidth Search at Scale (cloudcannon.com)
		56 points by chmaynard 10 hours ago \| hide \| 9 comments
22.		Intel Let the Chips Fall Where They Might (nextplatform.com)
		26 points by rntn 2 hours ago \| hide \| 21 comments
23.		Fresnel Integral (wikipedia.org)
		46 points by peter_d_sherman 11 hours ago \| hide \| 18 comments
24.		Public domain POSIX make (frippery.org)
		63 points by donmcc 12 hours ago \| hide \| 29 comments
25.		Apple Rhapsody revisited, to go (2014) (tenfourfox.blogspot.com)
		40 points by classichasclass 9 hours ago \| hide \| 3 comments
26.		EasyRPG (easyrpg.org)
		395 points by tosh 18 hours ago \| hide \| 68 comments
27.		End of the Machinery Game Engine
		161 points by eigenbom 11 hours ago \| hide \| 63 comments
28.		Australian activist can't use encrypted apps, must let police access phone (abc.net.au)
		399 points by adrian_mrd 15 hours ago \| hide \| 275 comments
29.		Show HN: Outserv – GraphQL Search Engine (manishrjain.com)
		25 points by mrjn 7 hours ago \| hide \| 6 comments
30.		RISC-V based single board computers are getting there (bret.dk)
		256 points by bmlw 17 hours ago \| hide \| 111 comments
		More