Hillel is teaching a workshop

Formal methods, software history, chocolatiering. Easily nerd-sniped. Wrote Practical TLA+ (is.gd/ptlaplus). DMs open, ask questions! Newsletter: is.gd/zWfYjd

12669 followers

Lens Rankings

Crypto

#64	0.001740	Cosmos
#763	0.000141	Crypto Infrastructure
#1058	0.000063	Decentralized Autonomous Organizations (DAOs)
#1705	0.000001	Non-Fungible Tokens (NFTs)
#1817	0.000001	Crypto Political Economy
#1883	0.000001	Polkadot
#2194	0.000050	Crypto VC
#3546	0.000005	Decentralized Web
#4235	0.000001	Crypto Angels
#4285	0.000001	Crypto Journalists
#5228	0.000001	Public Goods Funding
#5376	0.000001	Decentralized Finance (DeFi)
#7040	0.000001	Ethereum
#7840	0.000001	Crypto Investing
#9493	0.000001	IDEO Founder Collective

Culture and Political Economy

#279	0.000419	The Long Now Foundation
#285	0.000528	Social Epistemology
#332	0.000343	Rationality
#346	0.000462	Progress Studies
#725	0.000245	Heterodox Academy
#974	0.000129	Arnold Kling's Fantasy Intellectual Teams
#1659	0.000001	Schumacher Circle
#1706	0.000001	Fair Vote
#1818	0.000001	Electronic Privacy Information Center (EPIC)
#1847	0.000001	Extinction Rebellion
#1889	0.000001	Existential Risks
#1929	0.000001	Claremont Institute
#1936	0.000001	Ecosocialism
#1969	0.000001	Sierra Clib
#2194	0.000001	350.org
#2329	0.000051	Ecomodernists
#2382	0.000001	Environmental Defense Fund
#2566	0.000041	Foundation Against Intolerance and Racism
#2930	0.000031	Persuasion Community
#3354	0.000019	Harper's Open Letter
#3571	0.000001	Environmental Journalists
#3868	0.000004	Anarachists
#4058	0.000018	Moderate Conservatism
#4094	0.000001	Bismark Analysis
#4311	0.000001	Climate Solutions
#4692	0.000001	RadicalxChange
#4987	0.000001	Populist Libertarians
#5245	0.000001	Works in Progress
#5681	0.000001	Effective Altruism
#5705	0.000001	Black Lives Matter
#6351	0.000001	EFF
#8452	0.000001	Foundation for Individual Rights in Education (FIRE)
#9403	0.000001	Degrowth

Software Engineering

#295	0.000424	Zig
#1825	0.000001	Rust

Venture Capital

#1115	0.000127	A16Z
#1385	0.000015	Y Combinator
#1685	0.000001	Standard Crypto
#1742	0.000001	Founders Fund
#2177	0.000001	Accel
#2567	0.000001	Sequioa
#3693	0.000001	Bessemer
#4047	0.000001	My Climate Journey
#4240	0.000001	Index Ventures
#4282	0.000001	Sutter Hill Ventures
#4648	0.000001	Benchmark Capital
#4871	0.000001	Homebrew
#5764	0.000001	Village Global
#5982	0.000001	Initialized Capital
#6948	0.000001	Khosla Ventures

Journalism

#1427	0.000100	The Intercept
#1701	0.000072	Foreign Policy
#2045	0.000001	The Information
#2331	0.000052	The Dispatch
#2571	0.000001	Stat News
#2864	0.000014	Palladium Magazine
#2904	0.000001	The Verge
#3001	0.000001	OANN
#3008	0.000001	Newsmax
#3521	0.000001	The Economist
#4113	0.000001	CNBC
#4191	0.000001	The Daily Beast
#4266	0.000023	Ars Technica
#5027	0.000001	Wired
#5404	0.000001	Financial Times
#6010	0.000001	BuzzFeed
#6622	0.000001	The Los Angeles Times
#7489	0.000001	VICE
#7636	0.000002	Techcrunch
#7825	0.000005	The New York Post
#8490	0.000013	The Atlantic
#9865	0.000001	Wall Street Journal
#9901	0.000001	Recode

Think Tanks

#1701	0.000072	Niskanen Center
#2111	0.000001	RAND Corporation
#2164	0.000001	Belfer Center
#2359	0.000001	Urban Institute
#2585	0.000001	Heritage Foundation
#3033	0.000001	Cato Institute
#4058	0.000001	Atlantic Council
#4220	0.000001	Asia Society Policy Institute
#4390	0.000022	Mercatus Center
#5098	0.000023	American Enterprise Institute
#5098	0.000023	National Bureau of Economic Research
#5406	0.000001	Berggruen Institute
#5625	0.000011	Hoover Institution
#5849	0.000019	Council on Foreign Relations
#6423	0.000001	Earth Institute
#7208	0.000001	Columbia SIPA Center for Energy Policy
#9248	0.000001	Hudson Institute
#9304	0.000001	Eurasia Group
#9378	0.000001	Peterson Institute for International Economics

Science

#2239	0.000001	Intergovernmental Panel on Climate Change (IPCC)
#2635	0.000001	Philosophy Twitter
#4392	0.000001	Epidimiology Twitter
#6402	0.000001	Epidemiology Journalism
#9198	0.000001	Biotech

Automatically Detected Communities