skysight-inc/HackerNews huggingface dataset:
I still think you didn't get my point, since you seem to be arguing a point I didn't make :)

I'll boil it down to just a couple of sentences: It's a democratic problem that 99% of all public discourse is subject to veto and policy from advertisers and payment processers, and the drive to maximize income from these. Even if you disagree on everything else, at least the consequent polarization should be bad enough to concede this point.

Solution? Well, obviously the advertisers are free to do what they want, but that doesn't make their pervasive influence any smaller. A problem doesn't disappear just because solutions are elusive.

My guess is that Musk wins the battle of the wills here; he no longer needs to maximize advertiser income, just get enough to make the wheels turn. I wouldn't bet the farm on him resolving the issues I've highlighted; he's far too mercurial to have any confidence on that. But he does have a shot, as opposed to everyone else.
Same is true on Twitter, only you’re not earned about it.
Prove they aren't. Prove they'll never be. I'll wait.
>The myth of the Fediverse as some libertarian promised land free from censorship and heavy handed control is just farcical.

I have problems controlling my snark at times, but this is how any libertarian idea should be viewed.

But also to counter that, why do people think that libertarianism encodes the right to an audience, and serving up convenience and an easy to use system (that's much more capitalism oriented). You're free to host your own mastodon server and connect with any server you like and that will accept you, and that the government has not right to block this communication.

Of course this is where I go back to disparaging libertarians as try to hold the opposing viewpoints of absolute property rights and that you should let them your server in defiance of your property rights.
The internet allows for new things that didn't exist before.
In a similar vein, I grew up in the era of Carmack .plan files and have always wanted to set something up for myself. There is a webfinger protocol but it suffers from the discovery problem (how do I even consider looking for one on a random host?!)

Is ActivityPub appropriate? It seems like it, especially with the “honk” system discussed here, but I’m curious if anyone else has tried this or if there’s better alternatives? I’ve also considered… that modern version of Gopher, but it has an accessibility problem for all but super dorks (which, honestly, probably isn’t too big of an issue for the kinds of people who would be interested in what I’m working on)
> FP functions

Pure functional, yeah, absolutely - that’s not what I usually see though. I see procedural/iterative static functions that connect to static data that connect to live databases and immediately start caching its contents locally.
The underlying protocol is called ActivityPub. https://activitypub.rocks/

Here is the spec: https://www.w3.org/TR/activitypub/

I haven't read the whole thing yet, but it doesn't look very complex.
If you own an old house with hot water radiators and have a radiator or two that doesn't seem to heat up much, then you owe it to yourself to spend $5 for a radiator key:

https://www.amazon.com/radiator-key/s?k=radiator+key

Over the years, air can collect in the radiator, and it keeps hot water from flowing through it. Radiators will have a little square screw valve near their top, and you use the key to bleed the air out. Voila! The radiator will get hot.
The compass button slightly confuses me. I thought the arrow in anticlockwise direction was intended to turn the map anticlockwise, but it actually works like a GPS navigator, i.e., it works as if I turn my car to the left and the direction ahead is always the upward direction on the map.
I mean casting to get mocks to work in unit tests, not live code.

Probably there's a better way. I'm not a C# expert. But I was a Java dev for 10 years so it's not super unfamiliar.
Federation means you go from many to one.
Confederation means you act as one but remain many.

Instances can block other instances. That's not a Federation. Instances can have other rules and allow other content. That's not a Federation.

Mastodon is a confederacy by definition.
It's pretty easy to migrate your account from one instance to another. So if you don't like the policies of your current instance, there isn't anything keeping you there.
If you think ctags or rtags are even remotely comparable to what an actual IDE brings you you have absolutely never used more than 10% of what an IDE with semantic understanding of your code can do
Battle tech community that absolutely loves walking mechs also usually understands that tanks are just better in most situations.
There is even some scary tank mods for mechwarrior to make them more realistic in how over powered they are.

Still, love the idea the genre.
> Your name is crossed off on a piece of paper to say you've voted.

In the US, this is racist.

> where all the candidates and their teams can see

In the US, this is insurrectionist.
>I think it's better to catch errors sooner than later. This is where type checking helps.

Agreed. It is better. But it's not that much better. That's why python is able to beat out C++ by leagues in terms of usability and ease of debugging and safety. This is my entire point. That type checking is not the deal breaker here. Type checking is just some extra seasoning on top of good fundamentals, but it is NOT fundamental in itself.

>As for C++ "non-determinism": If you write buggy code that overwrites memory, then of course you're going to get segfaults. This isn't C++'s fault.

This doesn't happen in python. You can't segfault in python. No language is at "fault" but in terms of safety python is safer.

This language of "which language is at fault" is the wrong angle. There is nothing at "fault" here. There is only what is and what isn't.

Also my point was that when you write outside of memory bounds, anything could happen. You can even NOT get a segfault. That's the problem with what makes C++ so not user friendly.

>I've seen plenty of code in all languages (including Python) that appears to exhibit chaotic run time behavior. At a previous company, we had apps that Python would bloat to gigabytes in size and eventually OOM. Is this "non-determinism"? No, it's buggy code or dependencies.

This is literally one of the few things that are non-deterministic in python or dynamic languages. Memory leaks. But these are Very very very hard to trigger in python. But another thing you should realize is that this error has nothing to do with type checking. Type checking is completely orthogonal to this type of error.

>I think it's better to catch errors sooner than later. This is where type checking helps. I've seen plenty of Python code that takes a poorly named argument (say "data").. is it a dict? list? something from a third party library like boto3? If it's a dict, what's in the dict? What if someone suddenly starts passing in 'None' values for the dict? Does the function still work? Almost nobody documents this stuff. Unless you read the code, you have no idea. "Determinism" of code is determined based on inputs. Type checking helps constrain those inputs.

When you get a lot of experience, you realize that "sooner" rather then "later" is better but not that much. Again the paradox reels it's head here. Python forwards ALL type errors to "later" while C++ makes all type errors happen sooner and Python is STILL FAR EASIER to program in. This is evidence for the fact that type checking does not improve things by too much. Other aspects of programming have FAR more weight on the the safety and ease of use of the language. <-- That's my thesis.
1 in 3 People Get Covid-19 Rebound Symptoms, Even Without Paxlovid
Bitclout's main flaw is that it is not decentralized. It's also difficult to move a userbase because of network effects.
Decisions can be big but still easily reversible. And it makes sense to not hesitate with those, I think.

That is indeed something I've applied to buying an apartment in the past. I bought an apartment and ended up not liking it too much, so I sold it and bought a different one a few years later. Now I'm thinking about selling it again and buying something in a different part of the world. I don't see why making a choice and making a different one later is bad advice here.

Of course, there are choices that are difficult to reverse. Then some hesitation makes sense in my opinion.
Seven?! Do you work at a Mission Control Center? : - ) I'd love to see your setup.
Maybe this is pointless to ask, but please don't steal.
> There's no shortage of people who enjoy the acquiring the skills to write code?

