skysight-inc/HackerNews huggingface dataset:
Tesla isn't Stark or Wayne Enterprises. You know that?
Far sexier and larger than most care to admit.
Muslim is not inherent. It is a choice.
Absolutely! We have among our customers a YC company who uses Echoes exactly for that purpose. Their issue was that every two weeks during all-hands, engineering would present a list of merged GitHub pull requests which everyone would applaud to show support with little understanding of what it contributed to. Echoes helped them materialize the missing link between the day-to-day engineering work and the strategy. As you put it perfectly, it creates more visibility and more empathy across functions, and we're quite proud of that :-)
Yoshie Shiratori: the miso soup prison break
Well, you can have that:
https://github.com/badkeys/badkeys

The webpage is mostly just a frontend to the tool.

(Also FWIW I'm not storing any keys that people submit to the form, but of course you can legitimately not trust me on that.)
In this context "they" is "web developers" and the Orwellian scenario you're describing is "The way the web has worked since cookie jars were implemented."

Yes, I don't doubt web developers would mostly prefer not to be bothered and just keep doing what they've been doing. Much cheaper than doing a system audit to figure out if you're GDPR-compliant, concluding with your lawyers that you have no idea if you're GDPR-compliant, and putting up a cookie banner nobody wants just in case. That's assuming you can afford lawyers.

At this point, it's safer to partner with a host that'll manage all that stuff for you than run an independent site. Which, ultimately, the Googles of the world love to hear, because they can afford the lawyers.

The GDPR is an amazing bit of jiu-jitsu to build a moat around competition. All the big names have to do is spend a pittance every so often to stay in compliance and they win the market, while small operators decide the risk ain't worth it because "Just don't collect user data" is actually quite hard to guarantee on a system built atop infinite cheap copying and arbitrary site access.

Not even the apache default logging config is GDPR-compliant. I don't know how anybody expects indie site admins to keep up.
Switching to the "latest tweets" view instead of the algorithmic "home" view helps.
It's not real time, but Apple's map scans are much more 3D. Like Google Maps you can't make small movement adjustments in between designated viewpoints, but the animation of moving from one point to another is pretty slick.

https://youtu.be/Rd8VltIAZjU?t=36
Another completely made-up assertion. Just saying it doesn't make it true.
Elon Musk’s Twitter bid frustrates employees
A nice bit of wordplay but that's nonsense. The difference between statistical facts and material facts is, one is a(system-scale) summary of the other (individual-scale) measure.

I fail to see the nit you're picking at with that second bit. Are you saying they are categories? Suppositions? Made up? Do you mean to imply then that they are "spooks" and their presence in the minds of physical agents has no bearing on physical outcomes?
> The last few years have brought insane progress to the PHP language

I’ve been hearing this for ~20 years, and yet somehow I still find it more painful to use than other languages that didn’t even exist 10 years ago…

(Except for “being easy to deploy on any random bargain-basement shared web host”, which is a hugely important factor where PHP is genuinely best-in-class and no other language even seems to care about competing, and is the reason that I still regularly need to use it)
TSLA's gone up a lot in the last few years, perhaps 20% of Ark's market cap being in a single stock might be bad business? But I wonder if it's more likely to do with them losing 50% of their assets in less than a year:

> As of February 2021, the company had $50 billion in assets under management. By January 2022, assets had dropped to $23.9 billion, after a period of poor performance.
Elon Musk talks about Twitter @ TED2022 [video]
Yes, subreddits really are communities: unique spaces populated by real humans and cultivated by actual human moderators. Each has its own microclimate and culture.

While in principle, you might assume certain topics should have a community of a certain size and caliber, there's no guarantee that such a community exists if the right set of humans haven't happened to coalesce around it.

That's just the nature of human group behavior. You might live in a city that has enough disco fans to support a thriving disco night every Saturday, but there's no guarantee that the right DJs and nightclub will get together to make it happen.
https://archive.ph/j0cJb
There is some security concerns with exporting the ephemeral private key material over a network connection. Technically there is nothing that makes this impossible, but from a policy perspective it may be a nonstarter.
Right, the cost of maintaining systems would be exponentially high for a marginally irrelevant gain on an edge case.
This seems to take on recent Google developments. Now, for good measure, I would like to see something that perverts GitHub Copilot to a similar extent...
I agree. Most of twitter requires self curation. Before following anyone I:

- check their liked items. Is this something I agree with or want on my timeline? Are they being consistent with their online persona? (Is a Christian account going out and liking pics of scantily clad people?)

- check their replies for how they talk to others. Ctrl+f for words or topics I just don’t want to see (and already have muted).

- check their following list. Who are the following? Do I want to see their 3p retweets in my feed?

Regarding the “topics” feature, I almost always click “I don’t want to see this” and I’m at the point where I never see that feature. It’s related to what you “like” so ymmv on how accurate it is for you. Additionally, I never follow tags or trends. That’s just asking for noise.

I’ve effectively created a twitter account that is isolated to “homesteading/gardening/farm twitter” and I’m pretty pleased with the experience. It’s everything I want and nothing I don’t.

It didn’t come without some online weed pulling though ;)
Good response.

