NathanFulton
- Karma
- 19
- Created
- May 9, 2023 (3y ago)
- Submissions
- 0
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
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. Anyways, now I have two ways of saying…
> 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 depends on the audience. Interestingly,…
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 lot of value. I don't see much value in…
> 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 summarized in a Blog post [1] with…
> 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 presented without reference to a specific…
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 of extinction from AI should be a…
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.ai [2] are reasonable concerns.…
The feasibility of automatic verification and ease of specification played incredibly important roles in the historical development of specification languages. This raises an interesting question: what new computational…