Viewing profile — tildedave
tildedave
HN member- Joined
- Wed, Jan 26, 2011, 10:40 PM UTC
- HN karma
- 94
- Public activity
- 37 items
- HN profile
- View on Hacker News ↗
About tildedave
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
-
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 …
-
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...…
-
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…
-
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…
-
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…
-
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.…
-
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…
-
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…
-
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 …
-
comment
Comment #21121346
Appreciate what you're saying, but the linked paper is talking about results in F_p[T], the polynomial ring.
-
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…
-
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…
-
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…
-
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…
-
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 …
-
comment
Comment #19687070
Was able to log in (finally)
-
comment
Comment #19687057
https://status.cloud.google.com/incident/cloud-iam/19001 says they'll give an update by 4pm pacific
-
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.
-
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 …
-
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.
-
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…
-
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 …
- comment
-
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)
-
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…