Skip to content
HomeVideosBooksBlogs
AllTop postsTopics
Podcasts
HistoryListsWatch laterLiked videosFollowing

The videos, books, blogs and podcasts Hacker News keeps recommending, all in one place.

VideosBooksBlogsPodcastsAboutPrivacySettings

Data from Hacker News, HackerTube, HackerBooks, HackerBlogs and Open Library. Credits · Not affiliated with Y Combinator.

HomeVideosBooksBlogsPodcasts
Ctrl K

    Philip Guo

    people.csail.mit.edu · Personal blog · on HN since 2007

    Philip Guo's page at MIT CSAIL hosts research papers, essays, and old mailing-list posts on programming languages, vision, and AI.

    Visit blogRSSHN submissions
    ProgrammingLanguages & CompilersScience
    What HN says

    HN links it for the hosted papers and posts, such as the closures-and-objects note, and commenters point to its research projects as worth a look.

    Stats for nerds
    784HN people shared it
    313linked in comments
    7.9Kstory points
    Jun 2026last shared
    2019people per year2026

    Top posts on HN

    1. 1
      “A closure is a poor man’s object; an object is a poor man’s closure” (2003)
      41 people · 604 points · first shared 2007 · 227 comments on HN
    2. 2
      Eulerian Video Magnification for Revealing Subtle Changes in the World
      35 people · 567 points · first shared 2012 · 129 comments on HN
    3. 3
      Online Python Tutor
      4 people · 553 points · first shared 2012 · 45 comments on HN
    4. 4
      Introduction To Program Synthesis (2018)
      3 people · 212 points · first shared 2021 · 33 comments on HN
    5. 5
      Using Programming Language Concepts to Teach General Thinking Skills (2008) [pdf]
      1 person · 208 points · first shared 2017 · 30 comments on HN
    6. 6
      Show HN: My Desk Chair
      1 person · 203 points · first shared 2014 · 152 comments on HN
    7. 7
      Algebra and the Lambda Calculus (1993)
      1 person · 196 points · first shared 2018 · 39 comments on HN
    8. 8
      Log(Graph): A Near-Optimal High-Performance Graph Representation (2018) [pdf]
      1 person · 180 points · first shared 2018 · 12 comments on HN
    9. 9
      Design and Implementation of a 256-Core BrainFuck Computer [pdf]
      5 people · 178 points · first shared 2016 · 104 comments on HN
    10. 10
      D-Expressions: Lisp power, Dylan style [pdf]
      7 people · 173 points · first shared 2008 · 89 comments on HN

    What HN people wrote when they linked it

    • throw0101aSep 2020

      Guy Steele,[1] Java spec co-author, LL1 Mailing list (2003-08-21):

      > And you're right: we were not out to win over the Lisp programmers; we were after the C++ programmers. We managed to drag a lot of them about halfway to Lisp. Aren't you happy?

      * https://people.csail.mit.edu/gregs/ll1-discuss-archive-html/msg04045.html

      A follow-up noted:

      > Yes! Java broke C++'s monopoly, and now C# is breaking Java's, and this sequence of broken monopolies dispelled the belief that have to use "the standard language", and now I code in Python for a living.

      [1] https://en.wikipedia.org/wiki/Guy_L._Steele_Jr%2e

      Steele is/was well-acquainted with the bad parts of Java—he helped design Scheme after all. But in the alternative timeline where Java was not created, Java (and other machine-independent runtimes) would have not have become popular, and everyone would still be statically compiling C++.

    • rauhlApr 2021

      For your purposes, I think that your choice of PEM is probably the best. As you note, it is logically equivalent to the s-expression (it is typed, not a bag of bytes), and it has the advantage of being a well-known format.

      If æsthetic concerns are a higher priority than interoperability (say, for a personal hobby project), then I do recommend folks adopt the format I gave an example of. It has some history behind it, dating back to the 1997–1999 timeframe and the IETF’s SPKI Working Group (e.g. https://theworld.com/~cme/examples.txt) which resulted in RFCs 2692 & 2693, as well as some great drafts (https://people.csail.mit.edu/rivest/Sexp.txt & https://theworld.com/~cme/spki.txt) which never progressed because Reasons™.

      I still think that the SPKI project got PKI right. Oh well, what might have been!

    • snthpyOct 2025

      Not sure if this is what you had in mind but here are the links to the two papers that I was referencing.

      [1] covers the first 40 years of databases. [2] fills in the gap of the last 20 years and gives their thoughts on the future.

      My apologies, the first one was actually Stonebraker & Hellerstein and didn't involve Pavlo. They're both excellent papers though for anyone working with data.

      Stonebraker, for those who don't know, is the creator of Postgres, a database you might have heard of.

      1: Stonebraker & Hellerstein, "What Goes Around Comes Around", 2005, https://people.csail.mit.edu/tdanford/6830papers/stonebraker-what-goes-around.pdf

      2: Stonebraker & Pavlo, "What Goes Around Comes Around... And Around...", 2024, https://db.cs.cmu.edu/papers/2024/whatgoesaround-sigmodrec2024.pdf

    • ericjangOct 2020

      The report, while a fun thought exercise for any aspiring academic, is not a novel insight, and is obviously untrue for most definitions of market efficiency.

      If we are going to play the academic one-upmanship game, a more general result that "best" or "multiple" N-player Nash Equilibria for N > 2 is already NP-hard. The implication of an efficient market would be if every player had a polynomial-time algorithm to solve the NP-hard problem, ergo P=NP.

      [1] https://people.csail.mit.edu/costis/simplified.pdf

      [2] https://www.quantamagazine.org/in-game-theory-no-clear-path-to-equilibrium-20170718/

      [3] https://arxiv.org/abs/1104.3760#:~:text=Unlike%20general%20Nash%20equilibrium%2C%20which,as%20finding%20a%20planted%20clique.

    • whilenot-devJul 2025

      The Leap Motion Controller came out in 2014 already (11 years ago, wow!) and isn't very expensive. The SDK was lacking in the beginning if I recall correctly, but a webcam seems to be inferior. Technology isn't the limiting factor for a quite some time now. I'm sure many projects existed to translate gestures to MIDI, some less polished, some more polished[0][1].

      Reminds me... I even used two PlayStation Eyes (EUR 5 each) with OpenCV and the EVM algorithm[2] on a ThinkPad X230 for a dance performance piece back in 2015. Movements rather than gestures and OSC instead of MIDI, but it worked great!

      [0]: https://midipaw.com/

      [1]: https://uwyn.com/geco/

      [2]: https://people.csail.mit.edu/mrub/evm/

    • data_maanMay 2023

      I get this drift!

      And I think a bit of cheating is healthy.

      The late Mihai Patrascu (brilliant CS researcher for those who don't know), outspoken as he was, said data faking skills were essential to keeping his sanity in some courses. [1]

      Cheating just means you're not satisfying some random persons bureaucratic needs of assigning a number to your performance. But such a one-dimensional measure cannot really capture anyone's potential.

      For some reason few people ponder why people cheat and if the reasons perhaps are valid. Go to that party, if it helps you develop yourself!

      [1] https://people.csail.mit.edu/mip/acad.html

    Related

    Lambda the Ultimatelambda-the-ultimate.org615 people

    Simon Peyton Jones Elected into the Royal Society Fellowship

    Lambda the Ultimate
    Publication · last shared 2026
    Gödel's Lost Letterrjlipton.wordpress.com185 people

    Mihai Pătraşcu 1982–2012

    Gödel's Lost Letter
    Personal · last shared 2021
    Jxyzjxyzabc.blogspot.com21 people

    What My PhD Was Like

    Jxyz
    Personal · last shared 2019
    Edward Z. Yangblog.ezyang.com165 people

    PyTorch Internals: Ezyang's Blog

    Edward Z. Yang
    Personal · last shared 2026
    Jeremy Kunjeremykun.com194 people

    A Programmer's Introduction to Mathematics

    Jeremy Kun
    Personal · last shared 2026
    Decompositiondecomposition.al20 people

    A CAP tradeoff in the wild

    Decomposition
    Personal · last shared 2026
    Justin Leblog.jle.im36 people

    Typesafe Neural Networks in Haskell with Dependent Types

    Justin Le
    Personal · last shared 2026
    Kenny Tiltonsmuglispweeny.blogspot.com29 people

    Ooh Ooh My Turn Why Lisp? (2008)

    Kenny Tilton
    Personal · last shared 2021