Rephrasing my statement: What's going on here is "I disagree with Elon's fundamental values, but let me pick X, Y and Z to make my case and ignore his accomplishments, almost impossible achievements and world of good he has done for the planet, humanity more broadly."

So, it doesn't hold water IMO. Future generations will look at HN discussions (if they're perverse) and exclaim "They really argued about a rude pedo tweet vs. making our species multi-planetary. Boy,..oh boy."
Ironically, he graduated from Brown University, an Ivy League school.
I think it was a massive migration at the "low end" too: fast food places complaining about lack of workers today are at least in part because the workers they laid off early in the pandemic [1] did exactly what you would expect them to do to survive and migrated en mass into "gig economy" jobs that relatively exploded at the same time like Postmates/DoorDash/etc. In some cases those were "raises" too.

[1] The other "big lie" about calling it the "great resignation": there were plenty of layoffs that happened (and didn't need to) and burnt employee good will for short term stock concerns.
> False; Twitter’s algorithm pushes lots of stuff you don't directly follow

I don't see any of that, on the official mobile app with timeline set to "latest Tweets". The only stuff from non-followed accounts I see are ads, and those aren't even terrible.

I do use the killfile zealously though.

I like Twitter precisely because it puts me in control over which accounts I get to see. It's the only social network that I still enjoy using.
Sure, there are many sides to ML. One is the data science bit, curating data, picking a good model. Adjacent to this is research into new models or training methods.

The other side is deploying it efficiently, and that becomes a more routine software engineering problem. Fundamentally you have some code that you want to run as fast as possible on the cheapest hardware you can feasibly use. Large companies like Google have the luxury of splitting this out into several distinct roles - from pure researchers (people publishing papers), to people who train models for business purposes (eg the Google Lens, computational photography, Translate), to people who optimise the ML library code underneath, to people who build out the end user application with the ML model as a black box service.

Most of those people don't need to know much ML, but the exposure can help you transition into a more ML focused role.
It's better to stick to local rules than getting a clique in silicon valley to decide what they think should be acceptable to say. He said he wants more free speech, not to break the laws of foreign countries. If twitter was already doing just the minimum required by law, and Elon said he still wanted more free speech you'd have a point. But they go far beyond that!

This has nothing to do with elonjets btw and if that's the worst example you can come up with... you'd be just convincing those who think that Twitter's moderation policy is horrible. Because for them, a dude censoring people who track him (which won't happen anyways imo) is still insanely better than the current policy that they deem is used to supress entire ideas/events.
> Miscellaneous: joke less, laugh less, stop gossiping.

Ah, so not "Simple Ways to Be Less Divisive" but "Simple Ways to Be Less Divisive in a Business Environment Particular to the First Quarter of the 20th Century."

