Hacker News

1.		SMT Solving on an iPhone (2018) (utexas.edu)
		115 points by creolabs 2 hours ago \| hide \| 55 comments
2.		People work longer and different hours under lockdown (workplaceinsight.net)
		51 points by hhs 2 hours ago \| hide \| 41 comments
3.		Adding a fiber link to my home network (stapelberg.ch)
		119 points by secure 3 hours ago \| hide \| 55 comments
4.		Stopping deepfake news with an AI algorithm that can tell when a face doesnt fit (spie.org)
		76 points by rustoo 4 hours ago \| hide \| 59 comments
5.		U.S. Navy Sex-Trafficing Scandal in Bahrain (militarytimes.com)
		15 points by everybodyknows 1 hour ago \| hide \| discuss
6.		How I Got My Japanese Permanent Residency (dampfkraft.com)
		39 points by polm23 4 hours ago \| hide \| 26 comments
7.		Show HN: Kowl – An Open Source WebUI for Apache Kafka with a good UI and UX (github.com)
		62 points by weeco 4 hours ago \| hide \| 7 comments
8.		Fire your bad customers (preetamnath.com)
		288 points by grwthckrmstr 11 hours ago \| hide \| 210 comments
9.		EFF Defends Public’s Right to Access Court Records About Patent Ownership (eff.org)
		132 points by DiabloD3 3 hours ago \| hide \| 9 comments
10.		Vertigo – a public domain 3D flight simulator (2003) (stjerneskud.info)
		82 points by app4soft 6 hours ago \| hide \| 56 comments
11.		The German front in rare color photos, 1914-1918 (rarehistoricalphotos.com)
		326 points by pmoriarty 13 hours ago \| hide \| 73 comments
12.		Algorithmic Theories of Everything (arxiv.org)
		5 points by canjobear 1 hour ago \| hide \| discuss
13.		No flourish was too much (lrb.co.uk)
		11 points by pepys 2 hours ago \| hide \| 2 comments
14.		“What color is the Sun?” An example of science education pathology (2012) (clarifyscience.info)
		14 points by wallflower 3 hours ago \| hide \| 23 comments
15.		Ask HN: What are some available force multipliers that most people don't know?
		164 points by newsbinator 5 hours ago \| hide \| 256 comments
16.		5G Just Got Weird (ieee.org)
		40 points by embit 5 hours ago \| hide \| 21 comments
17.		The ‘-ize’ have it (2012) (metadyne.co.uk)
		66 points by Lammy 8 hours ago \| hide \| 83 comments
18.		Validating Kubernetes YAML for best practice and policies (learnk8s.io)
		45 points by kiyanwang 6 hours ago \| hide \| 32 comments
19.		There’s no such thing as a tech expert anymore (wired.com)
		101 points by snadahalli 11 hours ago \| hide \| 87 comments
20.		The Reemergent 1977 H1N1 Strain and the Gain-of-Function Debate (2015) (asm.org)
		14 points by medymed 4 hours ago \| hide \| discuss
21.		Haskell In New Clothes (github.com)
		73 points by culturedsystems 9 hours ago \| hide \| 55 comments
22.		Show HN: Zesture – Control Mac/Windows Apps Using Hand Gestures (zesture.app)
		9 points by radhakrsna 3 hours ago \| hide \| 3 comments
23.		Overriding C++ virtual functions at run time (visionappster.com)
		41 points by topiolli 9 hours ago \| hide \| 27 comments
24.		Reverse Engineering for Beginners [pdf] (yurichev.org)
		13 points by dennis714 5 hours ago \| hide \| discuss
25.		Low-cost measurement of facemask efficacy for filtering expelled droplets (sciencemag.org)
		95 points by pat2man 14 hours ago \| hide \| 54 comments
26.		Why the U.S. government is allowing bears, wolves to be hunted in their dens (nationalgeographic.com)
		67 points by pseudolus 11 hours ago \| hide \| 35 comments
27.		Firefox Voice (voice.mozilla.org)
		359 points by makeworld 17 hours ago \| hide \| 135 comments
28.		Show HN: Create diagrams stitching images on a grid using HCL (like Terraform) (github.com)
		29 points by lucasepe 10 hours ago \| hide \| 9 comments
29.		Twitter x TikTok = Twiktwok (twiktwok.github.io)
		333 points by 9nGQluzmnq3M 16 hours ago \| hide \| 87 comments
30.		C.I.A. Lacing (2014) (fieggen.com)
		203 points by scrps 1 day ago \| hide \| 77 comments
		More