sealeck

7 ms·

61.
by sealeck 1y ago
> Of course Dropbox is dumb when rsync exists. Of course og Twitter was dumb when group sms existed. Of course Bitcoin is dumb because...(waves hands in all encompassing disbelief). Twitter/Dropbox offer more convenience to people:
62.
by sealeck 1y ago
Presumably Hackerone isn't paying to people under US embargo!
63.
by sealeck 1y ago
I think people who find real bugs have lots of incentives to not sell them to criminals (in and of itself a crime!!)
64.
by sealeck 1y ago
Have you tried https://zed.dev ?
65.
by sealeck 1y ago
Even a deposit works well (and doesn't have to be large). Someone who has actually found a serious bug in cURL will probably pay $2-5 dollars as a deposit to report (especially given the high probability of a payout).
66.
by sealeck 1y ago
It's open source? https://github.com/zulip/zulip You do have to pay for a server, but that's kind of inevitable (as in: a server is required to run most chat software, so someone will have to rent one).
67.
by sealeck 1y ago
> They have made a willful choice to be worse. Do you mean that they've accepted more state school students? Because you'd expect to take quite a good number of them if you're selecting the "best"!!
68.
by sealeck 1y ago
> If it compiles, it typechecks. If it typechecks, the proof is correct. This is a consequence of the Curry-Howard correspondence I think this perhaps the most common misconception of how formal verification works. If the program typeche
69.
by sealeck 1y ago
Discord is much, much more user friendly than Matrix!
70.
by sealeck 1y ago
https://zulip.com/ is a pretty excellent chat program that can be self-hosted
71.
by sealeck 1y ago
> how can you verify that a user with a certain public is who they say they are instead of an impostor This sounds awfully much like a cryptography problem to me!
72.
by sealeck 1y ago
If you read the claim they are addressing, it is specifically that > Because of the wind’s intermittency and high variability, they do next to nothing to reduce the need for other fuels. They then (correctly) point out that while wind on
73.
by sealeck 1y ago
Both of these assumptions are true. Obviously these are not trivial problems, and take a lot of work, but they are extremely tractable.
74.
by sealeck 1y ago
> Uranium mining isn't clean at all. Nor is mining for coal!
75.
by sealeck 1y ago
> Because most open source projects don't attract anywhere near those levels of donations. Big ones do! For example, Python/JavaScript/Linux. Some are developed by companies (e.g. Go/Java/Kotlin). Seems perfectly
76.
by sealeck 1y ago
> Wow, paying himself $150k after tax from donations! That's wildly more successful than I would have guessed. Why? The salary Andrew Kelley would likely attract at a corporate is much higher than that. If you want sustainable open-
77.
by sealeck 1y ago
I think you're a little too angry about this.
78.
by sealeck 1y ago
Weirdly, banks in China also use statistical algorithms when assessing their loan books!
79.
by sealeck 1y ago
Try convincing your customers to all get a YubiKey... it's not fun. The majority of internet users are able to read an SMS on their phone and copy a code, however.
80.
I'm All-In on Server-Side SQLite(fly.io)
7 points by sealeck 1y ago|2 comments
81.
How the Blitz enhanced London's economy(blogs.lse.ac.uk)
4 points by sealeck 1y ago|2 comments
82.
Code review can be better(tigerbeetle.com)
391 points by sealeck 1y ago|242 comments
83.
Moving Money Isn't the Same as Building a Business(anildash.com)
4 points by sealeck 1y ago|0 comments
84.
by sealeck 1y ago
Have you interacted with GPT4/5?
85.
by sealeck 1y ago
> with the courts of varying quality You can usually pick the jurisdiction (e.g. many contracts are under jurisdiction of England & Wales/Switzerland/Singapore despite neither party being based there, or doing business ther
86.
by sealeck 1y ago
They also vetted the people who didn't walk on the moon (because they apply the same testing to all astronauts).
87.
by sealeck 1y ago
Yes
88.
by sealeck 1y ago
> especially her preexisting prejudice of Big Tech should have disqualified her from any position well before she took the wheel. The purpose of the FTC is literally to take regulatory action to prevent unfair competition. Your argument
89.
by sealeck 1y ago
That if Amazon acquired it, this would enable it to horizontally integrate and take control of yet another market? This, eventually, woudl lead to lower prices for consumers...
90.
Big Tech Is the Only Winner of the [UK's] Online Safety Act(newstatesman.com)
15 points by sealeck 1y ago|1 comments

More ›