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
> 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…
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.…