ppll

Hillel Wayne

Everything, newest first — across every channel. Their profile →

All topics AISoftwareBusinessEconomicsPolitics
All of Software documentationJavaScriptopen source

Showing Software Show every topic

1 September

Hillel Wayne
  • NewsletterNew Post: A Crash Course in Predicate LogicLogic for Programmers has now been out for a month! To celebrate, I'm releasing the entire second chapter, "A Crash Course in Logic", for free on my blog. Read it here!
  • BlogA Crash Course in Predicate LogicI started writing Logic for Programmers because there weren’t any good resources on logic for, uh, programmers. Now that the book’s out, the new problem is that there aren’t any good free resources on…

18 August

29 July

Hillel WayneNewsletter
  • Logic for Programmers is DoneIt's done. Logic for Programmers is now 1.0 and available in print. Full announcement here, official website here, direct Amazon link here. If you got an early version of the ebook, you can go back to leanpub to downloa…
Hillel WayneKorrents
+ 10 more
Hillel WayneBlog
  • Logic for Programmers is Now AvailableI am delighted to announce that my book, Logic for Programmers, is now available! You can check out the release site here or go directly to buy the ebook or print versions. If you bought any of the early access versions…

14 July

Hillel WayneNewsletter
  • I'm still aliveBetween travel obligations and this last heads-down-gotta-get-the-book-done stretch I haven't had time to write any newsletters or even look at social media. The good news is that Logic for Programmers should be done an…

17 June

Hillel WayneNewsletter
  • Logic for Programmers v0.15, LivecodingThere's a new release of Logic for Programmers! This one, version 0.15, is the first true release candidate. There's a couple of minor touch-ups I need to do but all content is in and copy edited and proofread. Unless s…

2 June

Hillel WayneNewsletter
  • Logic for Programmers extra creditsSo I said there wasn’t a proper newsletter this week, since I’m in Budapest prepping for a conference. But I still got a thing for y’all. There’s a lot of interesting topics I wanted to cover for Logic for Programmers,…

28 May

13 May

6 May

28 April

Hillel WayneNewsletter
  • Illegal vs Unwanted StatesAn illegal state is a state we never want our system to be in. An unwanted state is a state we don't want to stay in. Many states that we wish were illegal are actually unwanted. Considering a calendaring software which…

3 March

Hillel WayneNewsletter
  • Free BooksSpinning a lot of plates this week so skipping the newsletter. As an apology, have ten free copies of Logic for Programmers. These five are available now. These five should be available at 10:30 AM CEST tomorrow, so peo…

23 February

Hillel Wayne
  • NewsletterNew Blog Post: Some Silly Z3 Scripts I WroteNow that I'm not spending all my time on Logic for Programmers, I have time to update my website again! So here's the first blog post in five months: Some Silly Z3 Scripts I Wrote. Normally I'd also put a link to the Pa…
  • BlogSome Silly Z3 Scripts I WroteAs part of writing Logic for Programmers I produced a lot of “chaff”, code samples and sections I wrote up and then threw away. Sometimes I found a better example for the same topic, sometimes I threw the to…

25 September 2025

Hillel WayneBlog
  • A Very Early History of Algebraic Data TypesBeen quiet around here! I’ve been putting almost all of my writing time into Logic for Programmers and my whole brain is book-shaped. Trust me, you do not want to read my 2000-word rant on Sphinx post-build LaTeX…

9 September 2025

12 March 2025

Hillel WayneBlog
  • A Perplexing Javascript Parsing PuzzleWhat does this print? x = 1 x --> 0 Think it through, then try it in a browser console! Answer and explanation in the dropdown. Show answer It prints 1. wait wtf At the beginning of a line (and only at the beginning of…

11 September 2024

Hillel WayneBlog
  • HiatusAll of my budgeted blogwriting time is going to Logic for Programmers. Should be back early 2025. (I’m still writing the weekly newsletter.)

15 July 2024

Hillel WayneBlog
  • Toolbox languagesA toolbox language is a programming language that’s good at solving problems without requiring third party packages. My default toolbox languages are Python and shell scripts, which you probably already know about…

29 May 2024

14 May 2024

Hillel WayneBlog
  • Comment Section: Software FrictionThese are some of the responses to Software Friction. Blogs on a similar topic Laurie Tratt wrote What Factors Explain the Nature of Software? which touches on the topic of friction, too. Emails and Comments I’m a…

1 May 2024

Hillel WayneBlog
  • Software FrictionIn his book On War, Clausewitz defines friction as the difference between military theory and reality: Thus, then, in strategy everything is very simple, but not on that account very easy. Everything is very simple in w…

What is a korrent?

A korrent is a belief a person has stated in their own words: one sentence stating the claim, backed by a quote and a source, kept at korrents.com.

Under a name here, the quoted block is what they actually said. The korrent beneath it is the claim those words support, in korrents' wording — tap it to see the record, its source, and who else holds it.

Nobody here wrote their own korrents. They are compiled from public statements, and a person can change their mind, which is recorded too.