Philip Zucker (@sandmouth) 's Twitter Profile
Philip Zucker

@sandmouth

Computer Friend, Not a Bird

ID: 2254136898

linkhttps://www.philipzucker.com calendar_today19-12-2013 22:33:20

5,5K Tweet

1,1K Followers

1,1K Following

Philip Zucker (@sandmouth) 's Twitter Profile Photo

[New Blog Post] Verified Assembly 2: Memory, RISC-V, Cuts for Invariants, and Ghost Code philipzucker.com/asm_verify2/ #ghidra #assembly

Philip Zucker (@sandmouth) 's Twitter Profile Photo

[New Blog Post] Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1 philipzucker.com/refinement_kdr… #types #smt Ranjit Jhala

Philip Zucker (@sandmouth) 's Twitter Profile Photo

[New Blog Post] Compositional Datalog on SQL: Relational Algebra of the Environment #datalog #database #sql philipzucker.com/compose_datalo…

Mate Soos (@soosmate) 's Twitter Profile Photo

The SAT Competition was won with an algorithm tuning framework, see p15 of [1]. Finally, an algorithm tuning framework that works! I tried doing it[2] and so did Hoos[3], but I like this the most [1] repositum.tuwien.at/handle/20.500.… [2] msoos.org/2019/06/crysta… [3] cs.ubc.ca/~hoos/Publ/Hoo…

The SAT Competition was won with an algorithm tuning framework, see p15 of [1]. Finally, an algorithm tuning framework that works! I tried doing it[2] and so did Hoos[3], but I like this the most

[1] repositum.tuwien.at/handle/20.500.…
[2] msoos.org/2019/06/crysta…
[3] cs.ubc.ca/~hoos/Publ/Hoo…
Adam Paszke (@apaszke) 's Twitter Profile Photo

Jeremy Howard We have some Pallas tutorials (docs.jax.dev/en/latest/pall…) and in particular a reference guide for Mosaic GPU (docs.jax.dev/en/latest/pall…). It is of course far from being comprehensive, but we're working on it. If you have questions you should also just reach out and we'll help :)

SIAM Activity Group on Dynamical Systems (@dynamicssiam) 's Twitter Profile Photo

"PySymmetry: A Sage/Python Framework for the Symmetry Reduction of Linear G-Equivariant Systems" (by Leon D. da Silva, Marcelo P. Santos): arxiv.org/abs/2509.19479

Aleksa Gordić (水平问题) (@gordic_aleksa) 's Twitter Profile Photo

New in-depth blog post time: "Inside NVIDIA GPUs: Anatomy of high performance matmul kernels". If you want to deeply understand how one writes state of the art matmul kernels in CUDA read along. (Remember matmul is the single most important operation that transformers execute

New in-depth blog post time: "Inside NVIDIA GPUs: Anatomy of high performance matmul kernels". If you want to deeply understand how one writes state of the art matmul kernels in CUDA read along.

(Remember matmul is the single most important operation that transformers execute
Adam Paszke (@apaszke) 's Twitter Profile Photo

Curious how to write SOTA performance Blackwell matmul kernels using MGPU? We just published a short step-by-step tutorial: docs.jax.dev/en/latest/pall… At each step, we show exactly what (small) changes are necessary to refine the kernel and the final kernel is just under 150 lines.

Philip Zucker (@sandmouth) 's Twitter Profile Photo

In honor of #racketcon I’ve bolted some quotation onto Knuckledragger github.com/philzook58/knu… . Might even be sound!

Philip Zucker (@sandmouth) 's Twitter Profile Photo

Doing some basic ZF style set theory is going way smoother than last time I tried. I guess all the infrastructure is paying off! #python #logic

Doing some basic ZF style set theory is going way smoother than last time I tried. I guess all the infrastructure is paying off! #python #logic