Lightnews — Scholar-powered news

LightNews

Hillelogram

@hillelwayne.com

4.7K followers 100 following 4.3K posts

Formal methods, software history, chocolatiering. DMs open and happy to meet up in Chicago. Currently writing *Logic for Programmers* (out Q1 2026) Newsletter: https://buttondown.email/hillelwayne/

buttondown.email

Posts Media Videos Starter Packs

Hillelogram @hillelwayne.com · 5m

On the elevator a couple of college students were complaining that their next coding test was gonna be handwritten because the professor "was tired of them using ChatGPT". "What is this, the 18th century?"

Looking how LLMs are playing out in colleges, it'll be the rest of the 21st century, too.

Hillelogram @hillelwayne.com · 3h

Newsletter is redonkulously late this week, but I just published 'Three ways formally verified code can go wrong in practice'! It's why correct code isn't always bug-free code. Also, new LFP release!

buttondown.com/hillelwayne/...

Three ways formally verified code can go wrong in practice

"Correct" doesn't mean "correct" when correctly using "correct"

Hillelogram @hillelwayne.com · 5h

If you ctrl click+drag on firefox you can select multiple independent sources of text and copy them all at once

bsky.app/profile/benj...

Hillelogram @hillelwayne.com · 5h

I'm a huge fan of AutoHotKey's InputHook, which reads keystrokes into data, to make vim-like "command sequences" (vs chords). I can type "numpad2 → d` to open downloads (as opposed to `numpad2+d`). Scales really well to lots of hotkeys!

bsky.app/profile/norm...

Normal Mode @normalmo.de · 23h

Is this cool? https://gist.github.com/sedm0784/4443120

Hillelogram @hillelwayne.com · 5h

That's cool

Hillelogram @hillelwayne.com · 5h

Everybody on Windows owes it to themselves to download Ditto. Like the clipboard manager but 1000x more powerful. Searching, groups, special paste, image pasting, etc. sabrogden.github.io/Ditto/https://

bsky.app/profile/xcyb...

Hillelogram @hillelwayne.com · 22h

I'm not owned

Hillelogram @hillelwayne.com · 1d

In Firefox you can press "ctrl+shift+s" to open an in-browser screenshot taker. Since it's integrated into the browser it's got some features the OS screenshotter doesn't, like "adjust region" and DOM selector

bsky.app/profile/shri...

Shriram Krishnamurthi @shriram.bsky.social · 1d

I assume Command-Shift-4 on MacOS is too plebian to be cool in your book.

Hillelogram @hillelwayne.com · 1d

Not AHK but I'll accept it, I'm hungry

Reposted by Hillelogram

miguelraz_t @movraxrax.bsky.social · 1d

For every cool #julialang tip or script someone shares with me I will share one in return

Hillelogram @hillelwayne.com · 1d

For every cool Autohotkey tip or script someone shares with me I will share one in return

Hillelogram @hillelwayne.com · 1d

Probably gonna be more successful tbh

Hillelogram @hillelwayne.com · 1d

For every cool Autohotkey tip or script someone shares with me I will share one in return

Hillelogram @hillelwayne.com · 1d

Protip, use hotstrings. Here's what i got for ≠:

::;neq::≠

Makes it easy to scale to dozens of special characters without having to memorize lots of hotkeys

Hillelogram @hillelwayne.com · 1d

v2 is better than v1 by a lot, it almost kinda doesn't suck

Hillelogram @hillelwayne.com · 3d

Do you have resources on the historical connection between Prolog and constraint solving?

Hillelogram @hillelwayne.com · 3d

FYI not all the abalone barnacles were dead, this 'lil guy even survived a night in the fridge

Hillelogram @hillelwayne.com · 3d

Are Abalone the grossest-looking food in the sea?

100%, especially under 40x magnification

Still delicious tho

The Abalone shell has shells of other shellfish living on its shell

Holes? Weird scales? A shell infection? Who knows!!!

No idea what this purple thing hiding in one of the breathing holes is but it's probably from something alive

A whole colony of dead barnacles on this shell

Hillelogram @hillelwayne.com · 3d

I'm still undecided on if I'm going to finish 12.3 or cut it, but I don't think I'll have decided by v0.13

Hillelogram @hillelwayne.com · 4d

Not everything in the book is where I want it to be, but I've been writing this for almost two years and have to stop somewhere. And I think it's already a pretty good book!

Hillelogram @hillelwayne.com · 4d

This week I'll be emailing copies to a bunch of domain experts I know to make sure I didn't bungle any of the material. Probably should have done this earlier but I only had the idea last week. Whoops!

Hillelogram @hillelwayne.com · 4d

I am delighted to announce the v0.12 release of *Logic for Programmers*! This new update totally overhauls the data modeling and solvers chapters, plus heavy edits to several others. It's likely the LAST major content release, after this it's all fixes, copyedits, and polish.

leanpub.com/logic/

Logic for Programmers

The mathematics that will help you in your everyday programming.

Hillelogram @hillelwayne.com · 4d

Any abstract data type that supports the flipping, bopping, twisting, and pulling operations

luna @imlunahey.com · 6d

so ah.. what's a linked list?

Hillelogram @hillelwayne.com · 7d

If you call yourself a "software engineer" you better be able to:

1. Flip a linked list
2. Flip it again
3. Bop it
4. Twist it
5. Twist it
6. Pull it
7. Bop it

Hillelogram @hillelwayne.com · 6d

Hey y'all, pop up a private browsing window, turn off adblock, and google "Kpop demon hunters"

(Specifically google, don't kagi or duckduckgo or be the one person who bings)

Hillelogram @hillelwayne.com · 7d

If you call yourself a "software engineer" you better be able to:

1. Flip a linked list
2. Flip it again
3. Bop it
4. Twist it
5. Twist it
6. Pull it
7. Bop it

Reposted by Hillelogram

ScyllaDB @scylladb.com · 7d

TLA+ has found bugs in everything from cloud services and message queues to video games and SSD firmware. @hillelwayne.com‬ will give an overview of how it can be applied to find design bugs in low latency systems at our free and virtual #P99CONF. www.p99conf.io?latest_sfdc_...

#ScyllaDB