Viewing profile — NathanFulton
NathanFulton
HN member- Joined
- Tue, May 09, 2023, 2:23 PM UTC
- HN karma
- 19
- Public activity
- 9 items
- HN profile
- View on Hacker News ↗
About NathanFulton
- 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
-
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.…
-
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…
-
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…
-
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…
-
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…
-
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 …
-
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…
- comment
-
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…