ppll

Related posts

Hillel Wayne Blog

Hiatus

hiatuslogicprogrammers

The the words it uses that this site has seen least often elsewhere. Posts are matched on those words alone — nothing here is a summary of this one.

Sources

Top people

20 September

Terence TaoBlog

  • Why Do We Need Human Mathematicians Anymore?

    Related

17 September

Dax Raadx.com

  • Related

Stephen Wolframx.com

  • Related

Kris Abdelmessihx.com

  • Related

15 September

Michael Pollanx.com

  • penguinrandomhouse.com

    Related

14 September

Kun Chenx.com

  • Related

11 September

10 September

Ava HuangNewsletter

5 September

Daniel LemireBlog
  • AI programming: a layered model

    Related

2 September

Arvid Kahlx.com

  • Related

1 September

Hillel Wayne

  • NewsletterNew Post: A Crash Course in Predicate Logic

    Related

  • BlogA Crash Course in Predicate Logic

    Related

30 August

Ryan Singerx.com

  • Related

27 August

Chad Fowler

  • Bluesky

    arxiv.org

    Related

  • x.com

    arxiv.org

    Related

26 August

Lex Fridmanx.com

  • OmarchyLinuxRelated

David Heinemeier HanssonKorrents

From one piece DHH: Future of Programming, AI, Agentic Engineering, Vibe Coding & Linux | Lex Fridman Podcast #501 3 beliefs, in the piece's order there

Casey MuratoriKorrents

From one piece Why performant code matters (but gets widely ignored), with Casey Muratori 2 beliefs, in the piece's order there

18 August

Hillel WayneNewsletter

12 August

Charity MajorsKorrents

29 July

Hillel WayneNewsletter
  • Logic for Programmers is Done

    Related

Hillel WayneKorrents
Hillel WayneBlog
  • Logic for Programmers is Now Available

    Related

14 July

Hillel WayneNewsletter
  • I'm still alive

    Related

13 July

Cal NewportKorrents

10 July

Fabien SanglardKorrents

1 July

Kent BeckKorrents

From one piece How Kent Beck shapes the software engineering industry 2 beliefs, in the piece's order there

24 June

NeetCodeKorrents

From one piece Tech interviews with NeetCode 2 beliefs, in the piece's order there

17 June

Hillel WayneNewsletter
  • Logic for Programmers v0.15, Livecoding

    Related

27 May

Dax RaadKorrents

24 May

Dan ShipperKorrents

13 May

Anders HejlsbergKorrents

22 April

Martin KleppmannKorrents

From one piece Designing Data-intensive Applications with Martin Kleppmann 2 beliefs, in the piece's order there

11 April

8 April

David Heinemeier HanssonChanged their mind
  • Their words, before

    Where I get fired up, and this ties back to the AI discussion, is when that's turned into this meme, that programmers no longer have to be competent. I mean the AI is gonna figure it out. The generators is gonna figure it out. I don't need to know SQL, active record is gonna abstract it away from me. No, no, no dude, hold up. The path here is competence.

    Their words now

    really good programmers are currently more valuable than ever because they're the ones who are able to get the most out of the AI acceleration.

7 April

Kent BeckKorrents

29 March

23 February

Hillel WayneBlog
  • Some Silly Z3 Scripts I Wrote

    Related

12 February

Peter SteinbergerKorrents

18 January

Hamel HusainSite

  • Why I Stopped Using nbdev

    Related

18 December 2025

Samuel HammondKorrents

25 September 2025

Hillel WayneBlog
  • A Very Early History of Algebraic Data Types

    Related

23 July 2025

Demis HassabisKorrents

12 July 2025

David Heinemeier HanssonChanged their mind
  • Their words, before

    it's a luxury good like you're not paying the penalty for that the people who embrace it and think that they can just ask AI for everything or they can just look everything up but they don't have to understand the copy pasta that they slam into their project they're the ones who going to suffer

    Their words now

    Where I get fired up, and this ties back to the AI discussion, is when that's turned into this meme, that programmers no longer have to be competent. I mean the AI is gonna figure it out. The generators is gonna figure it out. I don't need to know SQL, active record is gonna abstract it away from me. No, no, no dude, hold up. The path here is competence.

25 June 2025

10 June 2025

Samuel HammondKorrents
Julia EvansBlog

5 June 2025

Samuel HammondKorrents

30 April 2025

Tim SweeneyKorrents

22 March 2025

ThePrimeagenKorrents

From one piece ThePrimeagen: Programming, AI, ADHD, Productivity, Addiction, and God | Lex Fridman Podcast #461 2 beliefs, in the piece's order there

3 February 2025

Dylan PatelKorrents

30 December 2024

Waqas YounasRecommends

  • Their words

    This book gave me both insight and a deeper curiosity about the subject. This book introduces the SPIN model checker and exposes the reader to the nuances of verifying programs using SPIN. A nice feature of the book is how it explains concepts using thoughtfully developed, freely available tools (such as jSpin) that the author created for pedagogical purposes. It's a demanding book, but the content was interesting. The book presents details about concurrency, temporal logic, non-determinism, advanced SPIN topics, and even case studies. I've already written a few blog posts about the topics I explored while reading this book, and I plan to write more. Overall, it's a good book. I'm sure I'll revisit the latter half again.

    thoughts.wyounas.com

