SebastianFish

6 ms·

1. 1.▲
   by SebastianFish 5y ago

   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 some languages offer features to simplify certain kinds of sta
2. 2.▲
   Ask HN: Language design to mitigate supply chain attacks?

   2 points by SebastianFish 5y ago|8 comments
3. 3.▲
   by SebastianFish 5y ago

   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 software development to painting. When you paint a room, most of
4. 4.▲
   by SebastianFish 5y ago

   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 interesting is statically proving properties about the specificati
5. 5.▲
   by SebastianFish 5y ago

   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 software development teams and have them build to the same set of
6. 6.▲
   by SebastianFish 5y ago

   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 CompCert verified C-compiler for instance. What if machine learnin