measurablefunc's submissions

1.		Leibniz on Binary: The Invention of Computer Arithmetic (2022) (direct.mit.edu)
		2 points by measurablefunc 8 hours ago \| past \| discuss
2.		Truth and Proof (1969) (scientificamerican.com)
		1 point by measurablefunc 3 days ago \| past \| 1 comment
3.		Evolution of Computers [video] (youtube.com)
		1 point by measurablefunc 5 days ago \| past \| discuss
4.		The 90-Degree Torque Problem [video] (youtube.com)
		1 point by measurablefunc 7 days ago \| past \| discuss
5.		The undecidability of probabilistic planning (2001) (sciencedirect.com)
		1 point by measurablefunc 9 days ago \| past \| discuss
6.		Automatic Differentiation from Scratch (2023) (esciencecenter.nl)
		6 points by measurablefunc 11 days ago \| past \| discuss
7.		A16Z-backed super PAC is targeting Alex Bores (techcrunch.com)
		6 points by measurablefunc 13 days ago \| past \| 2 comments
8.		Carl Sagan's 1994 "Lost" Lecture: The Age of Exploration [video] (youtube.com)
		3 points by measurablefunc 13 days ago \| past \| discuss
9.		When Not to Learn: Risk-Sensitive Abstention in Bandits with Unbounded Rewards (alphaxiv.org)
		1 point by measurablefunc 19 days ago \| past
10.		To Save Everything Click Here: The Folly of Technological Solutionism (2016) [video] (youtube.com)
		4 points by measurablefunc 21 days ago \| past
11.		Dealing with logical omniscience: Expressiveness and pragmatics (2011) (sciencedirect.com)
		1 point by measurablefunc 22 days ago \| past
12.		Constraints on physical reality arising from a formalization of knowledge (2017) (alphaxiv.org)
		2 points by measurablefunc 22 days ago \| past \| 4 comments
13.		Mark Mills on the Roaring 20s: AI, Energy, and the Next Commodity Boom [video] (youtube.com)
		1 point by measurablefunc 23 days ago \| past
14.		Calculation of the Digits of π by the Spigot Algorithm of Rabinowitz and Wagon (cut-the-knot.org)
		1 point by measurablefunc 26 days ago \| past
15.		Provable Failure of Language Models in Learning Majority Boolean Logic (alphaxiv.org)
		2 points by measurablefunc 26 days ago \| past
16.		The central dogma of molecular biology (2011) [video] (youtube.com)
		2 points by measurablefunc 27 days ago \| past
17.		The Three Projections of Doctor Futamura (2009) (sigfpe.com)
		3 points by measurablefunc 27 days ago \| past
18.		Governance in the Age of AI, Nuclear Threats, and Geopolitical Brinkmanship [video] (youtube.com)
		1 point by measurablefunc 32 days ago \| past
19.		Why Every Brain Metaphor in History Has Been Wrong [video] (youtube.com)
		1 point by measurablefunc 36 days ago \| past
20.		Technology and Wealth: The Straw, the Siphon, and the Sieve [video] (youtube.com)
		2 points by measurablefunc 37 days ago \| past
21.		The Identity of Indiscernibles (1952) (jstor.org)
		2 points by measurablefunc 45 days ago \| past
22.		The smartphone has become the modern-day hypodermic needle (2021) (thejournal.ie)
		3 points by measurablefunc 46 days ago \| past
23.		The FBI Wants Al Surveillance Drones with Facial Recognition (theintercept.com)
		5 points by measurablefunc 52 days ago \| past
24.		Conant and Ashby's "Good Regulator Theorem" (2021) (gokererdogan.github.io)
		2 points by measurablefunc 55 days ago \| past
25.		Automata, Languages and Machines (1976) (archive.org)
		3 points by measurablefunc 55 days ago \| past
26.		Unintentional Type Theory (ncatlab.org)
		1 point by measurablefunc 61 days ago \| past
27.		Early proofs of Hilbert's Nullstellensatz (2023) (arxiv.org)
		3 points by measurablefunc 62 days ago \| past
28.		Live cameras are tracking faces in New Orleans. Who should control them? (npr.org)
		2 points by measurablefunc 63 days ago \| past \| 2 comments
29.		Compute Trends Across Three Eras of Machine Learning (2022) (arxiv.org)
		2 points by measurablefunc 66 days ago \| past
30.		The Automation Charade (2018) (logicmag.io)
		2 points by measurablefunc 66 days ago \| past
		More