not your average end user

from a conversation with Daniel after https://sflean.group/ pytorch -> triton -> tritonIR -> ptx -> sass or eager-mode: pytorch -> prebuilt cuda kernels jax -> jaxpr -> xla -> llvm ir -> ptx -> sass can’t have if statements in jax - branches are ?

First-in-human quantum entanglement imaging PET scan observing entanglement on a 68Ga - observed annihilation photons EML: All elementary functions from a single binary operator eml(x, y) = e^x - ln(y) gives you all the cos, sin, tan cute. practical?

Pulled from a model and not double-checked.

Thaler: Proofs, Arguments, and Zero-Knowledge (Textbook) Avigad, de Moura, Kong, Ullrich: Theorem Proving in Lean 4

I ported Flypitch from Lean 3 to Lean 4 over the course of approximately a week, mostly unattended Claude.

Repo: ~/learning/gpucc Hardware: AMD EPYC (SEV-SNP), Intel Xeon (TDX), NVIDIA H100/A100 My hardware: RTX 6000 (96gb) What is Confidential Computing?

Book: Introduction to Algorithms – Cormen/Leiserson/Rivest/Stein (CLRS) Book: Structure and Interpretation of Computer Programs – Abelson/Sussman (SICP) Course: MIT 6.006 Introduction to Algorithms (YouTube) – Demaine Course: MIT 6.824 Distributed Systems…

double slit stern-gerlach delayed choice cosmic scale delayed choice (wheeler’s)

Implementing passkeys has increased the complexity of login flows.

Figured I should start keeping one: Animenz - Anime arrangements Cateen カティン - lara6683 - videogame covers Caliko - games

https://www.seangoedecke.com/good-system-design/ https://www.stephendiehl.com/posts/ https://leni.sh/

Hefferon: Linear Algebra (Textbook, 4th ed)

Transformer visualizations: https://bbycroft.net/llm https://poloclub.github.io/transformer-explainer/ Autograd / miniGPT by hand (blog roadmap) CS336 @ Stanford Transformers from scratch - sensibly written, broken down by topic Provable optimal transport…

Pulled from a model and not double-checked: 100,000-50,000bce spoken language ~10000bce agriculture, animal domestication ~65000bce la pasiega cave paintings ~3500bce bronze ~3300bce early swords ~3200bce written language ~3000bce wheel ~1500bce iron ~150…

Rationalism has certainly been present in my high school and college friend groups: initially with HPMOR and then later with LessWrong posts in the DMs.

https://gallium.inria.fr/blog/intel-skylake-bug/ Skylake series of Intel processors had a hardware bug when using certain registers in tight loops, with hyperthreading enabled.

I got curious how Stable Diffusion works.

Curious, once again, what voice to use where.

Bitcoin The First One Proof of Work Has a scripting language called Script Lightning Ethereum Proof of Stake EVM opcodes see my notes zksync Optimism Monero Privacy-preserving.

Book: Understanding Cryptography – Paar/Pelzl Course: Introduction to Cryptography (YouTube) – Paar Website: zkhack.dev Course: Cryptography 1 - Boneh Exercises: Cryptopals Course: Applied Cryptography tweet Quantum computers break the hardness assumption…

threshold secret sharing: you have multiple shards of a secret given enough of them, you can reconstruct the whole secret sample implementation: github/hashicorp/vault/shamir.go multisig: you need multiple transactions from valid parties to execute someth…

Execution model source: https://www.evm.codes/about stack based computer all instructions take args from stack except PUSHx sequential execution JUMP / JUMPI REVERT execution context: data regions variables (program counter) current caller (sender) callee…

Arkworks has pretty unergonomic API but is the most used.

In January 2022, I moved to Berlin and led a team of 5 to build: A VR puzzle competition connected to a real-life fishtank via submersible webcam video stream designed to teach binary reverse engineering Why did I build this?

i’m excited about it!

From contributing to Stepmania: git pull --rebase upstream main git push origin main # delete local branch git branch -d foo/bar # delete remote branch git push origin --delete foo/bar # updating personal fork git pull --rebase upstream main # pull mo…

… is hard, because it’s parenting.

(target audience: students) Depends on context, but roughly sortable into 3 categories: Independent (you, by yourself) Industry (you, with a company) Academic (you, with a professor) These different sectors have different incentives.

For UIUCTF 2021, I led a small group of colleagues to design and deploy a CTF challenge wherein competitors had to fool an image classifier based on resnet18.

git clone https://github.com/radareorg/radare2 && cd radare2 && sys/install.sh

# tl;dr it lets you make a clean disposable python environment # while in a project directory python3 -m venv env ls .

(continuing the theme of “me writing posts for friends I’m teaching to code”) How to ask technical questions artfully: https://www.google.com/search?

Audience: friends I’m teaching to code.

A friend recently developed tendonitis from typing/piano/Overwatch 12-14 hrs/day and I sent them my list of resources, collected over many years of me worrying about long-term effects of computer usage.

Files This challenge had 0 solves, probably because it was for a smaller CTF and had a difficult logical jump.

this post was started 6 February, finished 9 July, and is backdated Been a while since the last post!

I spent a disproportionately large amount of time solving the first portion of this binary, because I was having fun learning things via it.

Ian Klatzco tl;dr: How to make a successful security club Create an easy-to-access chatroom (Discord) Set up a CTF framework like CTFd Make extremely easy challenges Make slides, hand them out at the beginning Present on them for 15m, walk around and help…

gdb-peda$ help catch Set catchpoints to catch events.

Installed a bunch of dependencies from https://github.com/stepmania/stepmania/wiki/Compiling-StepMania.

Manners of getting input.

audience: sigpwny members after the meeting where we ran it. very tutorial-y would probably be very useful for students trying to do CS461/ECE422’s printf activity, though that’s 32-bit sigpwny meets 7pm thursday eceb 3013; we can’t help you with your sec…

A few PEDA commands are undocumented (on the first page of the GitHub repo, there’s more useful help in help).

According to the ABI, the first 6 integer or pointer arguments to a function are passed in registers.

Warning: very stream-of-thought-y.

I needed this a few times during ECE411 — Computer Organization and Design at UIUC.

I wanted to learn how to write a CPU emulator, because it seemed like fun!

I’m digging around into how pwntools is packaged.

I have this conversation with a lot of friends so I figured I’d collect my favorite resources somewhere so that I can just pass around a list.

Here are some things I learned during my time in ECE385 (FPGA Laboratory) and ECE411 (CPU Organization & Design) at UIUC.