Lightnews — Scholar-powered news

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 · 14h

I'm not owned

Hillelogram @hillelwayne.com · 16h

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 · 17h

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

3 9

Hillelogram @hillelwayne.com · 16h

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

Reposted by Hillelogram

miguelraz_t @movraxrax.bsky.social · 20h

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

Hillelogram @hillelwayne.com · 20h

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

2 3 5

Hillelogram @hillelwayne.com · 19h

Probably gonna be more successful tbh

1 1

Hillelogram @hillelwayne.com · 20h

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

4 5

Hillelogram @hillelwayne.com · 20h

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 · 20h

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

Hillelogram @hillelwayne.com · 2d

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

1 1

Hillelogram @hillelwayne.com · 2d

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

Hillelogram @hillelwayne.com · 2d

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

2 4

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

1 1

Hillelogram @hillelwayne.com · 3d

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 · 3d

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!

1 4

Hillelogram @hillelwayne.com · 3d

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.

leanpub.com

2 4 20

Hillelogram @hillelwayne.com · 3d

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

luna @imlunahey.com · 5d

so ah.. what's a linked list?

Hillelogram @hillelwayne.com · 6d

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

2 3 28

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)

2 3

Hillelogram @hillelwayne.com · 6d

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

11 5 80

Reposted by Hillelogram

ScyllaDB @scylladb.com · 6d

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

3 12

Hillelogram @hillelwayne.com · 6d

There's "I think AI is a net negative to society" anti-AI and there's "I wish your human son had died" anti-AI

A: "AI helped me diagnose my son!"
B: "So would common sense"
A: "No there's context here"
B: "How dare you"

Hillelogram @hillelwayne.com · 6d

I'm an old hand at graphviz, I just think it might look amateurish

Hillelogram @hillelwayne.com · 7d

TIL about the `-s` flag for `git status`

1 6

Hillelogram @hillelwayne.com · 7d

I don't think so. Few reasons:

- I don't understand the proof
- I don't know how to explain it clearly
- The book is laser focused on direct applications, and to my understanding GIT doesn't have any software applications

1 2

Hillelogram @hillelwayne.com · 7d

Did you hear the joke about sword wounds? You wouldn't get it, it's bit of a deep cut.

2 9

Hillelogram @hillelwayne.com · 7d

Amateurish inkscapes

1 1