There certainly is a shortage, or salaries would be lower. Anecdotally, at least 90% of the people I talk to say something along the lines of “ooh I could never do that” when they learn what I do for a living. Most people seem scared of coding, and I’m not entirely sure why.
Even if the public square analogy held, wouldn’t that be an even better argument for federation? Do people really want the “global public square” to be controlled by one man, or even a publicly traded company?
Addendum: Self-consistency basically amounts to periodic boundary conditions – not really surprising when you have (almost) closed time-like curves.
I haven't read much about it to be honest. I know they must be doing something clever under the hood to make it run so we'll on that hardware.
One similar group has it slightly worse than [people] doctors: veterinarians.
> you are unlikely to keep the entire snippet unmodified

Does that matter? It's not the end users who are being accused of copyright violation, it's the tool itself.
Validating is just the process of ensuring an input is admissible in the way you want to use it. That can be symbols in a string, whether a string is an e-mail or even if a number is in a certain range. Escaping is just validation + fixup which can be used in some cases. Anyway the only way to validate an e-mail in practice is to use it and confirm.
> However we also need a public square online

Why? What is this notion based on? A global public square never existed in the history of our species, why do we keep bringing up the idea of a public square as something completely reasonable?
Does it sound elitist to say that maybe a small barrier to entry could make for better quality social networks? Especially if the tradeoff was giving users more creative control over their spaces?

I guess you wouldn't get billions in ad revenue that way, but your expenses could be miniscule, and isn't it possible that a rapacious profit motive is part of the core problem with Meta, Twitter, & co?

Or are there really too few people in the world who could figure out how to log into a <$5/mo cloud VM?
Not when the observers are banned from the room because social distancing.
Just the pain of actually figuring out its going on or atively monitoring, and the the non-zero hassle of finding, choosing and transferring to another instance. And then be prepared to do it all again. This is not stuff the average user wants to ever be bothered with.
I was going to say, what, you think the US somehow forced Putin to invade against his will?

But then I remembered that there are, somehow, people who actually do believe that.
> "Just because someone [...] recognises [sic] the fact that sexually reproducing mammals like us come in two sexes [...] does not mean they are 'right wing'."

Yeah super weird, why would I bring up the most-often conflated term in right-wing discourse regarding transgender rights when you repeat their views almost verbatim? SUPER weird.

I've read the New Discourses assessment, thanks for sharing. Unfortunately, it didn't really shed light on any new topic or idea, but finding the author to be a self-professed nationalist was of little surprise.