Additional bullet:

* don't talk about unions-- it will create an instant divide between you and management
What was it you didn't like about Guacamole?
If Elon makes it subscription based in addition to being private, I’m confident that the bot problem will be solved.

Publicly traded companies are too often affected by short sighted investors.
Yes. But the opacity on how to get verified is ridiculous. And Twitter has used revoking a blue check mark as a punishment. As if the person that was once verified is no longer verified. It’s ridiculous.
This documentary might help you see its case: https://www.youtube.com/watch?v=BVUs4dS30c0
What side of the political spectrum do you think is currently not able to voice their opinions on the platform?
Honestly that really kills my interest I have in the language. That’s not realistically going to happen (a reimplementation) or go well (maintaining a fork) with a (frankly) niche language.

I suspect the pool of people who develop locally (on Win or Mac, and need something functional if not optimal) and deploy to Linux is not small.

Is there a particular reason? io-uring?
Or not being able to pivot when your jokes aren't well received.
Also, twitter lists have stood the test of time and seem to bypass any changes they've made to force algorithmic view. That, or using an alternate client (eg. tweetbot, Echofon)
Most people work where they find work, not where they want to work. It's less true in IT, but I'm still betting it's mostly true there
As someone who was in college very recently - this is exactly what they tell you to do, at least at my college and with all the new grad resumes I've looked at as well. It's unfortunate.
I don’t think the licensing is very complicated, myself.

https://tailwindui.com/license
I have so, so may people on my Twitter feed muted for this reason. Toxic crap gets immediately muted - sometimes blocked. Have practically zero patience for crap so Twitter is quite nice for me. If you want to engage in a screaming contest you certainly can but that's not for me.
I was just beginning to like Twitter too...

How long until it becomes a dumpster fire like FB
My point is not at all actually about Twitter itself. It's simply this: once an individual amasses a certain billions of dollars in wealth, their power is effectively permanent for the rest of their (and our) lifetimes. And that power --concentrated into the hands of a few individuals-- is enormous. I claim that his is "not ok."
Why is it a problem if Uber drivers have to roll a 1D20 when they pick you up, and drive away laughing "owned!" every time they roll 1? They're a private company. It adds a little harmless fun and excitement. There's no law saying they have to have you as a passenger. Therefore, nobody should complain or get upset?
So, looks like Twitter will turn into Parler? Let's hope it doesn't become more of a dumpster fire.
Even as a polyglot that picks up new languages quickly and often, I think this is true of most actively maintained major languages now.

We’re in an age where major languages are expected to cross-pollinate: if there’s a cool paradigm or technique in some other major language, how do we evolve our language to support it?

That’s not a terrible thing in itself, but it means that most major languages are multi-paradigm now and become more so every release.

As a consequence, learning becomes less straightforward.

C may feel like a nice starter to you specifically because it’s been comparatively resistant to this trend. It’s got a ton of tricks to learn, but there are only a few paths through learning it.
The most probable issue related to this kind of behaviour is pastejacking.

It's possible for the server to detect that you're actually using curl (with the help of the user agent of other methods) and also that you're piping it to an interpreter.

Knowing that, the server could send you a malicious payload, that wouldn't be apparent when only downloading the file otherwise.

Some people think this isn't the real issue, that (the lack of) code signing is the real problem. I don't disagree with that, but really, people should look at the code they're going to execute, whenever possible.

And when I say "whenever possible", I sure believe a few lines of shell script deserves to be inspected. Even if you lose the 0.5 seconds of automation the pipe provided. I mean, we're not talking about millions of lines of kernel code, here.
If you have two sensors, you have one. You can't resolve a disagreement of two sensors. Stopping the car is the only option in this case, but, say, if you have four sensors and one says there is 100% certainty of a solid object ahead of you, one says it's 50/50 and two others say it's a 100% no, then a mild braking action may be all that's needed, to give the car and its sensors more time to react and assess. Worst case scenario you still hit the solid object at an easily survivable speed. You also signal cars behind you to actuate their brakes accordingly (and, in turn, inform traffic behind them of their actions).
Please note that I am not condoning or denying the support for his moral values, just noting my observations from what I've heard repeatedly.

