iiinova — where your digital self keeps evolving

skyking @jkachmar.com · 04/09/2026

shit damn they got me good

skyking @jkachmar.com · 03/09/2026

adding concurrent state machine testing to my libhegel-based library was easier than i expected (the actual implementation was not so bad) and harder than i expected (getting the journal & rendering stuff to spit out something nice was fiddly)

230

skyking @jkachmar.com · 31/08/2026

do it or my credit card gets it!!!

150

skyking @jkachmar.com · 29/08/2026

and i’m done with anthropic

050

skyking @jkachmar.com · 26/08/2026

fuck yeah i love vancouver

4180

skyking @jkachmar.com · 26/08/2026

i’ve been thinking about this comment for the last few days and what rubs me the wrong way about the argument being made here is that it reads (to me) as: better things are only possible if certain people care to make it so, and anger is wrong because it makes people feel worse about their work.

> that’s… fine? if i’m angry enough about something that i’m expressing it directly in the workplace, then i want others to understand this even if it spoils their fun.

No I don’t think it’s fine. You’re not spoiling it for the people who could do something about it, but for coworkers who might not share that thinking.

> you do your colleagues (especially junior engineers) no favors by fostering an environment where we normalize everyone going along to get along.

If you keep working at a place where you disagree with the corporate direction and you are not in a position where you can change it it’s better for you to suck it up or change your place of work. Otherwise yes, you just create an awful situation for the people who do not mind that direction.

120

skyking @jkachmar.com · 25/08/2026

it just keeps getting worse the more you read btw!

Finally, in a set of analyses complementary to Study 1, we examined the role of subjective perceptions of group power on the dehumanization of Israelis. We observed that the more Palestinians felt that they were disadvantaged relative to Israelis, the less they blatantly dehumanized Israelis (see Table 3). Said another way, the more powerful Palestinians felt, the more they blatantly dehumanized Israelis (consistent with the link between subjective power perceptions and levels of dehumanization of Palestinians among Israelis).

