thomasweiser's submissions

1.		Designing a Memory System for LLM-Based Agents (zby.github.io)
		2 points by thomasweiser 15 hours ago \| past \| discuss
2.		Martin Kleppmann Prediction: AI will make formal verification go mainstream (kleppmann.com)
		3 points by thomasweiser 4 months ago \| past \| 1 comment
3.		A Plea for Sober AI (dbreunig.com)
		2 points by thomasweiser on May 19, 2024 \| past
4.		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
5.		The Future of Text (Book) (thefutureoftext.org)
		3 points by thomasweiser on Dec 2, 2020 \| past \| 2 comments
6.		New FinFisher surveillance campaigns: Are internet providers involved? (welivesecurity.com)
		1 point by thomasweiser on Sept 21, 2017 \| past
7.		Talk: Functional Thinking for Fun and Profit (sriku.org)
		2 points by thomasweiser on Jan 18, 2016 \| past
8.		Elm for the Front End, Right Now (bendyworks.com)
		4 points by thomasweiser on July 7, 2015 \| past