nhuck

@nhuck.bsky.social

bit shuffler and theorem prover

I am really enjoying this book "How to Read a Book" by Mortimer Adler. In it, he discusses that proper reading of suitable material should involve more than acquisition of new information. Proper reading involves struggling to understand new concepts and applying those new concepts to new and old.

Bild

More animations from last night! These are combinations of the sphere embedding R^2 -> R^3 with different wave patterns R^2 -> [-1, 1] scaling the radius

I bought a used copy of Blaise Pascal's book. I found a bonus item inside! Someone's homework from 60 years ago! I hope they got an A!

Bild

My computer kept overheating while rendering Blender animations. Instead of giving up, I built a GPU-enabled serverless render farm on runpod + GCS. It took a few weekends to create the full pipeline. I present to you: a very mediocre animation of the moon's orbit.

BildBildBild

This book asserts that invention is an evolutionary process created by market and social factors. This process expresses itself on the medium of humans like a painter expresses himself on a canvas.

Bild

I'm reading about petri nets, they're super cool! If you can understand the 2nd example, you'll understand why they're cool. The idea is that a square cannot execute until all incoming circles contain dots. Incoming dots must equal outgoing dots. Super useful for distributed computing!

BildBildBildBild

I significantly improved the printing process for my IETF RFC books! They are much easier to read now! Check out the new vs old.

BildBildBild

I'm working on scaling my IETF RFC printing process! Starting with a TUI application for attaching formatting data to text files. I believe that all IETF RFCs should be available in a high quality hardcover book format!

BildBild

I recently set up a NAS! I reflashed the eMMC with Debian, added two HDDs with ZFS RAID 1, and two SSDs for ZFS cache. It has been working well so far!

Bild

I visited the Connections Museum in Seattle. I'd highly recommend it to anyone who likes computers, electronics, or telephony! All of the equipment works and the experience is very interactive! Connections Museum g.co/kgs/qK3mSwp

BildBildBildBild

Including an audit function in your data structures can improve software reliability by catching bugs closer to the source. For a linked list, the audit function would check the nodes links and the length of the list. It is super helpful to use auditable data structures in debug builds!

This book has interesting ideas about the nature of value. The first chapter is super interesting for a book from 1930! It claims that money is only the third type of value and that the true highest form of value is human experience.

BildBildBild

Interactions with financial institutions are so easy, but taxes are like pulling teeth. I opened two IRAs and rolled a 401k into them in 20 minutes, but I have no idea how to file my taxes this year. The tax code should be written by computer programmers in a DSL.

mutuals pls :3 computers - rust + C - embedded - FPGA + GPU - Linux - OS + kernels - Compilers + assembly math - linear algebra - differential geometry - computational algebra - knot theory real science - CRISPR + genetics - microfluidics - photolithography - flow cytometry - biology #promosky