Most other CEOs speak corporate lingo. Have you heard Satya Nadella or Sundar Pichai speak? It's like their words make a visit to the PR office before leaving his mouth.
Looks great! Another Tailwind based component library I love is DaisyUI: https://daisyui.com/
A different character could be used, such as # (like in VimScript) or \ (like in… PHP?)
> For example, the Dutch railways deploy a mush of sand, potato fibers and iron particles on top of the mush to give trains the necessary grip when they brake

That sounds like Sandite, which is definitively in use on the UK rail network. But I think the cleaning effect of that is still relatively limited, and the adhesion improvement only lasts a certain number of trains, after which the material needs to be re-applied again to the track.
I get so tired of seeing the same research pretending that causation is correlation. At some point I just don't want to trot out the same old comment. Maybe we should just accept that whole swathes of social science have given up on taking causality seriously.
Reason Twitter's messages were so small was because they were originally sent over SMS. I suppose formats like SMS could be sent that far, but it's more likely that protocols built for that exact purpose would succeed.
Absolutely. What's more likely? Elon is putting on a show to accomplish some goal or Elon hates what Grimes stands for?
From that point of view, indeed it is good enough then.
> the ergonomics of parsing, nesting, and executing templates is very confusing IMO

Can you elaborate on this?
Same...was just browsing stack overflow for positive mod, so I got

"return (i % n + n) % n;"

heh
Are you arguing that Elon Musk should make efforts to allow for CSAM on Twitter?
the Navy’s universal cure, Motrin

600mg Motrin is nicknamed Ranger candy in the US Army because Rangers eat them like candy.

I was told by a submariner that there is only one bunk for every three crew members on board, so you learn to sleep anywhere. When he was unable to make his flight home and his parents drove to the airport he was stuck at about 90 minutes from home, they couldn't readily find him because he was curled up around his bag sleeping under some chairs.
I wonder if you use the default Twitter client. Also, what you put there is not how Twitter suggests you use Twitter. Which says more about Twitter than you.
No, I don't agree with what you said in your post, and you make a lot of invalid proofs by contradiction.

The first pass of your optimizer took a valid program and made an invalid one. That should be the end of the article, but then you ran further (presumably valid) optimization passes which led to erroneous results.

Your whole argument seems to look like:

(pointer_integer_pointer & invalidly_keeping_restrict) => erroneous_optimization

Since we can't have erroneous optimizations, you make a faulty conclusion the problem is pointer to integer round trips. You even say it here:

> However, the only possibly suspicious part of the original program is a pointer-integer-pointer round-trip

But it's not the only suspicious part, so all of your following statements are questionable. The contradiction should've led you to:

!erroneous_optimization => (!pointer_integer_pointer | !invalidly_keeping_restrict)

Using Modus Tollens and De Morgan's. Instead you declare that casts have side-effects, dive into "integer provenance", make some distinction between "as" casts and transmute, and so on. Meanwhile, I conclude that broken optimizer passes should be fixed or removed.

> I would argue that the alternative is to treat the original program (after translation to Rust) as having Undefined Behavior.

I'm sure you'll get your way, and you probably won't stop until Rust has as many tricky "undefined behaviors" for the compiler to exploit as they do in C. Programmers will need a masters degree in "provenance" to avoid the traps you set for them. Then when they stumble and fall in the pit you dug, they can go to the forums and be chastised by the experts. You'll get some .1% speedup on a non-realistic benchmark and declare it a job well done.

> There are, to my knowledge, generally two reasons why people might want to transmute a pointer to an integer

This "argument by lack of imagination" strategy isn't sound either. What if you just haven't thought of a third reason yet?

