Live data from Hacker News

Viewing profile — NathanFulton

NathanFulton

HN member
Joined
Tue, May 09, 2023, 2:23 PM UTC
HN karma
19
Public activity
9 items

About NathanFulton

Things I've worked on:

- KeYmaera X (theorem prover): https://github.com/LS-Lab/KeYmaeraX-release

- IBM VSRL (Safe Reinforcement Learning): https://github.com/IBM/vsrl-framework/

- CodeWhisperer (generative AI coding assistant): https://aws.amazon.com/codewhisperer/

Personal site: https://nfulton.org

Recent public activity

  1. comment
    Comment #36184724

    It's probably a matter of audience. For the folks I've been teaching lately, who mostly know some combination of Java/C++/MATLAB, the Pythonic version is probably harder to follow.…

  2. comment
    Comment #36155284

    > For anyone who is not a Python beginner, but is an ML beginner, the shorter version is much more approachable, as it puts the subject matter more front-and-center. It certainly d…

  3. comment
    Comment #36154668

    I collect mini implementations of ML things for teaching purposes. In this case, the longer-form version is a better artifact. Pithy readable implementations of core ideas have a l…

  4. comment
    Comment #36153151

    > Have there been any good studies on programmer productivity? Yes, but mostly from the companies developing these products: * The CoPilot productivity study by Peng et al. that is…

  5. comment
    Comment #36127747

    > Einstein's letter to Roosevelt was written before the atomic bomb existed. Einstein's letter [1] predicts the development of a very specific device and mechanism. AI risks are pr…

  6. comment
    Comment #36126611

    Absolutely. These are the types of pragmatic, real problems we should be focusing on instead of the "risk of extinction from AI". (The statement at hand reads "mitigating the risk …

  7. comment
    Comment #36126455

    Illah Reza Nourbakhsh's 2015 Foreign Affairs article -- "The Coming Robot Dystopia: All Too Inhuman" -- has an excellent take this topic [1]. All of the examples of AI Risk on safe…

  8. comment
  9. comment
    Comment #35876808

    The feasibility of automatic verification and ease of specification played incredibly important roles in the historical development of specification languages. This raises an inter…