We observed no evidence of moderation when we examined trust of Israelis (b = -.04, p = .42, 95% CI [-.14, .06], hope (b = .01, p = .84, 95% CI [-.08, .10], emotional hostility (b = .06, p = .19, 95% CI [-.03, .15], or parochial empathy (b = -.00, p = .92, 95% CI [-.10, .09]). On the other hand, there were marginally significant interaction effects on willingness to negotiate (b = -.09, p = .09, 95% CI [-.18, .01]) and willingness to sacrifice Israeli lives (b = .09, p = .07, 95% CI [-.01, .19]), and a significant interaction on group-based guilt (b = -.11, p = .02, 95% CI [-.20, -.01]. In all cases, the association between the outcome measure and blatant dehumanization was stronger the more powerless Palestinians perceived their group to be relative to Israelis.

030

skyking @jkachmar.com · 25/08/2026

the average IDF soldier was conscripted because his country is facing an existential threat you say? that’s so interesting, i wonder if perhaps anyone has studied domestic Israeli sentiment towards Palestinians in a way that could shed light onto this!

quoted excerpt below is from https://pmc.ncbi.nlm.nih.gov/articles/PMC5528981/

Israelis’ hostile orientation towards Palestinians was also expressed across the outcome measures: participants in our sample reported experiencing strong negative emotions towards Palestinians, exhibited relatively low willingness to negotiate, low support for concession making, high support for collective aggression, and strikingly high acceptance of civilian casualties. On average, participants indicated that they would be willing to kill 575 Palestinian civilians in order to save the life of one Israeli soldier wounded by a Palestinian militant. The median for this measure in our sample was 990 Palestinians, and the modal response was the maximum value allowed (i.e., 1000 Palestinians, selected by 49.9% of the sample).

120

skyking @jkachmar.com · 23/08/2026

seriously like a year or two ago things were pretty bad here regarding talking about ML & LLM stuff but outside of the peanut gallery of Extremely Annoying Guys it’s fine! too many of my professional peers sound like this and it’s impossible to take them seriously because of it.

2122

skyking @jkachmar.com · 23/08/2026

getting a lot of use out of this one lately!

060

skyking @jkachmar.com · 22/08/2026

oh, she uses grok for research on “controversial topics”?

0191

skyking @jkachmar.com · 20/08/2026

yeah, my frustration with IWYU is primarily the UX around how you extend & use it. no shade intended towards the IWYU developers, C++ is just a deeply fucked up ecosystem.

Plugging into existing build system

Typically there is already a build system containing the relevant compiler flags for all source files. Replace your compiler with include-what-you-use to generate a large batch of IWYU advice. Depending on your build system/build tools, this can take many forms, but for a simple GNU Make system it might look like this:

make -k CXX=include-what-you-use CXXFLAGS="-Xiwyu --error_always"
(The additional -Xiwyu --error_always switch makes include-what-you-use always exit with an error code, so the build system knows it didn't build a .o file. Hence the need for -k.)

Applying fixes

We also include a tool that automatically fixes up your source files based on the IWYU recommendations. This is also alpha-quality software! Here's how to use it (requires python3):

make -k CXX=include-what-you-use CXXFLAGS="-Xiwyu --error_always" 2> /tmp/iwyu.out
python3 fix_includes.py < /tmp/iwyu.out
If you don't like the way fix_includes.py munges your #include lines, you can control its behavior via flags. fix_includes.py --help will give a full list, but these are some common ones:

-b: Put blank lines between system and Google includes
--nocomments: Don't add the 'why' comments next to includes

040

skyking @jkachmar.com · 19/08/2026

substack is full of shit that must go hard if you’re a fucking idiot

Is The City Finished?

Sam Kahn | Castalia | 17th August 2026

For thousands of years, culture used to radiate outwards from the city. No longer. The rise of algorithmic recommendations and the pandemic may have led people to realise that “they didn’t have to depend on the city for much at all”. “The cultural claims of the city — its theatre, its music venues, its fashion, its literary centres — really may not matter for the distribution of cultural content as a whole” (1,300 words)

Since then, the city has recovered but mostly just as a status symbol. When New York Magazine runs pieces like “It Must Be Nice to Be a West Village Girl,” it may be true but the whiff of desperation is palpable — what New York is really doing is arguing that the old patterns still hold and that whatever lifestyle the village girls have isn’t just draining a trust fund somewhere but will matter ultimately for the country as a whole.

If I’m right about this, we really have passed into a fundamentally different social dynamic. The cultural claims of the city — its theater, its music venues, its fashion, its literary centers — really may not matter for the distribution of cultural content as a whole. At the moment this still hinges on professional tastemakers and they still to some extent treat the city as an incubator of talent, but if that shifts — and we seem really to be right on the line — then the cultural map shifts entirely.

For several thousand years, culture has worked in one way — radiating outwards from the city. This has if anything been exacerbated by industrial production and by the conception of the modern city as a cosmopolitan metropolis setting the tastes for the market as a whole. But if that just isn’t the underlying social dynamic anymore, then culture changes as well. It’s, at least for the time being, not the best news that culture is set by the here-comes-everybody dynamic of social media vitality and heavily manipulated by the tech companies and their algorithms, but it’s what we have. If the city isn’t magically restored to its pride of place, culturally not just economically, then those who are interested in high culture and cosmopolitanism really will have to adapt to the web. It may be a long time before the whole cosmopolitan apparatus — plays, presses, scenes — reaches the web, but for those who care about this we have to do the best with what we have.

290

skyking @jkachmar.com · 19/08/2026

i think i’m okay with this

tweet like bluesky user jkachmar.com

Google AI Overview:

Just spent four hours debugging a script that was failing because of a missing semicolon, and now my brain feels like a sounding rocket that detonated on the pad. Time to close the IDE and pretend computers were never invented.

110

skyking @jkachmar.com · 16/08/2026

wtf mountains are cool as hell

denali, idk what else to say this thing looks so fucking cool

1162

skyking @jkachmar.com · 15/08/2026

more are asleep post mountains

picture of Alaskan mountaintops from an airplane; the wing and engine are in view and the mountaintops are poking above the cloud cover

040

skyking @jkachmar.com · 07/08/2026

no one gets to talk about polling misses until we shut Kalshi down okay

381

skyking @jkachmar.com · 04/08/2026

you know they were feeding their accountants that Good Cocaine for this shit

When evaluating our business using non-GAAP financial measures, we think about the performance of our business in two categories: (i) the day-to-day operation of our existing portfolio of core WeWork buildings/communities that provide “Space-as-a-Service” to our members; and (ii) our current investments in future desk delivery and the expansion of our global community and the services we can provide to that expanded community, together with our investments in the global and regional infrastructure that supports our current portfolio and serves as the foundation for this future growth.
•
Community Adjusted EBITDA represents membership and service revenue minus community operating expenses, excluding the impact of straight-line rent and stock-based compensation as discussed above. Community operating expenses, our largest category of expenses, are the costs associated with servicing members in our locations and consist primarily of rent and tenancy expenses, core operating expenses such as utilities and internet, and the cost of supporting a dynamic and vibrant community in our buildings, including salaries of our building staff and the cost of amenities. We use Community Adjusted EBITDA as a supplemental indicator of the day-to-day operations of our existing portfolio of core locations.
•
Adjusted EBITDA represents Community Adjusted EBITDA plus other revenue minus other operating expenses, general and administrative expenses and Growth Investments. Growth Investments, which consist of pre-opening community expenses, sales and marketing expenses and growth and new market development expenses, all primarily relate to opening new buildings, entering new markets and developing new offerings and represent our current investment in future desk delivery and the expansion of our global community and We Company Offerings, all excluding the impact of the non-cash items discussed above.

070

skyking @jkachmar.com · 01/08/2026

seriously why is this powder so fine who needs this lmao

010

skyking @jkachmar.com · 01/08/2026

zest & some of the powder. still looks like shit and also absolutely not filtered off enough.

a metal strainer with damp, brown plant matter

a mason jar with 160 grams of dark brown liquid

110

skyking @jkachmar.com · 01/08/2026

i might just be uncultured but i think i just straight up like medjool dates the best? both of these are better than deglet noor though. Kalustyan’s had fresh dates and i kind of regret not getting some too, although what do you even do with those?

two boxes of dates, zahdi from the UAE & ajwa from saudi arabia i guess?

they’re $6 & $9, respectively, which feels a bit steep for 8oz each of dates but what are you gonna do

020

skyking @jkachmar.com · 01/08/2026

260g water, 7g chinchona bark, zest of one grapefruit. looks like shit.

brown liquid in a metal pot with little bits of zest floating around in it

220

skyking @jkachmar.com · 01/08/2026

it should be illegal to sell this shit as an herbal remedy wtaf. anyway love that i have enough to make 3 liters of tonic syrup now.

a bag of chinchona bark powder with both an advertisement of it as a traditional remedy and a disclaimer that it isn’t intended to do anything preventative.

240

skyking @jkachmar.com · 01/08/2026

pork & kimchi nabe; using roasted chicken stock + dashi as the base instead of water. somehow did not have spring onions so @isabel.kim thinly sliced half a yellow onion instead and that‘s probably fine.

a red cast iron enameled pot filled with cabbage that has pork and kimchi layered in between slices

270

skyking @jkachmar.com · 27/07/2026

concurrent property tests with an attempt at clean reporting

$failed after 1226 tests 9 branches passed ┏━━ examples/gallery/Main.hs ━━━ 455 ┃ _ <- 456 ┃ Branch.forConcurrently [1 .. 10] \i -> do 457 ┃ v <- forAll (Gen.int & Gen.min 0 & Gen.max 100 & Gen.build) ┃ │ Branch 7: 30 458 ┃ annotate ("client " <> renderValue (i :: Int) <> " drew " <> renderValue v) ┃ │ Branch 7: client 7 drew 30 459 ┃ assert (i /= 7 || v < 30) "client stayed under budget" ┃ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ┃ │ Branch 7: client stayed under budget ┃ │ at examples/gallery/Main.hs:459 460 ┃ pure ()$

failed after 1360 tests
┏━━ examples/gallery/Main.hs ━━━
470 ┃ forkedWorkerProperty :: Property ()
471 ┃ forkedWorkerProperty = do
472 ┃ budget <- forAll (Gen.int & Gen.min 0 & Gen.max 100 & Gen.build)
┃ │ 0
473 ┃ annotate ("budget " <> renderValue budget)
┃ │ budget 0
474 ┃ worker <- Fork.spawn do
475 ┃ v <- forAll (Gen.int & Gen.min 0 & Gen.max 100 & Gen.build)
┃ │ Fork 1: 30
476 ┃ annotate ("worker drew " <> renderValue v)
┃ │ Fork 1: worker drew 30
477 ┃ assert (v < 30) "worker: value too big"
┃ ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
┃ │ Fork 1: worker: value too big
┃ │ at examples/gallery/Main.hs:477
478 ┃ Fork.join worker

020

skyking @jkachmar.com · 12/07/2026

i believe a bright future for south carolina can be found in our past

https://en.wikipedia.org/wiki/Carolinas_campaign

031

skyking @jkachmar.com · 11/07/2026

apparently i will not be able to see or respond to DMs until i leave ohio lmao

Age Assurance

We're sorry, you cannot access this screen at this time.

Due to laws in your region, certain features on Bluesky are currently restricted until you're able to verify you're an adult.

Go to account settings

Don't worry! All existing messages and settings are saved and will be available after you verify you're an adult.

290

skyking @jkachmar.com · 09/07/2026

from the community that brought us “safety coomer“ is it really surprising?

4180

skyking @jkachmar.com · 07/07/2026

Holzer-bot has impeccable timing

0102

skyking @jkachmar.com · 07/07/2026

i threw away like 10 variants over the weekend and i think i’ve settled on this, wdyt? these three all show slight variations on stateful tests that trigger different visualization schemes.

142

skyking @jkachmar.com · 03/07/2026

betwe than the paragraph but i’m not exactly sure what this is communicating that the timeline isn’t (which maybe means rendering the timeline isn’t worth it)

110

skyking @jkachmar.com · 03/07/2026

yea i’m gonna sleep on it and revisit how the prose is laid out with fresh eyes. last thing i wanted to get buttoned up tonight was adding a combinator for explicitly tracking how variables are transferred between pools.

020

skyking @jkachmar.com · 03/07/2026

i can’t tell if generating the paragraph is helpful or not, wdyt?

120

skyking @jkachmar.com · 03/07/2026

are you familiar with the mesquito? NSROC slapped a lawn dart on top of an M26, the thing broke the sound barrier right off the rail lmao.

031

skyking @jkachmar.com · 02/07/2026

trying to decide if there are better ways of visualizing the timeline associated with a failed stateful invariant, and it all kinda sucks to convey from the terminal. this is probably the most promising sketch i’ve landed on so far and it feels a little too hard to follow…

140

skyking @jkachmar.com · 02/07/2026

riffing on rendering options for state machine tests

480

skyking @jkachmar.com · 30/06/2026

also don’t sell Lake Superior short

030

skyking @jkachmar.com · 29/06/2026

idk why this made me laugh so hard

0355

skyking @jkachmar.com · 22/06/2026

i used to not really understand wifeposting but damn wow i love my wife!

“Sublimation” is threaded with references to the Odyssey, the Book of Genesis, and the Korean folk song “Arirang”—all stories about departure and return that include themes akin to “instancing.” “In the universe of my book, we consider being a nation of instances a point of pride,” Kim said, “in the same way that America, during previous Administrations, might have considered our diversity a strength.”

020

skyking @jkachmar.com · 22/06/2026

Tesla is notorious for poor car door design, especially in the context of emergency situations.

https://www.caranddriver.com/news/a69838848/tesla-doors-dont-open-report-of-deaths/

According to a separate Bloomberg report, the front doors of Tesla models are equipped with manually operated backup door releases, though some aren't clearly marked. Tesla's owner's manual for the 2020–2024 Model Y is an example of detailed instructions Tesla has published to help owners find and operate releases. The Bloomberg report notes, however, that some Model 3 and Model Y vehicles don't come equipped with manual releases for the back seats. For those Teslas that are equipped with rear-seat manual backups, the releases can be located under rugs, behind speaker grilles, and under pieces of plastic, making them hard to find, especially in an emergency scenario.

120

skyking @jkachmar.com · 21/06/2026

imagine being the left amirite

DC democratic mayoral primary map showing Janeese Lewis George absolutely wrecking her competition

080

skyking @jkachmar.com · 20/06/2026

it’s awesome, there’s a way overpriced but (tragically) incredibly good pizzeria in NYC (Ceres) that makes an nduja, balsamic, and burrata pie

000

skyking @jkachmar.com · 20/06/2026

well that’s enough of that

Edit: people have been blowing up my notifications arguing about whether or not this is transmisogynistic. I made a poll for that, consider voting, I want a decent sample size

#I rest my case#tadc#jax#the amazing digital circus#transfem jax#transmasc jax#egg jax#trans jax

130

skyking @jkachmar.com · 19/06/2026

nothing worse than those dastardly libruls, am i right? they can’t do anything for the cause; i mean really, how could decades of activism and fundraising (through the worst of the AIDS crisis) compare to the importance of posting online about how voting is useless and cringe?

0150

skyking @jkachmar.com · 18/06/2026

can you believe i haven’t heard back from them?

Engineering @ Titan (a16z, YC)

Impressive background! Are you interested in building the AI-native equivalent of Goldman Sachs wealth management for the next generation of high-net-worth consumers?

Imagine you're an early OpenAI, Anthropic, or SpaceX employee. Your net worth suddenly jumps, you've got stock, taxes, tender offers, and way more money than you'd ever want sitting in Robinhood. You probably need Goldman-level advice, but you definitely don't want the traditional wealth management experience. That's the problem Titan is going after.

Titan is building what they call "private wealth in your pocket": a world where AI agents and human advisors work together to handle the complexity of wealth management for you. Everything from tax strategy, diversification, liquidity planning, account transfers, portfolio construction, etc.

Absolutely the fuck not, I want all of these people taxed within an inch of their lives if they have anything even remotely resembling a profitable exit.

2610

skyking @jkachmar.com · 16/06/2026

what else is there even left to say?

020