Viewing profile — SebastianFish

I think you have good points about the file signature and key-verification. I was hoping that we could expand the conversation around static analysis of library functionality as so…

Question: Hacker News, if someone were designing a new programming language (or library system within an existing language) to mitigate supply chain attacks, what features would be…

I think the problem this product is trying to solve, making it easier to implement rigorous testing, is an important one. When I talk to junior developers I compare enterprise soft…

I think you are speaking to one of the core tensions in formal methods. The difference between a specification and an implementation can get blurry. Where formal methods get intere…

Testing different methods of development in terms of speed, cost and quality is really hard. The most convincing approach to me would be a single blind experiment to hire two softw…

What interests me most about the development of tools like this is how it might go on to influence the evolution of programming languages. The article that was posted on the CompCe…