mratsim

33 ms·

151.
by mratsim 5y ago
Indeed, if we wanted to prevent it we would use ADA/Spark or a language with formal verification support say Frama-C.
152.
by mratsim 5y ago
To be fair, Internet in the 90s was the same: https://www.newstatesman.com/science-tech/internet/2016/08/2...
153.
by mratsim 5y ago
Reducing the money supply.
154.
by mratsim 5y ago
I already feel that way everytime I see that floppy disk "save" icon.
155.
by mratsim 5y ago
That's because it's polynomial commitment based on pairing-based cryptography (elliptic curves) but there are schemes based on hash functions (FRI) that are quantum secure. The main advantage of pairings is that you can have const
156.
by mratsim 5y ago
People without a Github/Gitlab start with a huge disadvantage in the hiring process at my company since they don't have code to support their claims and that they can walk us through together. Now I get some people don't have
157.
by mratsim 5y ago
Please let PGP retire as a pioneer now and not as a laggard tomorrow. - https://latacora.micro.blog/2019/07/16/the-pgp-problem.html - https://soatok.blog/2020/07/08/gnu-a-heuris
158.
by mratsim 5y ago
Is this scraping a subtitle service + retrieving the timestamp from the subtitle and displaying it?
159.
by mratsim 5y ago
In Europe healthcare doesn't eat your salary like in the US.
160.
by mratsim 5y ago
If you want to attract the best talents you also need sufficient benefits. A sense of purpose alone won't let you lodge in cities with high cost of living. If anything, I dare say running a non-profit usually requires a lot more skills
161.
by mratsim 5y ago
Speeding 2x isn't enough to enable attacks when they already take exponential time. It applies most commonly to curves with an equation of the form y^3 = x² + b which mathematically imply that (x, y) and (x, cuberoot(y)) are both point
162.
by mratsim 5y ago
And then there is super warp speed using group endomorphisms to increase scalar multiplication by 2x over windowed methods.
163.
by mratsim 5y ago
I usually explain extension fields as similar to complex numbers with regards to reals. I've collected a lot of extension fields references while working on my own implementation: https://github.com/mratsim/constan
164.
by mratsim 5y ago
Another arrow for the Four Horsemen of the infocalypse: - child pornographers, - terrorists, - drug dealers, - money launderers / organized crimes
165.
by mratsim 5y ago
Unfortunate name collision with my constant-time pairing-based cryptography library :/. https://github.com/mratsim/constantine
166.
by mratsim 5y ago
He seems salty about missing the train on tech companies (and that growth companies have been beating value companies for years) and blockchain. Agree on jealousy. The part about kidnapping is the eternal argument against any attempt to inc
167.
by mratsim 5y ago
The biggest innovation for me would be solving clickbait titles. Would absolutely not be boring.
168.
by mratsim 5y ago
Same in France especially Paris. A decent home (say 80 m²) is at least 700k€ at the moment. Only people who bought a decade ago, work in Finance or as a notaries or sold shares in a successful startup can afford it.
169.
by mratsim 5y ago
Or ask for 6 figures, especially for remote work and you can just work for Swiss or Silicon Valley companies.
170.
DeFi 2.0 – First Real World Loan Is Financed on Maker(medium.com)
1 points by mratsim 5y ago|0 comments
171.
by mratsim 5y ago
The fact that issues in Linux can kill people is exactly why they need leadership buy in first. There are ways to test social vulnerabilities (pentesting) and they all involve asking for permission first.
172.
by mratsim 5y ago
Vulnerabilities in OSS are fixed over time. They are fixed by people running the code and contributing back, by fuzzing efforts, by testing a release candidate. The difference between OSS and closed source is not the number of reviewers for
173.
by mratsim 5y ago
Pentesting has wide accepted standards and protocols. You don't test a bank or Fortune 500 security system without buy-in of leadership ahead of time.
174.
by mratsim 5y ago
Sure, don't attribute to malice what can be attributed to ignorance. But you have to admit that backdooring Linux would be huge and worth billions.
175.
by mratsim 5y ago
TIL that opensource project maintainers aren't humans.
176.
by mratsim 5y ago
You should apply to auditing firms (Trail of Bits, Open Zeppelin, Quantstamp, ...). They are all booked 3 months in advance at the very least and would love to onboard new blood.
177.
by mratsim 5y ago
> Its a functional language which allows formal verification. Imperative languages can also be formally verified. See the K framework for formal modeling and verification of EVM smart contracts. Detailed list: https://github.c
178.
by mratsim 5y ago
EOS and Steemit are delegated Proof-of-Stake, people elect "grand stakers" that will do everything, and this lead to briberies.
179.
by mratsim 5y ago
Arbitragers gladly pay 10% of their risk-free income to lenders to execute an arbitrage opportunity.
180.
by mratsim 5y ago
> I mean 20 years ago there were no crypto currencies. Actually wrong. - David Chaum, 1982, eCash - Adam Back, 1997, HashCash - Wei Dai, 1998, b-money - Nick Szabo, 1998, BitGold

More ›