I am available if your company needs consulting services for Haskell. I can help with development, design, maintenance, and training. If you would like to learn more, please email me at [email protected].
I've been working on PKAuth, which addresses this problem (not at the TLS level though). I wrote a short blog post [1] with a demo video about the underlying protocol. I'd appreciate any feedback!
Since Baltimore City is getting more money per student, why aren't they able to properly maintain their buildings [1]? Poor management? Corruption? Lack of heating and working bathrooms is inexcusable.
He was also concerned that there's no security proof in the whitepaper. To me, it seems like you could feasibly launch an attack with less than a majority of the computing resources.
I actually sort of like your proposal. Don't individuals have to file for patents and then employees buy it off them for like $1? If this is true, existing patents would fall into this loophole, but new patents could never end up in corporate hands since you can't buy a person.
Another issue I see is that patent trolls could just represent patent owners in litigation and charge high legal fees (or sign a contract that they receive all revenue for the patent).
I don't know whether basic income will be effective, but I hypothesize that its changes in incentives will reduce productivity and happiness for the majority of people.
Personally, I’m more interested in a system where costs of living are drastically lowered. Subsidies could work, but I think technology could play a large role. Imagine a clothing factory where everything is automated. Raw fabric comes in and finished clothing comes out. With minimal human interaction, variable costs should be much lower. Customers might even be able to design custom clothes with software.
Nonprofit organizations could be established to maintain the factories and equipment. Their primary goals would be to minimize cost, ensure quality, and maximize customer satisfaction.
Obviously, such a system would require a lot of capital and technological advances, but I believe it is feasible. This idea could also be applied to other areas like farming, electricity, ISPs, etc.
I feel like you're undervaluing memory safety. Memory safety prevents most (all?) exploits that lead to remote code execution. There can still be high level vulnerabilities, but guaranteed memory safety is a huge improvement.
Rust's type system can be used to prevent high level attacks too. For instance, if an sql library is set up properly, it can prevent sql injection by requiring inputs be properly sanitized.
https://www.nature.com/articles/d41586-020-01738-2
Edit: I misread your qualifier of "under 50 age group". Overall fatality rate seems to be around 0.4% according to the CDC site.