If I may suggest some reading, pick up a copy of The New Jim Crow by Michelle Alexander. I wouldn't mind lending mine, either - I'll even cover shipping charges.
My point here is that static types didn't do much to improve C++. We should be focusing on what made C++ bad. The things that made C++ bad and the fixes for those things are what makes python Good.

I'm saying type checking is not one of those things.
Why does that need to be a single place? Surely having a single place ensures a limited set of views because there has to be a "one size fits the world" moderation policy.

Smaller distinct places that iter-operate and have the same UI for consistent UX seems strictly better for a public square.
This is the part that never made sense to me. The way mastodon is built the server automatically downloads all content you federate with to your own server. That means if someone on your instance hits follow on any account, boom you're now legally responsible for hosting and disseminating everything that account posts. It's just not practical to moderate every post from every account anyone on your server follows. Even one seriously egregious image squeaks through and you're looking at the possibility of actual jail time.

I always wondered if the expectation could be flipped to expect the frontend client to fetch the majority of content remotely from the followees' servers on the fly. The architecture is so complex in a federated scenario though that could be a total mess or not even technically feasible at all.
It's an argument for decentralization. Decentralization > Federation for a global public square.
No thanks, I don't want illegal stuff on my feed
Ask HN: What’s it like being a Tesla engineer at Twitter?
I'm sorry, should they have voted for Trump instead? Those where the only real pragmatic choices.
I'm not sure if the boomers listening to music with messages about political change are the same boomers who voted for Reagan. Those who want real change are always dwarfed by "moderate" status quo types, who are largely apolitical and uninformed and therefore easily swayed by fascist messages such is the fundamental nature of the average person throughout time. It takes effort and thought to remain progressive.
> sendToEmail sends to any kind of Email.

That's my point, you don't need a combinatorial explosion of behaviors for every possible most-specific-type, you can just reuse existing ones.

> And if the code wants to know if an Email is verified, it inspects the verified field.

That's exactly what you shouldn't do. Runtime "type" inspection is just bad overly distributed parsing. The point of typing is to move errors to compile-time.

emailLaunchCodes = (email: VerifiedEmail): Promise<void> => ...

This doesn't need to inspect anything, because the type signature guarantees that someone else has already handled that.

> Whether you centralize the verification code (or otherwise have a separation of concerns for it) or not is independent of whether you use the type system to express when an email is verified or some other mechanism.

Separating the verification code - which is table stakes, really - doesn't guarantee that you're not accidentally adding or losing "verification" elsewhere. Types can and should.
I agree. Also, observe that companies that employ programmers for internal use (not part of the product) don’t pay nearly as much.
Or you can raise funding and throw money at the problem. Twitter (the product and user base) isn't something that you can clone in a weekend (and frankly speaking, if your focus is only on the technical part of this in 2022, then you are solving the wrong problem).
As an Oslo resident and occasional christmas mall shopper, I can attest that there has been zero EV fires in relation to this scenario. Neither has there been any serious scenarios started due to an EV. Few fires has started happened to unsafe wall charging with extension or bad circuits not approved for EV charging (Using standard electrical socket charging EVs at personal homes is now outlawed, but not enforced, and installing approved and much faster 16V chargers at homes and garages is a very common selling point in real estate.)

Anecdotally, an airport parking garage burnt down in Stavanger due to a diesel Opel Zafira from aprox 07’ self-catching fire sometime the last two year, it was speculated at that time that it was an EV in media (Sorry no source, easily googleable).
People using laptops, for instance.
> The rest seems to just be Musk doing Musk and manufactured outrage

Is it wise to sail the sea with such a captain at the helm? Sure it's the same old boat, and we're heading to the same old destination, with the same old crew. But something is amiss.
Then don't go to those servers. Isn't that what "freedom of association" is about?

Also, is the functionality dystopian or the application thereof?
A Radically Different Model of American Education: The University of Austin
There's a Simpson's episode where Homer consumes some and goes into a hallucinogenic trip overdosing on the flavor of a thousand foodstuffs.

So caution would be advised.
Lets say email didn't exist, and instead it came out today, do you think there's a chance in hell it would succeed? Everything in the early days of the internet was difficult in one way or another. Trying to get grandma's AT string right so the modem wouldn't drop at 24000bps and getting the POP3 server was configured was a nightmare. It mostly got easier for the masses when webmail became a thing. But again, I think it would fall on its face if introduced now.
This is offensive. To suggest my opinion has no connection to reality?

Read what I wrote carefully. I'm not talking about type errors. I'm talking about errors in GENERAL.

Your comment is carefully tailored to incite flame war. You represent HN bias at it's finest, reading something and giving a casual dismissal without really interpreting it.
I can see logic in this. "Local", federated spaces are more analogous of a public square in my view.