6 November 2024

Bret VictorRecommends

23 June 2024

Elliot HershbergNewsletter

2 September 2023

Raph KosterKorrents

28 May 2023

Derek SiversRecommends

  • Likedrcmnd.app

    The Righteous Mind

    Their words

    Brilliant insights into human nature. Moral reasoning, inventing victims, emotional reactions, the elephant (emotions) and its rider (explanations). Intuition reacts then logic confabulates a reason. Survival of the fittest applied to groups. Understanding religion and tradition. Great from start to finish.

    sive.rs

26 April 2023

Casey MuratoriKorrents

28 February 2023

Casey MuratoriKorrents

24 May 2022

11 December 2021

24 January 2021

Jason SnellRecommends

  • Usesrcmnd.app

    Logic Pro

    Their words

    I edit podcasts on the Mac in Logic Pro, edit video in Final Cut Pro, and remove noise from audio tracks using iZotope RX 8.

    usesthis.com

  • Usesrcmnd.app

    iZotope RX 8

    Their words

    I edit podcasts on the Mac in Logic Pro, edit video in Final Cut Pro, and remove noise from audio tracks using iZotope RX 8. I record all my podcasts using Audio Hijack.

    usesthis.com

20 January 2021

18 January 2021

Hillel WayneKorrents

18 September 2020

Max HodakBlog

  • What is relativity, anyway?

    Related

10 July 2019

Ryan SingerKorrents

9 April 2019

2 January 2018

25 November 2016

Philip O'TooleRecommends

  • Lovedrcmnd.app

    The Mythical Man-Month

    Their words

    The amazing thing about The Mythical Man Month is that it doesn't feel dated, even though it was first published in 1975. Instead it simply feels like a group of programmers discussing the very same challenges the industry has today, with just different technology in use.

    philipotoole.com

  • Their words

    Becoming a Technical Leader is both an interesting and subtle book. At times it feels like a self-help book, at other times a Machiavellian explanation of how programming teams really wok. But in the end it's sincere and mature, and wants to help. Weinberg's introspective style will appeal to many programmers, and it appealed to me. This book is useful because it talks about many of the practical issues of becoming a technical leader or manager within a team of developers — and from many unexpected viewpoints.

    philipotoole.com

  • Recommendsrcmnd.app

    The C Programming Language

    Their words

    What can one say about this book, that hasn't been said already? Perhaps this: that of all the books written about programming, this has the highest information density of them all. And yet it's so pleasant to read. There is something about the tone of this book — the way the authors speak to you. They explain everything, and yet never seem patronizing or condescending. The joy they feel for their craft — it really does seem like this book comes from a time when programming was a craft — is unmistakable. Many of today's programmers — web developers, iOS developers, front-end engineers — may have no need to ever read this book. But for those who have not done so, and really want to improve as programmers, work through this book. It's a rite of passage.

    philipotoole.com

1 January 2016

Radek PietruszewskiRecommends

  • Lovedrcmnd.app

    Deep Work

    Their words

    Podcast. Yes, yes, yes! We live very distracted lives and most of our working days are filled with shallow tasks and interruptions. Although programmers get the importance of flow, it’s so hard to achieve. Our environments don’t support it, and shallow work is just easier. The book makes a compelling case for why we should double down on deep work, and offers some practical strategies for achie…

    radex.io

3 September 2015

Christopher OlahKorrents

28 May 2014

Casey MuratoriKorrents

5 September 2013

Daniel JalkutRecommends

  • Usesrcmnd.app

    Audio Hijack Pro

    Their words

    For podcasting I use Audio Hijack Pro with Skype for recording audio, and edit the Bitsplitting podcast in Logic Pro.

    usesthis.com

31 January 2013

Chad FowlerRecommends
  • Lovedrcmnd.app

    Logic

    Their words

    It's hard to learn, but Logic is a beautiful piece of software. It's also hard to learn how to record using real studio equipment, so it should be no surprise that learning how to record with professional quality music software is difficult.

    usesthis.com

1 January 2013

Rasmus AnderssonKorrents

2 December 2011

Brett TerpstraRecommends

  • Lovedrcmnd.app

    GarageBand

    Their words

    I used to be a Logic Studio guy, but as my needs have simplified I've found GarageBand to be an amazing tool.

    usesthis.com

6 August 2009

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.

About the English under a post

Some people here publish in a language other than English. Where they do, this site shows a machine translation beneath the post, in this typeface — the site's own, not theirs.

The post itself is never changed, moved or hidden: what is set in the serif above is exactly what the person published, and it is what to quote them on. A translation can be wrong in ways that matter, especially about tone.

Only the post's own words are translated. A quoted post, a linked article and a belief on korrents.com are left in their original language.