> I think we should move towards discouraging, deprecating, or even entirely disallowing pointer-integer transmutation in Rust. That means a cast is the only legal way to turn a pointer into an integer

It's really unclear to me why the compiler can't recognize that transmuting a pointer to an integer is the same as a cast. And if it can recognize that, why make it UB?!? Maybe this is all about those 129 bit CHERI pointers. If you want to break the compiler for just that platform, more power to you.

Really, I don't care if you break transmute, so long you leave a way to cast function pointers:

https://rust-lang.github.io/unsafe-code-guidelines/layout/fu...
That's a very bad distillation of my argument, firstly because personally I don't despise Elon (but do attempt to interpret properly articulated criticisms from those that do in good faith, and think a lot of them have a point), secondly because there is no layer of an argument that Elon's politics are not particularly prominent or unusual that has disagreement with non-prominent or usual politics embedded within it, and thirdly because there are a vast number of prominent people who are similarly "not your traditional progressive leader" (who in business is, frankly?) who don't get so much criticism for doing x, y and z on account of not doing x, y and z.
(This was originally a reply to https://news.ycombinator.com/item?id=31154051. We detached it to prune the thread, which was getting too top-heavy.)
Disagree. Insult everyone approximately equally is a much more tractable goal and delivers far better results.

There's a line to be walked but it's not hard, it just takes practice.
What about using a load balancer in front of any two instances?
It's the same reason people keep inventing VMs. Every process is also a VM (and can only do what the hypervisor... kernel... allows), but it's a more convenient abstraction to run a new kernel and its processes in a hardware emulating VM within that VM for many kinds of workloads, despite the overhead of emulating hardware.

Containers are a middle-ground, and a useful abstraction -- where you can have a group of processes that can share some resources and be accounted for together, but without the need to emulate hardware or a second hypervisor (kernel).

For lots of workloads, though, processes would be enough. Some more could be done with additional work to kernels to help group processes together (Linux cgroups, Solaris contracts and zone facilities) and more container-aware schedulers (Not sure what Linux has, Solaris has a 2-layer scheduler for its containers).

I was heavily into containers in the 90s and 2000s, and then VMs when they became more viable with Xen 2, but I've been moving things back to just processes.
Lol Elon has no interest in solving a bot problems. Elon wants to allow the alt right back in Twitter after they've been banned and failed to start a rival competition.

This is the official death of Twitter.
I don't think the sarcastic response really contributes to the discussion. There is enough toxicity on twitter that if someone digs hard enough they could find examples that aren't twitter-political-bubble-strawmen.
Nomachine works fine for me even on relatively crappy connection.
Looks neat. Seems to have a lot of overlap with Kasm Workspaces (https://www.kasmweb.com/) which is another cool project.
A clever way to get a Twitter follower :) You win!

BTW we use a similar mechanism at websktop.com (online bookmarks manager), when you copy icons:

- if pasted into our app, all bookmark properties are preserved (text/html + "data- " attribute)

- if pasted into web app like Slack, you get a nice HTML-formatted unordered list of URLs with titles (text/html)

- if pasted into text editor, you get a simple bullet-point list (text/plain)

Unfortunately handling other MIME types gets troublesome.
Still, you can do a lot of cool stuff with just text/plain & text/html.
> That's just wrong. Boolean is the type. False is just one possibile value of that type.

Having false and true be singleton types is perfectly cromulent.

That's how Smalltalk has been doing it for 40 years, and why it can do without control structures:

Boolean subclass: False [
ifTrue: trueBlock ifFalse: falseBlock [
^falseBlock value
]
"..."

Boolean subclass: True [
ifTrue: trueBlock ifFalse: falseBlock [
^trueBlock value
]
"..."
It's configurable via MSR. You can also disable it system-wide or on a PCIe port basis. I detailed it all here:

https://www.jabperf.com/skip-the-line-with-intel-ddio/
probably, that's what tends to happen when you literally make money