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

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

1 1

Hillelogram @hillelwayne.com · 1d

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

Hillelogram @hillelwayne.com · 1d

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

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

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

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

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

so ah.. what's a linked list?

Hillelogram @hillelwayne.com · 5d

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

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

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

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

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

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

1 6

Hillelogram @hillelwayne.com · 6d

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

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

2 9