Live data from Hacker News

Viewing profile — sn9

sn9

HN member
Joined
Tue, Mar 15, 2016, 10:03 PM UTC
HN karma
1,900
Public activity
1,477 items

About sn9

No profile information was provided.

Recent public activity

  1. comment
    Comment #49139443

    There are several different popular meditation techniques. It's not a single thing to try. It's like saying you heard about this food thing and tried eating beans every day for mon…

  2. comment
    Comment #49104020

    In Firefox, you can just open a new tab in split view.

  3. comment
    Comment #49104000

    Math Academy has a Math for Machine Learning course: https://www.mathacademy.com/courses/mathematics-for-machine-...

  4. comment
    Comment #49103961

    Yes if you can afford it, then it's absolutely worth it. Nothing better at the moment. This review lays out how you should think about the costs and benefits: https://jonathanwhitm…

  5. comment
    Comment #49103847

    This is completely incoherent, especially since some European governments outlaw or restrict the installation of personal air conditioning in certain kinds of buildings. Belief in …

  6. comment
    Comment #49075539

    It should be more grating that Europe's refusal to adopt air conditioning is murdering their most vulnerable at rates comparable to American gun deaths and (unlike climate change o…

  7. comment
    Comment #49012014

    For most of their lives, most people have a rate of 0 learning because they aren't even trying to learn it.

  8. comment
    Comment #49011991

    And yet still unknown to more than 99.9% of the population (a conservative estimate).

  9. comment
    Comment #48992559

    Have you read this post on incorporating spaced repetition into teaching linear algebra? https://bentilly.blogspot.com/2009/09/teaching-linear-algebr...

  10. comment
    Comment #48971414

    This isn't really an answer. How are you checking the accuracy of the content? Especially if you plan to scale this to hundreds of courses, it doesn't seem like you actually have h…

  11. comment
    Comment #48971309

    Fiber intake has a dose-dependent effect on cholesterol levels. Obviously some people still need medication if they have particularly unfortunate genetics.

  12. comment
    Comment #48971293

    There isn't a conflict between cholesterol having a useful role in the body and too much being harmful. There are mountains of evidence establishing a causal relationship between e…

  13. comment
    Comment #48971237

    I agree with the goals of the policy but I don't understand how it's enforced. How do you determine if something is enhanced by AI versus just Photoshop or something else? Apart fr…

  14. comment
    Comment #48921320

    I think gstatic.com was down yesterday or something because a ton of websites just stopped working. Spotify on Android got an order of magnitude slower recently. These are just the…

  15. comment
    Comment #48914509

    Read Cal Newport's books on study habits. Learn to use Anki to leverage spaced repetition to intentionally put things into your long term memory. This step comes after understandin…

  16. comment
    Comment #48865008

    OCaml is such an obvious solution to their problem that I'm shocked it wasn't even mentioned. You get fast compile times without sacrificing type safety.

  17. comment
    Comment #48864910

    You can take advantage of spaced repetition just for scheduling the review of proofs and problems you've solved before. By review, I mean attempting to solve them like you're seein…

  18. comment
    Comment #48864769

    You were actually using spaced repetition implicitly whereas they were using flashcards to cram. The issue wasn't the flashcards but their own failure to use them effectively.

  19. comment
    Comment #48864651

    "Active recall" specifically (aka the testing effect [0]), as opposed to passive recall like rereading. [0] https://en.wikipedia.org/wiki/Testing_effect

  20. comment
    Comment #48839783

    The thing about Scheme is that learning the syntax takes 10 minutes and then you can just focus on computation.

  21. comment
    Comment #48664612

    To the extent that you use AI at all, it should be to accelerate your own understanding in ways that are independently verifiable/falsifiable. AI amplifies what you are. If you tak…

  22. comment
    Comment #48533898

    Most UIs in practice boil down to state machines which are extremely amenable to formal verification. Hillel Wayne's writing is a good starting place to learn more: https://www.hil…

  23. comment
    Comment #48406306

    Types replace entire classes of tests that coverage metrics wouldn't detect [0]. Types are also documentation! They also decrease the degrees of freedom LLMs have to make mistakes …

  24. comment
    Comment #48377488

    Ask (tell!) Jose to release the manga reader!

  25. comment