shpat's submissions | Hacker News

1.		Astronauts Dedicate Moon Crater to Carroll Wiseman, Wife of NASA Commander (nytimes.com)
		5 points by shpat 1 day ago \| past \| discuss
2.		The Whispering Earring (gwern.net)
		1 point by shpat 5 days ago \| past \| discuss
3.		What Would You See Changed in Haskell? (haskell.org)
		5 points by shpat 5 days ago \| past \| discuss
4.		Pidgin 3.0 Alpha 1 2.95.0 has been released (imfreedom.org)
		4 points by shpat 7 days ago \| past \| discuss
5.		Death to Scroll Fade (dbushell.com)
		1 point by shpat 46 days ago \| past
6.		Should Drug Companies Be Advertising to Consumers? (nytimes.com)
		26 points by shpat 51 days ago \| past \| 7 comments
7.		So Long to Cheap Books You Could Fit in Your Pocket (nytimes.com)
		18 points by shpat 61 days ago \| past \| 1 comment
8.		The Multimillion-Dollar Plan to Make Mobile Voting Happen (wired.com)
		2 points by shpat 4 months ago \| past
9.		Ossa: Towards the Next Generation Web (jamesparker.me)
		3 points by shpat 4 months ago \| past
10.		Whimsical Animations (joshwcomeau.com)
		1 point by shpat 6 months ago \| past \| 1 comment
11.		The Replication Engine (ifp.org)
		1 point by shpat 8 months ago \| past
12.		Glass bottles found to contain more microplastics than plastic bottles (phys.org)
		3 points by shpat 8 months ago \| past \| 1 comment
13.		How I Beat Repetitive Stress Injury (henrikwarne.com)
		2 points by shpat on Sept 4, 2023 \| past
14.		Formal methods and AI: Where does Galois fit in? (galois.com)
		2 points by shpat on April 17, 2023 \| past
15.		Mathematical trick lets hackers shame people into fixing software bugs (newscientist.com)
		4 points by shpat on Jan 19, 2023 \| past
16.		Mate: Interactive Program Analysis with Code Property Graphs (galois.com)
		13 points by shpat on Aug 24, 2022 \| past \| 2 comments
17.		Azure’s Neural Text-to-Speech (azure.microsoft.com)
		2 points by shpat on July 21, 2022 \| past
18.		Should It Be Easier to Trust Machines or Harder to Trust Humans? (galois.com)
		2 points by shpat on Dec 16, 2021 \| past
19.		Room for Disagreement (galois.com)
		2 points by shpat on Nov 9, 2021 \| past
20.		Actually, You Are Rolling Your Own Crypto (galois.com)
		1 point by shpat on March 16, 2021 \| past
21.		Proofs Should Repair Themselves (galois.com)
		2 points by shpat on Dec 9, 2020 \| past
22.		Hackers Take on Darpa's $10M Voting Machine (wired.com)
		2 points by shpat on Aug 10, 2019 \| past
23.		DARPA Is Building a $10M, Open-Source, Secure Voting System (vice.com)
		649 points by shpat on March 14, 2019 \| past \| 288 comments
24.		A Forward-Looking, Transparent Approach to Pay (lifeatgalois.com)
		1 point by shpat on Aug 30, 2018 \| past
25.		Continuous Formal Verification of Amazon S2n (springer.com)
		6 points by shpat on July 23, 2018 \| past \| 1 comment
26.		Formal verification and the KRACK vulnerability (galois.com)
		2 points by shpat on Oct 19, 2017 \| past
27.		Formally verifying HMAC in Amazon's s2n library (galois.com)
		8 points by shpat on Sept 6, 2016 \| past
28.		Qubie is an open hardware solution for tracking wait times at voting places (techcrunch.com)
		1 point by shpat on Aug 16, 2016 \| past
29.		FBI vs. Apple: how did we get here? (medium.com/syntaxpolice)
		4 points by shpat on March 23, 2016 \| past
30.		The ICFP Programming Contest happening this weekend (icfpcontest.org)
		9 points by shpat on Aug 6, 2015 \| past

HN For You