On the other hand, a global neutral public square where all ideas can be expressed and challenged is just not feasible in any meaningful way.
I thought Dillon cron was the default cron in Slackware? Hard to be a more major Linux distribution than Slackware, in terms of historical impact if not current popularity.
Is it possible for instance owners to impersonate people on their server?
Regardless of perceived ease, they cover this:

"Controlled experiments have used various landing substrates, including striped and solid oil tray traps, sticky plastic, smooth plastic, cloth (Experiment 2 in [22]), horse blankets or sheets, and paint on live animals."
> Post-Musk Twitter can't really afford to do any of that stuff

What if it doesn’t need to?

Chances are 99% of the users use the basic functions, and are just happy with the average twitter experience.

And I’ll tell you what there are even public people that post ok twitter against their will (I’m thinking of journalists and authors that post on twitter because their employer/editor requires them to do so).

Most likely the true value of twitter is the network effect and its critical mass, not much the fancy ai stuff or whatever.
What a useless distinction - no server is going to allow all content
Bringing "monetizable" to "monetized" is a completely different story. YT premium has only 50 million premium+music subscribers with much stronger contents and a more suitable format for monetization. And they only could bring roughly only 2% of YT users with very aggressive marketing.

I would say the conversion rate would be closer to 0.2% for Twitter assuming the best scenario since it doesn't really have a content model and there's no incentive for good publishers to participate. This will give Elon precious ~$30M ARR at the cost of pissing advertisers off. Oh and don't forget that Elon still has to pay $1B just for annual interests.

Perhaps they could turn @elonmusk to a protected account and offer paid $8 subscription per month for "super follow" or whatever. Maybe it's a better monetization model given Elon's significant influence to the crypto market... :sigh:
But there's also less of a reason for anyone with permission to read DMs @ Twitter to do so, possibly with logging for any audits into unauthorized access. For mastodon, chances are your instance is focused around some general interest and thus getting on an admin's bad side could mean abusing their power to extract personal information/DMs from your account.

The only real issue with this wrt Twitter is that such failure of their internal employee auth allows malicious attackers to access DMs as well: https://techcrunch.com/2020/07/22/twitter-admits-hackers-acc...
> But provably no propper head tracking

They are supposed to include 6DOF positional tracking. Do you mean it's not "proper" because it's inside-out tracking?
I haven't downvoted you, but I imagine others are because your comment reads as somewhat off-topic and ends with obvious self-promotion.
Those channels are illegal to use outside of the copyright issues they're intended for. It's not just a free "hey take this down for me, will ya?" button.
I thought this was simulated quantum annealing.
It's probably impossible to accurately simulate the climate of the planet decades into the future.

That does not meaningfully detract from the evidence for human caused global warming however.
Do you have a business model in mind?
"Please enable Javascript and refresh the page to continue"

...
I think it's because it's crypto-currency related.
Sometimes you get a device from a client who got it from another company who got it from etc etc. And it's been configured via internal memory to talk at some baud rate with some parity, and if you're really unlucky, it won't transmit unless it's received a command. And, like somebody else commented above, sometimes the Tx and Rx pins are just the wrong way around.

Your experiences with USB sound incredibly frustrating. But RS232 can also be crap in its own unique ways.

But to be fair, I do still rather like working on well behaved RS232/422/485 equipment, where you plug it in, set it to 9600 baud 8N1, and you just start seeing a stream of easily parsed text scrolling down your terminal :)
Yes, interoperability between multiple interfaces is ideal. However federation can break this interoperability because the conversation can be fractured by instance owners. Decentralization with strong user-selected filters is the ideal model for a public square.
The UK last spent a whole year on GMT in 1915.
That's a really bad take. GPL or AGPL License is not because someone doesn't want their code to be out, it's because we believe in fair contributions, ownership and building the projects in a community. Open Source with GPL is a Tit for Tat system (you either make things better for everybody, or you don't), not 'get altruism for free' system.
> Might spend $300-500 a month that way.

$6,000 per year is a long way from zero. That's ~20% of the median income.
I urge you to go speak (in depth) with women who did CS and then worked 5+ years in tech.

IME doing this, many are happy with no regrets, but all have truly horrific stories to tell.
Those are only advice to the compiler, but importantly `safety` is about run-time error checking. Pushing `speed` higher and dropping `safety` to 0 means that runtime type checks might be removed for certain things, but it's not required to. Like if you've similarly declared that a variable definitely holds a `fixnum`, it'll believe you whether that turns out to be the right thing in the end or not. But again, it's advice. The compiler could leave those runtime checks in place, too.
MIT is not a gift. It still requires attribution, notice and license term.

This lawsuit is even not about copy left.
Thank you for the kind words! I'm glad it was useful.

> why not get it from 24V?

There are DC-DC converters in that same family that can do 4.75~36V -> 3.3V, but since I needed the 5V anyway for the LEDs and I/Os, tossing an inexpensive and small LDO for 5V -> 3.3V is an easy call.