Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
ekidd
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
43 ms
·
451.
▲
by
ekidd
4y ago
That's heartbreaking. 20 mph on a mixed-use trail is dangerously reckless, unless you get a long empty stretch out in the countryside. There are always groups of 4+ pedestrians who will suddenly spread out and block both lanes comple
452.
▲
by
ekidd
4y ago
Huh, I used to commute on a mountain bike in Somerville, MA. There were a couple of sections where I normally hit 20-25 mph on downhills. (Ones with no side roads to the right, and no tight corners.) I wouldn't have wanted to wipe out
453.
▲
by
ekidd
4y ago
At this point, web3 is becoming strongly associated with high-profile scams, many of them likely criminal. It's also associated with people who won't stop talking about how the blockchain will make your teeth whiter, or something
454.
▲
by
ekidd
4y ago
> If they have an enterprising personality In practice, this usually means, "Do they want to mostly give up coding and learn how to sell to corporations?" It's not necessarily a bad thing! Corporations have money and sel
455.
▲
by
ekidd
4y ago
Technically, both the original Open Source Definition https://opensource.org/osd and the older Free Software Definition https://www.gnu.org/philosophy/free-sw.html.en#translations both explicitly requi
456.
▲
by
ekidd
4y ago
Normally, yes. Different kinds of blocks are listed at the bottom of an instance's "About" page. Often there's a note for each blocked instance, too, though some admins leave that blank. I've seen a couple of server
457.
▲
by
ekidd
4y ago
Nope! That part is pretty neat. It works a bit like "cell-phone number portability" in the US. You set your original account to point at your new account, and you tell your new account about your old account. All of your followers
458.
▲
by
ekidd
4y ago
Why would your server be disconnected? Plenty of people are on self-hosted servers, and we can follow each other with no problem.
459.
▲
by
ekidd
4y ago
> It should be always up to user to decide who they want to communicate with. I want to decide to ban user, or ban topic/tag, or even ban server, not have decision deferred to whoever is running the server, that's no better th
460.
▲
by
ekidd
4y ago
> Does the federated model deal with that? I understood that the owner of an instance can moderate any posts that come from that instance, whereas the only moderation you can do of external instances is to ignore the whole thing. Masto
461.
▲
by
ekidd
4y ago
> If the employee leaves, they lose the account. The Mastodon software actually allows moving an account between instances fairly easily, though it requires cooperation from both the source and the dest instance. When you move an accou
462.
▲
by
ekidd
4y ago
Oh, cool! And yeah, licenses can be challenging and frustrating, especially the first time you release a major project. I am really super excited by the idea of embedded Datalog in Rust. I sometimes run into situations where I need somethin
463.
▲
by
ekidd
4y ago
> If a community forms and after I understand the consequences a little bit more, the license may change if the community decides that it is better for the long-term good of the project. For the moment though, it is staying AGPL. Yes, I
464.
▲
by
ekidd
4y ago
This is a really impressive piece of work! Congratulations! I note that it appears to be a library, but it's licensed under the Affero GPL. I believe this means that if I link your library into a program, and if I then allow users to i
465.
▲
by
ekidd
4y ago
To give people an idea of the subjective difference... Decades ago, I used to be a bicycle commuter in Somerville, MA (USA). There weren't any usable bike paths, and so cyclists had to use the street and follow traffic rules like any o
466.
▲
by
ekidd
4y ago
Russia's government officials have vaguely threatened nuclear war against multiple European countries this year alone. NATO is standing together for now, but some major political parties in key NATO members have connections to Russia.
467.
▲
by
ekidd
4y ago
Regular Rust code uses references almost exclusively. (Unless you're working in kernel space or building fancy data structures.) The big difference between C++ and Rust is what happens when you get something wrong. C++ has lots of unde
468.
▲
by
ekidd
4y ago
> My question is: can one be self-employed fixing bugs? If so, what are some effective strategies to make it a reality? As a former freelance developer, I think you might be able to make this work. I would guess that: - You'd ne
469.
▲
by
ekidd
4y ago
For experienced players of factory or strategy games, Mindustry starts out really easy. You can just build a wall at a choke point near the enemy spawn, stack up turrets, and go about your business. At higher levels, it gets more challengin
470.
▲
by
ekidd
4y ago
> That way you can just throw away all of the “tech debt” of the old base while starting at a higher tech level. The classic way to do this is to load up a train full of supplies and drive somewhere further from the start, with more enem
471.
▲
by
ekidd
4y ago
> What about this prevents students from hanging out in office hours? It's not about office hours. It's more about the connection between MIT and the massive surrounding tech community. I was briefly an MIT employee, and I gave
472.
▲
by
ekidd
4y ago
> Yet none of them was willing to wait for the first stable release. After trying the beta, they were hooked. When consulting, I could always tell which clients had serious traction: Even if their product was incomplete or buggy, custo
473.
▲
by
ekidd
4y ago
I've written quite a bit of production code in C++, Python and Rust, and currently work on a hybrid Rust/Python system. Here's my experience: - C++ is an unusually large language. And it has many historic footguns, requiring
474.
▲
by
ekidd
4y ago
You could certainly say "The path along the ridge was treacherous." But this suggests that any footstep might betray you. But there are many other words that could replace "very dangerous" in certain contexts: perilous,
475.
▲
by
ekidd
4y ago
Speaking as someone who has spent time optimizing C++ and Rust, memory allocation in hot loops is often where performance goes to die. GC or not, if you want to fast, reducing allocation is one of the first things to benchmark. (One fast wa
476.
▲
by
ekidd
4y ago
Here's my reasoning on why dependent types may still be a couple of language generations from the mainstream: - Dependent types are hard to retrofit onto an existing language. (Retrofitting generics has had very mixed results, and depe
477.
▲
by
ekidd
4y ago
Fixed. Thank you!
478.
▲
by
ekidd
4y ago
This is one of my two favorite books in The Little <X>er series. The other is The Reasoned Schemer . The Little Typer provides an introduction to dependent types. These can by used to guarantee things like "applying 'co
479.
▲
by
ekidd
4y ago
> Apart from anything, you should be using these most popular technologies if only for the sake of recruiting. There's actually a tricky tradeoff here. Many startups working on hard problems can benefit from making one weird tec
480.
▲
by
ekidd
4y ago
Joel Spolsky had an ancient article titled "Three Wrong Ideas From Computer Science" (2000): https://www.joelonsoftware.com/2000/08/22/three-wrong-ideas-... Some parts of this don't hold up tha
More ›