Heath
@heathhenley.dev
Señor Application Engineer at a 10 person sonar shop. Former ChE, now generalist dev. Puzzles, building random stuff, hiking, climbing, learning, bad jokes and good beer.
Writing about things here: https://heathhenley.dev
Writing about things here: https://heathhenley.dev
I just introduced a race trying condition to fix a race condition 🤦♂️
December 5, 2025 at 7:21 PM
I just introduced a race trying condition to fix a race condition 🤦♂️
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
December 5, 2025 at 7:20 PM
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
Going to start putting all the advent of code stuff under this one post I think - I feel pretty loud with these
December 5, 2025 at 2:18 PM
Going to start putting all the advent of code stuff under this one post I think - I feel pretty loud with these
Reposted by Heath
I've completed "Printing Department" - Day 4 - Advent of Code 2025 #AdventOfCode adventofcode.com/2025/day/4
Day 4 - Advent of Code 2025
adventofcode.com
December 4, 2025 at 1:43 PM
I've completed "Printing Department" - Day 4 - Advent of Code 2025 #AdventOfCode adventofcode.com/2025/day/4
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
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
Day 3 - Advent of Code 2025
adventofcode.com
December 3, 2025 at 1:53 PM
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
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
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
I've completed "Gift Shop" - Day 2 - Advent of Code 2025 #AdventOfCode adventofcode.com/2025/day/2
Day 2 - Advent of Code 2025
adventofcode.com
December 2, 2025 at 6:43 AM
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
I've completed "Gift Shop" - Day 2 - Advent of Code 2025 #AdventOfCode adventofcode.com/2025/day/2
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
Vs just having the stubs and generating them with protoc as part of building
December 1, 2025 at 3:01 PM
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
Vs just having the stubs and generating them with protoc as part of building
It's that time of year again!
I've completed "Secret Entrance" - Day 1 - Advent of Code 2025 #AdventOfCode adventofcode.com/2025/day/1
I've completed "Secret Entrance" - Day 1 - Advent of Code 2025 #AdventOfCode adventofcode.com/2025/day/1
Day 1 - Advent of Code 2025
adventofcode.com
December 1, 2025 at 6:49 AM
It's that time of year again!
I've completed "Secret Entrance" - Day 1 - Advent of Code 2025 #AdventOfCode adventofcode.com/2025/day/1
I've completed "Secret Entrance" - Day 1 - Advent of Code 2025 #AdventOfCode adventofcode.com/2025/day/1
Reposted by Heath
fighting for my life against the persistent and insistent intrusive thought
November 30, 2025 at 1:47 AM
fighting for my life against the persistent and insistent intrusive thought
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).
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).
November 26, 2025 at 6:27 PM
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).
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).
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...
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...
November 26, 2025 at 1:35 AM
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...
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...
Reposted by Heath
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...
adventofcode.com/2025/about#f...
adventofcode.com/2025/about#f...
October 22, 2025 at 2:32 AM
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...
adventofcode.com/2025/about#f...
adventofcode.com/2025/about#f...
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
but I would still recommend exercising extreme caution before ever implying that the ocaml std lib docs are lacking 😀
#thetypesarethedocs
November 25, 2025 at 4:41 PM
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
but I would still recommend exercising extreme caution before ever implying that the ocaml std lib docs are lacking 😀
#thetypesarethedocs
This website is awesome, brings back some memories
xslt.rip
And also used xslt at some point in the past to convert a user manual into windows help format or something…RIP
xslt.rip
And also used xslt at some point in the past to convert a user manual into windows help format or something…RIP
https://xslt.rip
<?xml version="1.0" encoding="UTF-8"?>
<?xml-stylesheet href="/index.xsl" type="text/xsl"?>
<html>
<head>
<title>XSLT.RIP</title>
</head>
<body>
<h1>If you're reading this, XSLT was kill...
xslt.rip
November 19, 2025 at 2:03 PM
This website is awesome, brings back some memories
xslt.rip
And also used xslt at some point in the past to convert a user manual into windows help format or something…RIP
xslt.rip
And also used xslt at some point in the past to convert a user manual into windows help format or something…RIP
If you request that people call you doctor and you don’t work in a hospital or university you might be an actual clown, pls check
November 18, 2025 at 6:20 PM
If you request that people call you doctor and you don’t work in a hospital or university you might be an actual clown, pls check
I’m like 98% sure that anytime you see data on a map, GDAL was involved in the stack, probably in multiple places
November 10, 2025 at 3:24 PM
I’m like 98% sure that anytime you see data on a map, GDAL was involved in the stack, probably in multiple places
Remember, in software development: always, no matter the circumstances or conditions - choose to be pragmatic over dogmatic.
November 7, 2025 at 8:15 PM
Remember, in software development: always, no matter the circumstances or conditions - choose to be pragmatic over dogmatic.
It drives me crazy that both dropbox and google drive fail silently if you try to download a folder with too many files. Both will literally give you zip with the first "x" amount of the data downloaded and say nothing...
If you're going to share a lot of files on either, zip them first...
If you're going to share a lot of files on either, zip them first...
September 21, 2025 at 6:03 PM
It drives me crazy that both dropbox and google drive fail silently if you try to download a folder with too many files. Both will literally give you zip with the first "x" amount of the data downloaded and say nothing...
If you're going to share a lot of files on either, zip them first...
If you're going to share a lot of files on either, zip them first...
Reposted by Heath
⛴️ Autonomous vessels significantly enhance the quality and efficiency of bathymetric #data collection.
But their adoption and operation must be balanced with #safety and sustainability at sea.
Read more about how our partner FarSounder help makes that possible ➡️ https://shorturl.at/ftMwQ
But their adoption and operation must be balanced with #safety and sustainability at sea.
Read more about how our partner FarSounder help makes that possible ➡️ https://shorturl.at/ftMwQ
July 14, 2025 at 8:02 AM
⛴️ Autonomous vessels significantly enhance the quality and efficiency of bathymetric #data collection.
But their adoption and operation must be balanced with #safety and sustainability at sea.
Read more about how our partner FarSounder help makes that possible ➡️ https://shorturl.at/ftMwQ
But their adoption and operation must be balanced with #safety and sustainability at sea.
Read more about how our partner FarSounder help makes that possible ➡️ https://shorturl.at/ftMwQ
I just read that Shannon Hoon (Blind Melon) sang co-lead vocals on “Don’t Cry” by Guns N’ Roses 🤯
September 8, 2025 at 9:16 PM
I just read that Shannon Hoon (Blind Melon) sang co-lead vocals on “Don’t Cry” by Guns N’ Roses 🤯
Sometimes privacy is too much to ask for
August 28, 2025 at 2:21 PM
Sometimes privacy is too much to ask for
Was sliced bread really that big of a deal?
August 16, 2025 at 12:26 PM
Was sliced bread really that big of a deal?
I think clothing companies are beginning to overcorrect for the “women’s clothes never have pockets” issue - Maddy’s clothes now all have like 6 pockets - she just got a hiking shirt and found a “secret” pocket in it lol
August 16, 2025 at 10:10 AM
I think clothing companies are beginning to overcorrect for the “women’s clothes never have pockets” issue - Maddy’s clothes now all have like 6 pockets - she just got a hiking shirt and found a “secret” pocket in it lol