Hillel's Avatar

Hillel

@hillelwayne.com

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

6,997
Followers
104
Following
4,652
Posts
04.05.2023
Joined
Posts Following

Latest posts by Hillel @hillelwayne.com

There's 11 kinds of people in this world, and I'm the second kind

10.03.2026 02:48 ๐Ÿ‘ 8 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0
Preview
How to access geometry length? Is there a keyword to access each of the lengths of the geometry package? I know \textwidth and \pagewidth but is there a way to access the left (interior) margin? Of course, this size depends if w...

Nope this is actually the intended behavior tex.stackexchange.com/questions/53...

09.03.2026 20:17 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

So in LaTeX the widths \oddpagemargin and \evenpagemargin don't seem to be the actual margins, but the difference between the margin and 1 inch. ...Why?!

(It could be something stupid I set up in my project tbh)

09.03.2026 20:16 ๐Ÿ‘ 3 ๐Ÿ” 0 ๐Ÿ’ฌ 2 ๐Ÿ“Œ 0

Hi @buttondown.com is there a way to show the most recent few newsletters on the landing page? Looked at the docs but couldn't figure out if it was possible

09.03.2026 17:47 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

I am not blaming SPAs, I'm blaming vibeslop

09.03.2026 15:34 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

Like there will be a "load file" button and there's no event or javascript wired to it, it just sits there. Stuff like that

05.03.2026 19:30 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 2 ๐Ÿ“Œ 0

I would be slightly less mad about the slopification of SPA tooling if any of them actually worked. But none of the buttons *do* anything

05.03.2026 15:44 ๐Ÿ‘ 15 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

I did not! My bad

04.03.2026 23:16 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

it's an open question! we don't even know if P is a strict subset of # P, or # P of PSPACE (both conjectured)

04.03.2026 22:07 ๐Ÿ‘ 1 ๐Ÿ” 1 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

This is actually... not the worst thing so far

04.03.2026 20:29 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

(PSPACE is the set of all problems that can be done with efficient use of *memory*, even if they are inefficient in *time*. You'd expect that set to be larger, as you can reuse memory but not reuse time.)

04.03.2026 20:27 ๐Ÿ‘ 3 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

Also the weirdest one is that BQP is conjectured to be a strict subset of PSPACE, but it's not proven.

The weird thing is we haven't proven that P is a strict subset of PSPACE, either.

That's just weird, man.

04.03.2026 20:27 ๐Ÿ‘ 3 ๐Ÿ” 0 ๐Ÿ’ฌ 2 ๐Ÿ“Œ 0

And BQP is conjectured to not be in NP, but not be a superset. So there are some problems that quantum computers possibly do exponentially faster than classical ones, but also many problems they're no matter at. Which is pretty neat!

04.03.2026 20:27 ๐Ÿ‘ 4 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

To me the interesting ones are the relationships between the categories. We suspect, but do not know, that P is larger than NC, meaning there are some efficient algorithms that cannot be made 10x more efficient with ten computers instead of one. It's a formalization of sorts of Amdahl's law

04.03.2026 20:27 ๐Ÿ‘ 3 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

NC is DPs where a REALLY efficient *parallel* algorithm exists. VERY roughly speaking, if a problem is of size N, and you get Nยฒ processors to solve it, can you do it in logarithmic time?

(actually polylogarithmic, like log(n)ยณ and such, but that's a technical detail imo)

04.03.2026 20:27 ๐Ÿ‘ 3 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

So how does this related to NC and BQP?

BQP is the "easy" one: it's BPP, except instead of a deterministic computer, you get a quantum computer. This opens up considerably more useful algorithms, including some conjectured to not be in NP (efficient "lucky guesser" algorithm)

04.03.2026 20:27 ๐Ÿ‘ 4 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

BPP: DPs where we know an efficient algorithm, but the algorithm sometimes get the wrong answer, but it gets the right answer more often than not.

That's tricky! Historical examples are primality testing, but nowadays we know deterministic efficient primality tests

04.03.2026 20:27 ๐Ÿ‘ 3 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

I'm going to blatantly ignore this prompt and instead talk about P, DLOGTIME, and BPP.

P: Decision problems (yes/no answers) where we know an efficient algorithm (grows polynomially with size of input)
DLOGTIME: DPs where we know a REALLY efficient algorithm (grows logarithmically with input)

04.03.2026 20:27 ๐Ÿ‘ 4 ๐Ÿ” 3 ๐Ÿ’ฌ 2 ๐Ÿ“Œ 1

This would require me to know anything at all about the topic D:

04.03.2026 19:07 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

Fuckit gonna try StickyKeys for a while and report back

04.03.2026 16:30 ๐Ÿ‘ 3 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0
Preview
Bugs that literally cost money How much does a software bug cost a company? Well that's a messy question. It depends on the type of bug, the broken behavior, the type of company, etc. And...

One of the less cool things is when @leanpub.bsky.social has a bug that makes the coupons activate at the wrong date

Another one to the Bugs That Literally Cost Money List buttondown.com/hillelwayne/...

04.03.2026 15:54 ๐Ÿ‘ 3 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

This sounds great! Get your @leaflet.pub drafts ready!

> The idea is pretty simple: on April Fools' Dayโ€ฆa participant produces genuine content that's very different from their normal produced content. It could be a different format, a different topic, a different style, anything.

04.03.2026 03:52 ๐Ÿ‘ 7 ๐Ÿ” 1 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

I'll do it tomorrow

04.03.2026 02:55 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

I have somehow been bestowed a SECOND jar of cream of tartar

@arachno.capital @mat4nier.bsky.social halp what recipes use, like, a *lot* of cream of tartar

04.03.2026 00:51 ๐Ÿ‘ 4 ๐Ÿ” 0 ๐Ÿ’ฌ 3 ๐Ÿ“Œ 0

Which is how we know Prolog influenced Erlang :D

03.03.2026 22:32 ๐Ÿ‘ 2 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

I wondered why so few languages adopted the Prolog style of writing functions as f/arity, like add/2 or exit/1. Just now I realized the reason: most languages don't wildly change the behavior of a function based on arity. Prolog's partition/4 is quite different from partition/5!

03.03.2026 21:01 ๐Ÿ‘ 23 ๐Ÿ” 1 ๐Ÿ’ฌ 5 ๐Ÿ“Œ 0

Might not skeet about all of them today, gotta space that content out

03.03.2026 19:42 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

I gotta lot of tasks this week I need to procrastinate, Gimme software topics to skeet about

03.03.2026 19:41 ๐Ÿ‘ 9 ๐Ÿ” 1 ๐Ÿ’ฌ 3 ๐Ÿ“Œ 0

Five more go up later today! Maybe next time I should give the first batch an hour delay so people don't get them all while the newsletter is still in flgiht

03.03.2026 19:40 ๐Ÿ‘ 2 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

One of the cool things about being self published is I can give out free copies of the book whenever I want

03.03.2026 17:12 ๐Ÿ‘ 31 ๐Ÿ” 0 ๐Ÿ’ฌ 3 ๐Ÿ“Œ 0