Hacker News

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