Live data from Hacker News

Viewing profile — tildedave

tildedave

HN member
Joined
Wed, Jan 26, 2011, 10:40 PM UTC
HN karma
94
Public activity
37 items

About tildedave

https://tildedave.com

Software person in RDU. It's a good life. Coq, number theory, Clojure, Golang, Ursula K. Le Guin, toddler dad.

[ my public key: https://keybase.io/tildedave; my proof: https://keybase.io/tildedave/sigs/IE4HGc-JZRlvDHl5-o7iiIbJBzBLJH_eOu_00iF6tlU ]

Recent public activity

  1. comment
    Comment #37235364

    This book is the reason I was able to pass my computer architecture exams in grad school. Just lugged the 800 page monstrosity around an entire semester and read it every chance I …

  2. comment
    Comment #26128856

    Kevin Conrad has a more in-depth paper on this at roughly the same maturity level, also motivated by Feynman's story: https://kconrad.math.uconn.edu/blurbs/analysis/diffunderint...…

  3. comment
    Comment #25118740

    The continuum hypothesis is more like Euclid's parallel postulate than a Gödel sentence - assuming ZFC consistent there are models with CH true and CH false (the cardinality of the…

  4. comment
    Comment #24715872

    As someone who took a number of mathetical logic classes between undergrad/graduate I always found this Gödel-sentence argument on the face-laughable, since the logical inconsisten…

  5. comment
    Comment #24558394

    Not a historian, but _Why the West Rules - For Now_ by Ian Morris was a good read. Covers the sweep of world history with the audacious goal of quantifying human development at all…

  6. comment
    Comment #24510686

    Sorry to point you to more references, but the AskHistorians subreddit has a pretty good survey of views on the issue. https://www.reddit.com/r/AskHistorians/search?q=zinn&restric.…

  7. comment
    Comment #23764276

    I'm really excited for the movie and the casting looks incredible so far. I wonder how the 2 movie split is going to work narratively. The book itself has kind of a perfect 3 act s…

  8. comment
    Comment #23104346

    I'd guess comments like this come from people thinking the primary complexity of Redux is the data store, rather than the "all changes to your state are represented as plain object…

  9. comment
    Comment #22404035

    I've been pursuing mathematics as a hobby for the last 2 years or so. I got a mathematics major in undergrad so my motivating factor was mainly to explore some areas that I hadn't …

  10. comment
    Comment #21121346

    Appreciate what you're saying, but the linked paper is talking about results in F_p[T], the polynomial ring.

  11. comment
    Comment #21119183

    Even if the number field is finite, there are an infinite number of polynomials for it. For example the finite field F2 has two elements {0, 1} but an infinite number of polynomial…

  12. comment
    Comment #20669457

    Ah, just making the point that the questions don't occur in a vacuum. By the time something's bad enough to consult random strangers on Reddit the problem has sometimes escalated b…

  13. comment
    Comment #20668515

    A more charitable interpretation is that people have gotten into situations bad enough where they've ended up seeking advice from strangers on the internet. (Not every relationship…

  14. comment
    Comment #20339204

    I listened to _Right Ho, Jeeves!_ this year from Librivox ( https://librivox.org/right-ho-jeeves-by-p-g-wodehouse/ ) and I'd second his recommendation for it. Sort of a perfect nov…

  15. comment
    Comment #19974074

    I've been attending a local UU Church for the last few months (raised no religion, this is my first spiritual community). While there's mention of the spiritual life I think about …

  16. comment
    Comment #19687070

    Was able to log in (finally)

  17. comment
    Comment #19687057

    https://status.cloud.google.com/incident/cloud-iam/19001 says they'll give an update by 4pm pacific

  18. comment
    Comment #19686901

    We're seeing our OAuth login attempts be redirected to a "Clear Your Cookies" page help. Clearing cookies does not resolve the issue.

  19. comment
    Comment #19422444

    Agree. The assumption underlying this is that you should use a bulk of your outside-of-work time to advance your career and grow your technical skills. True for some, not true for …

  20. comment
    Comment #19381180

    My personal favorite is _The Tombs of Atuan_ - it introduces a new character, creates an entire world around her, then pulls all the assumptions beneath the world apart.

  21. comment
    Comment #19216536

    This is one of my go-to sites for optimizing Postgres queries. While all the information is available in the text output there's something nice about the site highlighting the rows…

  22. comment
    Comment #19085706

    Great eassy. I read a few of her novels last year (Left Hand of Darkness, the Dispossessed, and some of her Earthsea novels). What struck me is even with the amount of effort that …

  23. comment
  24. comment
    Comment #18228681

    If you turn off the "show the best tweets first" option in your content preferences you get a chronological timeline back. (They made this change a month or two ago)

  25. comment
    Comment #18002428

    One of my favorite video series on YouTube is Francis Su's _Real Analysis_. https://www.youtube.com/watch?v=sqEyWLGvvdw He walks through the basics of constructing the real numbers…