thomasweiser's submissions

1.		Martin Kleppmann Prediction: AI will make formal verification go mainstream (kleppmann.com)
		3 points by thomasweiser 3 months ago \| past \| 1 comment
2.		A Plea for Sober AI (dbreunig.com)
		2 points by thomasweiser on May 19, 2024 \| past
3.		RNA breakthrough creates crops that can grow 50 percent more potatoes, rice (sciencedaily.com)
		215 points by thomasweiser on Sept 3, 2021 \| past \| 168 comments
4.		The Future of Text (Book) (thefutureoftext.org)
		3 points by thomasweiser on Dec 2, 2020 \| past \| 2 comments
5.		New FinFisher surveillance campaigns: Are internet providers involved? (welivesecurity.com)
		1 point by thomasweiser on Sept 21, 2017 \| past
6.		Talk: Functional Thinking for Fun and Profit (sriku.org)
		2 points by thomasweiser on Jan 18, 2016 \| past
7.		Elm for the Front End, Right Now (bendyworks.com)
		4 points by thomasweiser on July 7, 2015 \| past