Sign in

Heath

@heathhenley.dev
332 followers 1.7K following 489 posts

Señor Application Engineer at a small sonar shop. Writing about things here: heathhenley.dev

PostsRepliesMedia
Heath @heathhenley.dev · 27/09/2026
I feel like the probability of accidentally wearing an article of clothing inside out or backwards rises exponentially after college age
000
Reposted by Heath
Bob Nystrom @stuffwithstuff.com · 29/01/2026
Forgive me, I wrote a thing about AI: journal.stuffwithstuff.com/2026/01/24/t...
journal.stuffwithstuff.com
The Value of Things – journal.stuffwithstuff.com
88311
Heath @heathhenley.dev · 26/08/2026
Cleaning out our office at work, we’re moving down the road - found these relics
Physical boxes for win7 and visual studio upgrades
030
Heath @heathhenley.dev · 30/05/2026
Just updated a django project to python 3.14...man pep758 is really confusing the agents (allows except expressions without parentheses) peps.python.org/pep-0758/
010
Heath @heathhenley.dev · 28/05/2026
There are a lot of valid criticisms of LLMs with what’s going on the world right now and how they’re being sold. That said, I read posts dunking on them with the counting letters as an advertisement that you have not looked into how they work at all.
000
Heath @heathhenley.dev · 25/05/2026
That’s one way to lighten up text book a bit…
Screenshot from math textbook, with inset quote from the opening paragraph of Alice’s Adventures  in wonderland: “…what is the use of a book…without pictures or conversation”
010
Heath @heathhenley.dev · 24/05/2026
If you've seen the Numberphile video about the red/black knight game on the spiral board making cool patterns (like the pic below) I made a little tool to explore them: heathhenley.dev/knight-spira...
An image made by places red / blue knights on a spiral grid. Each knight is placed in turn on the lowest spiral index available to it (not being attacked by the opposite color)
100
Heath @heathhenley.dev · 22/05/2026
I started to study some real (heh) math for funsies… realizing that despite a PhD in engineering and years working in a tech co... I don’t actually know math lol Only very beginning stuff, building the reals from rationals, proving a bunch of stuff taken for granted my whole life, etc But... 🧵
120
Reposted by Heath
Ben Orchard @raehik.bsky.social · 21/05/2026
me if i was a tree
cropped screenshot from Explaining Binomial Heaps (1999)

