Hacker News

1.		SeL4 is verified on RISC-V (microkerneldude.wordpress.com)
		146 points by ingve 6 hours ago \| hide \| 18 comments
2.		Writing a full-text search engine using Bloom filters (2013) (stavros.io)
		123 points by memexy 7 hours ago \| hide \| 22 comments
3.		Logic.ly – Digital logic simulator for teaching logic gates and digital circuits (logic.ly)
		79 points by peter_d_sherman 5 hours ago \| hide \| 7 comments
4.		Teaching my MIT classes with only free/libre software (gnu.org)
		202 points by gnu 5 hours ago \| hide \| 89 comments
5.		Stanford Class on Deep Multi-Task and Meta-Learning (stanford.edu)
		19 points by hamsterbooster 2 hours ago \| hide \| 2 comments
6.		First U.S. woman to walk in space dives to deepest point in the ocean (npr.org)
		240 points by tzs 7 hours ago \| hide \| 44 comments
7.		Create diagrams using code with Graphviz (ncona.com)
		11 points by adrianancona 56 minutes ago \| hide \| 1 comment
8.		No Recent Automation Revolution (overcomingbias.com)
		180 points by cinquemb 8 hours ago \| hide \| 140 comments
9.		Scraping Roger Ebert’s reviews and finding his favorite movies on Amazon Prime (linisnil.com)
		114 points by catwind7 7 hours ago \| hide \| 48 comments
10.		Way to keep your cool running a Raspberry Pi 4 (jeffgeerling.com)
		60 points by guiambros 5 hours ago \| hide \| 31 comments
11.		A ‘Useless’ Perspective That Transformed Mathematics (quantamagazine.org)
		55 points by exanimo_sai 5 hours ago \| hide \| 20 comments
12.		Windows Privacy Dashboard: GUI for Windows 10 Privacy Settings (wpd.app)
		144 points by Mandatum 9 hours ago \| hide \| 76 comments
13.		Welcome to the 21st Century: How to Plan for the Post-Covid Future (oreilly.com)
		6 points by gHeadphone 1 hour ago \| hide \| discuss
14.		Browse hundreds of jobs at actively hiring YC companies with Work at a Startup (workatastartup.com)
		1 hour ago \| hide
15.		A tiny static full-text search engine using Rust and WebAssembly (2019) (endler.dev)
		254 points by jaden 7 hours ago \| hide \| 52 comments
16.		Test Anything Protocol (testanything.org)
		54 points by allthebest 7 hours ago \| hide \| 12 comments
17.		Unsupervised translation of programming languages (arxiv.org)
		139 points by elsewhen 13 hours ago \| hide \| 38 comments
18.		Whistler (Radio) (wikipedia.org)
		7 points by tams 2 hours ago \| hide \| 2 comments
19.		DeepMind introduces ‘EATS’: adversarial, end-to-end approach to text-to-speech (syncedreview.com)
		85 points by Yuqing7 11 hours ago \| hide \| 11 comments
20.		How Birds Evolved From Dinosaurs (2015) (quantamagazine.org)
		59 points by ricardomcgowan 9 hours ago \| hide \| 35 comments
21.		Snabb: 100 Gbit/s pure software switching using Lua (2019) (github.com)
		114 points by pdmccormick 13 hours ago \| hide \| 21 comments
22.		Olof Palme murder: Sweden identifies man who killed PM in 1986 (bbc.com)
		48 points by Tomte 1 hour ago \| hide \| 22 comments
23.		Large-Scale Transactional Data Lake at Uber Using Apache Hudi (uber.com)
		36 points by santhoshkumar3 7 hours ago \| hide \| 6 comments
24.		Quotebacks – Quote the Web (quotebacks.net)
		191 points by tobyshorin 16 hours ago \| hide \| 55 comments
25.		From chaos to free will (aeon.co)
		28 points by jonbaer 8 hours ago \| hide \| 57 comments
26.		Haiku R1/beta2 has been released (haiku-os.org)
		337 points by waddlesplash 15 hours ago \| hide \| 193 comments
27.		New hints of volcanism under the heart of northern Europe (ras.ac.uk)
		46 points by headalgorithm 10 hours ago \| hide \| 12 comments
28.		Show HN: XgeneCloud – Instant REST and GraphQL APIs on Any SQL Database (github.com)
		82 points by xgenecloud 13 hours ago \| hide \| 33 comments
29.		Let Game Theory Tell You When It’s Time to Go Shopping (nautil.us)
		10 points by dnetesn 3 hours ago \| hide \| 2 comments
30.		New inline assembly syntax available in Rust nightly (rust-lang.org)
		444 points by dagenix 19 hours ago \| hide \| 205 comments
		More