Week 41 - 2023

Week 41 - 2023¶

Done¶

• Puro: Dart SDK downloading logic
• Downloaded every Dart version

TODO¶

• Read ComponentFile
• Read ClassTypes
• Read other primitive types
• Convert from grammar to BinSpec
• Dart SDK downloader
• Test with analysis server snapshot
• Implement writer
• Verify

• Test delta compression

• Artifact database?

Abstrata Pitch¶

Technology is in a weird place right now, there is a lot of uncertainty about what software development will look like in the next few years. What is clear is a trend towards us telling computers what to and them figuring it out on their own.

In an engineering we call these constraints, you constrain the ‘end state’ with the desired effect and a program figures out how to accomplish that. The algorithms used in constraint solving are usually very complex and inefficient but computers are fast and the engineer’s time is valuable.

Automated solvers are useful in countless industries:

• Financial systems, accounting, clearing, trading
• Cybersecurity, reverse engineering, automated vulnerability detection
• Data science, machine learning, parallel processing
• Hardware verification and optimization
• Infrastructure planning, energy distribution
• Manufacturing, transport logistics, resource allocation

What holds back adoption is simply the ergonomics and lack of standardization, the best solvers and proof assistants are designed for mathematicians, not application developers.