tosh's submissions | Hacker News

1.		Bitwuzla: Satisfiability Modulo Theories (SMT) Solver (github.com/bitwuzla)
		1 point by tosh 2 hours ago \| past \| discuss
2.		What you can do in a decade (twitter.com/swyx)
		1 point by tosh 2 hours ago \| past \| discuss
3.		Writing a C Compiler, in Zig (ar-ms.me)
		15 points by tosh 2 hours ago \| past \| 3 comments
4.		Notes on writing a voxel game in Dyalog APL (homewithinnowhere.com)
		3 points by tosh 4 hours ago \| past \| discuss
5.		How to Think about Parallel Programming: Not (Guy Steele Loop 2010) [video] (youtube.com)
		2 points by tosh 17 hours ago \| past \| 1 comment
6.		std::accumulate: Exploring an Algorithmic Empire (2016) (youtube.com)
		2 points by tosh 17 hours ago \| past \| discuss
7.		OpenAI: Workspace Agents for Business (openai.com)
		49 points by tosh 17 hours ago \| past \| 11 comments
8.		What Makes a Language Flourish? (5jt.com)
		4 points by tosh 18 hours ago \| past \| discuss
9.		How to program computers (kos) [video] (youtube.com)
		2 points by tosh 18 hours ago \| past \| discuss
10.		New Kind of Paper (2021) (mlajtos.mu)
		1 point by tosh 18 hours ago \| past \| discuss
11.		An Interview with Arthur Whitney (2004) (archive.org)
		2 points by tosh 1 day ago \| past \| 1 comment
12.		Making Interpreters Faster [video] (youtube.com)
		1 point by tosh 1 day ago \| past \| discuss
13.		Parrot is a C++ library for fused array operations using CUDA/Thrust (github.com/nvlabs)
		1 point by tosh 1 day ago \| past \| discuss
14.		How to Program Computers (fall.tr)
		1 point by tosh 1 day ago \| past \| discuss
15.		Stevan Apter (nsl.com) on Array Cast (2022) (arraycast.com)
		1 point by tosh 1 day ago \| past \| discuss
16.		I'm Writing Go Again (twitter.com/mitchellh)
		3 points by tosh 1 day ago \| past \| discuss
17.		Origins of J (github.com/kelas)
		3 points by tosh 2 days ago \| past \| discuss
18.		Performance in BQN versus C (mlochbaum.github.io)
		2 points by tosh 2 days ago \| past \| discuss
19.		The Interpretive Advantage [video] (youtube.com)
		1 point by tosh 3 days ago \| past \| discuss
20.		Vale Observability Metrics (withcaer.com)
		2 points by tosh 3 days ago \| past \| discuss
21.		Fast and Extensible Equality Saturation with Egg (sigplan.org)
		2 points by tosh 3 days ago \| past \| discuss
22.		Vale: A fast, safe, and easy programming language (vale.dev)
		4 points by tosh 3 days ago \| past \| discuss
23.		Some secret management belongs in your HTTP proxy (exe.dev)
		46 points by tosh 3 days ago \| past \| 13 comments
24.		Lil: A Scripting Language (beyondloom.com)
		5 points by tosh 3 days ago \| past \| discuss
25.		Is BQN Mathematics? (mlochbaum.github.io)
		4 points by tosh 3 days ago \| past \| 1 comment
26.		Five-year review of BQN design (mlochbaum.github.io)
		2 points by tosh 3 days ago \| past \| discuss
27.		Multiplying Points (2001) [pdf] (bitsavers.org)
		1 point by tosh 3 days ago \| past \| discuss
28.		The Complexity of Simplicity [video] (youtube.com)
		2 points by tosh 3 days ago \| past \| discuss
29.		Clojure: Transducers (clojure.org)
		153 points by tosh 4 days ago \| past \| 80 comments
30.		Anatomy of High-Performance Matrix Multiplication (2008) [pdf] (utexas.edu)
		36 points by tosh 4 days ago \| past \| 1 comment
		More

HN For You