Hacker News

1.		SeL4 is verified on RISC-V (microkerneldude.wordpress.com)
		120 points by ingve 5 hours ago \| hide \| 9 comments
2.		Writing a full-text search engine using Bloom filters (2013) (stavros.io)
		100 points by memexy 6 hours ago \| hide \| 21 comments
3.		Logic.ly – Digital logic simulator for teaching logic gates and digital circuits (logic.ly)
		63 points by peter_d_sherman 4 hours ago \| hide \| 6 comments
4.		Teaching my MIT classes with only free/libre software (gnu.org)
		170 points by gnu 4 hours ago \| hide \| 69 comments
5.		First U.S. woman to walk in space dives to deepest point in the ocean (npr.org)
		226 points by tzs 6 hours ago \| hide \| 39 comments
6.		No Recent Automation Revolution (overcomingbias.com)
		172 points by cinquemb 7 hours ago \| hide \| 126 comments
7.		Browse hundreds of jobs at actively hiring YC companies with Work at a Startup (workatastartup.com)
		6 minutes ago \| hide
8.		The ‘Useless’ Perspective That Transformed Mathematics (quantamagazine.org)
		46 points by exanimo_sai 4 hours ago \| hide \| 17 comments
9.		Haiku R1/beta2 has been released (haiku-os.org)
		334 points by waddlesplash 14 hours ago \| hide \| 190 comments
10.		Scraping Roger Ebert’s reviews and finding his favorite movies on Amazon Prime (linisnil.com)
		106 points by catwind7 6 hours ago \| hide \| 45 comments
11.		Stanford Class on Deep Multi-Task and Meta-Learning (stanford.edu)
		11 points by hamsterbooster 1 hour ago \| hide \| discuss
12.		A tiny static full-text search engine using Rust and WebAssembly (2019) (endler.dev)
		233 points by jaden 6 hours ago \| hide \| 48 comments
13.		Way to keep your cool running a Raspberry Pi 4 (jeffgeerling.com)
		41 points by guiambros 4 hours ago \| hide \| 21 comments
14.		Windows Privacy Dashboard: GUI for Windows 10 Privacy Settings (wpd.app)
		133 points by Mandatum 8 hours ago \| hide \| 67 comments
15.		Olof Palme murder: Sweden identifies man who killed PM in 1986 (bbc.com)
		37 points by Tomte 54 minutes ago \| hide \| 13 comments
16.		Test Anything Protocol (testanything.org)
		46 points by allthebest 6 hours ago \| hide \| 6 comments
17.		Unsupervised translation of programming languages (arxiv.org)
		135 points by elsewhen 12 hours ago \| hide \| 36 comments
18.		A Guide to Unbundling Reddit (latecheckout.substack.com)
		11 points by nreece 2 hours ago \| hide \| 3 comments
19.		Shan, Shui: Procedurally generated Chinese landscape painting (github.com)
		215 points by tomato2juice 14 hours ago \| hide \| 33 comments
20.		DeepMind introduces ‘EATS’: adversarial, end-to-end approach to text-to-speech (syncedreview.com)
		81 points by Yuqing7 10 hours ago \| hide \| 11 comments
21.		How Birds Evolved From Dinosaurs (2015) (quantamagazine.org)
		56 points by ricardomcgowan 8 hours ago \| hide \| 35 comments
22.		Snabb: 100 Gbit/s pure software switching using Lua (2019) (github.com)
		109 points by pdmccormick 12 hours ago \| hide \| 21 comments
23.		Whistler (Radio) (wikipedia.org)
		3 points by tams 1 hour ago \| hide \| discuss
24.		Quotebacks – Quote the Web (quotebacks.net)
		190 points by tobyshorin 15 hours ago \| hide \| 54 comments
25.		From chaos to free will (aeon.co)
		27 points by jonbaer 7 hours ago \| hide \| 54 comments
26.		Large-Scale Transactional Data Lake at Uber Using Apache Hudi (uber.com)
		31 points by santhoshkumar3 6 hours ago \| hide \| 5 comments
27.		Let Game Theory Tell You When It’s Time to Go Shopping (nautil.us)
		7 points by dnetesn 2 hours ago \| hide \| 1 comment
28.		How SGX Fails in Practice (sgaxe.com)
		143 points by gbrown_ 15 hours ago \| hide \| 88 comments
29.		New hints of volcanism under the heart of northern Europe (ras.ac.uk)
		43 points by headalgorithm 9 hours ago \| hide \| 10 comments
30.		Show HN: XgeneCloud – Instant REST and GraphQL APIs on Any SQL Database (github.com)
		75 points by xgenecloud 12 hours ago \| hide \| 33 comments
		More