(diagram of a binary tree)
(b) topped loser tree
1203
Heath @heathhenley.dev · 12/05/2026
anyone else worried that *we* might be “just a bunch of matrix multiplications”?
000
Reposted by Heath
Annie Sexton @anniesexton.com · 11/05/2026
For anyone else who feels conflicted about AI and afraid to talk about it: I wrote this for you. Obviously these are just my opinions, but I hope this helps at least one person. annies-brain.offprint.app/a/3ml6zdf5f5...
annies-brain.offprint.app
Stuck in the middle: Being an engineer & artist in the AI era | Annie Sexton | Offprint
I'm an AI skeptic, through and through. But I also voluntarily use AI nearly every day. So naturally, you might be asking: what the heck?
2315632
Heath @heathhenley.dev · 30/04/2026
one should not feel bad about obtaining pdfs of scientific papers by sketchy means --> that system is broken af one should feel bad about obtaining books by sketchy means though --> shame
000
Heath @heathhenley.dev · 25/04/2026
I heard 3blue1brown call activation functions “squishification functions” years ago and since I’ve never been able to stop calling them that in my head
000
Heath @heathhenley.dev · 25/04/2026
using LLMs in software starves one part of me; feeds another - weird feeling I’m objectively more valuable / productive now - the “builder” in me loves this, it’s like a drug almost on the other hand, it’s kind of empty feeling - and something I cared about a lot doesn’t really matter any more
110
Reposted by Heath
Bryan Cantrill @bcantrill.bsky.social · 12/04/2026
The peril of laziness lost bcantrill.dtrace.org/2026/04/12/t...
bcantrill.dtrace.org
The peril of laziness lost | The Observation Deck
427887
Heath @heathhenley.dev · 06/04/2026
Just booted up and old desktop - it’s running Ubuntu 14 and chrome 46 😬, got some upgrading to do I guess…
010
Heath @heathhenley.dev · 13/03/2026
“Moving weird” is very risky after age 30
001
Heath @heathhenley.dev · 12/02/2026
There is no cow level!
000
Reposted by Heath
Theo Sanderson @theo.io · 08/02/2026
I made a map of 3.4 million Bluesky users - see if you can find yourself! bluesky-map.theo.io I've seen some similar projects, but IMO this seems to better capture some of the fine-grained detail
bluesky-map.theo.io
Bluesky Map
Interactive map of 3.4 million Bluesky users, visualised by their follower pattern.
66572502154
Reposted by Heath
Eric @esb.lol · 14/01/2026
as a lamp guy, big light people confound me
4572
Reposted by Heath
Jen Gentleman @jenmsft.bsky.social · 04/01/2026
Oh, you like cloning? That makes two of us
1326338
Heath @heathhenley.dev · 03/01/2026
Just finished a re-read of "Story of Your Life and Others". One of my favorite short story collections ever, last read it probably about a decade ago and despite that, some parts of the stories stuck with me. It was cool to get to read them again given how I've changed and what I'd forgotten.
110
Heath @heathhenley.dev · 01/01/2026
If you asked me to guess what my most productive day was in 2025 (in terms of commits) I would never have guessed Monday! 🤯 My year in: - Books: www.goodreads.com/user/year_in... - Code: git-wrapped.com/profiles/Hea... (source of this image) - Everything else: heathhenley.dev/posts/2025-s...
Summary of github stats for 2025
000
Reposted by Heath
David Buchanan @retr0.id · 28/12/2025
📎 it looks like you're challenging the status quo. have you considered that this will make the status quo very sad? look it's crying now
013713
Reposted by Heath
David Buchanan @retr0.id · 24/12/2025
there's vomit stderr already, claude's spaghetti he's nervous, but assures it's production ready
314011
Heath @heathhenley.dev · 23/12/2025
Here we go! Took a long break again, been mostly donating to the climbing gym every month - but definitely missed it.
Climbing shoes and chalk bag
030
Reposted by Heath
Matt Godbolt @matt.godbolt.org · 21/12/2025
Day 21: Summing integers? Compiler vectorises beautifully—8 at a time! Switch to floats? It refuses, doing each add individually. Same code, totally different output. Why? 🤔 xania.org/202512/21-ve... youtu.be/lUTvi_96-D8 #AoCO2025
xania.org
When SIMD Fails: Floating Point Associativity — Matt Godbolt’s blog
Why floating point maths doesn't vectorise like integers, and what to do about it
2223
Heath @heathhenley.dev · 20/12/2025
I recently speed up a cursor pagination query in postgres by 100x by switching the where clause from something like: where (a < c or (a = c and b < d)) to where (a, b) < (c, d) Maybe you db people are aware of this but something to keep in mind / check for when profiling and optimizing!
220
Heath @heathhenley.dev · 16/12/2025
Excuse me GitHub, your Microsoft is showing (charging for time on self hosted runners 🤯) resources.github.com/actions/2026...
010
Reposted by Heath
CBS News @cbsnews.com · 13/12/2025
An active shooter was reported near Brown University's campus in Rhode Island, the university said Saturday. The suspect is still at large, officials said.
cbsn.ws
Active shooter reported at Brown University in Rhode Island
An alert sent by Brown University told students to lock doors, silence phones and stay hidden until further notice.
055
Heath @heathhenley.dev · 12/12/2025
Ok at the risk of sounding like a crazy person...I feel like the input for day 12 of #AdventOfCode looks suspiciously like a hexdump, and the bytes mostly map to printable chars if you take them as hex values - but I wasn't able make anything of it I think there's an xmas easter egg in there maybe!
120
Heath @heathhenley.dev · 12/12/2025
Big thanks to @was.tl for all the work and creative energy you put into these puzzles!
030
Heath @heathhenley.dev · 12/12/2025
LOL I did this
000
Reposted by Heath
Austin L. Ray @austinlouisray.bsky.social · 11/12/2025
I wrote an important essay that will improve your holiday travel if you follow its very specific instructions: airportbeer.selfhelpartpublishingempire.com
airportbeer.selfhelpartpublishingempire.com
Drinking The Largest Beer At The Airport Makes Everything Better
An essay by Austin L. Ray
1312024
Heath @heathhenley.dev · 11/12/2025
you must think about work and not about how to solve part 2 you must think about work and not about how to solve part 2 you must think about work and not about how to solve part 2 you must think about work and not about how to solve part 2
140
Reposted by Heath
garygrady.bsky.social @garygrady.bsky.social · 10/12/2025
Day 10: Factory,Manual Munchies #AdventOfCode
1192
Heath @heathhenley.dev · 05/12/2025
I just introduced a race trying condition to fix a race condition 🤦‍♂️
000
Heath @heathhenley.dev · 05/12/2025
Someone should make a chatgpt wrapper for devs that's condescending and randomly sometimes closes your question as duplicate / off topic - you know, for those of use who grew up with stack overflow
011
Heath @heathhenley.dev · 05/12/2025
Going to start putting all the advent of code stuff under this one post I think - I feel pretty loud with these
250
Reposted by Heath
OCaml @ocaml.org · 04/12/2025
dlvr.it
Performance Pitfalls: Tales From a Python/OCaml Codebase - Emma Jin - FUN OCaml 2025
Performance Pitfalls: Tales From a Python/OCaml Codebase Emma Jin (Semgrep) ABSTRACT Semgrep is a tool that enables developers to search their code for security vulnerabilities, built with an OCaml engine and a Python frontend. This has c...
021
Heath @heathhenley.dev · 04/12/2025
I've completed "Printing Department" - Day 4 - Advent of Code 2025 #AdventOfCode adventofcode.com/2025/day/4
adventofcode.com
Day 4 - Advent of Code 2025
130
Heath @heathhenley.dev · 03/12/2025
Had the idea right away but mega struggles getting it implemented correctly in ocaml for part 2, just couldn't get it out I almost switched to get the star but not yet! I've completed "Lobby" - Day 3 - Advent of Code 2025 #AdventOfCode adventofcode.com/2025/day/3
adventofcode.com
Day 3 - Advent of Code 2025
161
Heath @heathhenley.dev · 02/12/2025
Wasn't pretty but I still got a couple internet stars... I've completed "Gift Shop" - Day 2 - Advent of Code 2025 #AdventOfCode adventofcode.com/2025/day/2
adventofcode.com
Day 2 - Advent of Code 2025
130
Heath @heathhenley.dev · 01/12/2025
Yay or nay on checking generated files (like clients for protobuf msgs) in version control? Vs just having the stubs and generating them with protoc as part of building
000
Heath @heathhenley.dev · 01/12/2025
It's that time of year again! I've completed "Secret Entrance" - Day 1 - Advent of Code 2025 #AdventOfCode adventofcode.com/2025/day/1
adventofcode.com
Day 1 - Advent of Code 2025
130
Reposted by Heath
Stonkers @stonkers.bsky.social · 30/11/2025
fighting for my life against the persistent and insistent intrusive thought
my hand holding a huge 24.5 fl oz can of graza olive oil. the can has a tab top lid exactly like a can of seltzer
812070284
Heath @heathhenley.dev · 26/11/2025
I found a weird case this week where adding a LIMIT to a query made it slower… In short - the planner was picking a less selective index (on a single col) when the LIMIT was included, so that it had to filter a lot of rows instead of just using the “good” index (on all the cols in the where).
110
Heath @heathhenley.dev · 26/11/2025
One stupid thing you can do: have an ack deadline for a pub/sub msg that's shorter than the time it takes your service to process it You'll ddos your own service, be confused for a bit, and then just feel like a silly goose Or I suspect that is what would happen. I would never do that of course...
000
Reposted by Heath
Eric Wastl @was.tl · 22/10/2025
Hello, friends! After 10(!) years of #AdventOfCode, I've made some changes to preserve my sanity: there will be 12 days of puzzles each December (still starting Dec 1) and there is no longer a global leaderboard. Read more: adventofcode.com/2025/about#f... adventofcode.com/2025/about#f...
51612119
Heath @heathhenley.dev · 25/11/2025
you yeet 13k lines of AI slop at them and be met with grace and candor... but I would still recommend exercising extreme caution before ever implying that the ocaml std lib docs are lacking 😀 #thetypesarethedocs
151