skysight-inc/HackerNews huggingface dataset:
I haven't really found windows to be that reliable, although I don't use it a lot. Lots of weird little issues and googling dll names, but maybe I'm just unlucky. a while back i tried installing vscode and it was literally just an all black window, until i installed directx or something along those lines. and that's just off the top of my head
I have had some gastroscopies done. For me they used some lidocaine (intravenous) and then propofol. This was done by a certified nurse anesthetist.

I don’t know the distinction between that and “general” anesthesia (they called this general), but I know there are different levels (and there was no need for breathing assistance at that level).
Probably right but I think trying to be transparent is better than not trying at all.

Gesture carries weight to the users too.

Not sure any big company has tried this before. I could be wrong, but either way looking forward to it / FWIW hope it catches on.
Add a downvote button so the rabid folks of either extreme will downvote each other into oblivion.
The level of trust is to be expected from a company like this imo. We're in an information war all around us. Spies, saboteurs, etc, are all part of a war, and we just witnessed a coup of leadership.
Tweeting about aircraft N628TS's publicly available ADS-B information isn't doxxing.
What semantics is crystal lacking? Obviously it's not a 1:1 replacement as the ecosystem is different, gem management (shards) is different, etc. Crystal also has union types and concurrency.

For people who want a syntax like ruby + performance/concurrency, but are willing to deal with a different ecosystem and having to do more stuff by hand, Crystal is a nice choice.
People like you make it exhausting any time Musk comes up in conversations online. Please keep your poor takes on Twitter where I can avoid you.
If he has the same mindset, RIP Twitter.
This, in a nutshell, is the ivory tower conversation silicon valley liberals have been having with themselves for the past few years to justify their ever-creeping censorship. 90% of the people on the site should not have been banned in the first place. Obviously the overwhelming majority of people having this conversation at these companies are liberal and it just happens to turn out that everyone who needs to be banned is a conservative, and we’ll throw in a few people like Farrakhan who give the democrats bad optics.
Where is the option for "I basically never use Twitter but I'll keep my account around in case I need it to enter a stupid contest or something"
I have literally no idea how a "twitter algorithm" could be published on github. Maybe I've been doing recommender systems wrong.
Well that's a problem for sure, good thing Musk has more money then.
I'll admit, it is an interesting thought experiment to explore what a society would look like with a 100% moratorium on rentals. It seems like you would have to do away with down payments or there would be widespread homelessness. I imagine mortgage rates would be through the roof, as new occupants wouldn't have equity in the house to protect.

Owner occupation rates are about the same since the 1960s, and worse before. I wonder if there are examples that approach this ideal. Perhaps family homesteads during the US westward expansion, but even then there was a lot of landless workers.
Last I heard, Twitter has internal tooling that allows moderators to shadowban or suppress.
Same here, and it blows my mind that we're in such a minority.
If you have the energy and curiosity to be an EM, please do give it a try. The industry needs compassionate and highly technical EMs.
The whole point of the repo seems to just show that there's nothing called as "the algorithm"
It's probably something like 100s of 1000s of algorithms doing different things
I can't believe it mentioned StarCraft without mentioning some well known players as sample points.

- Maru[0] (age 24) 2010-present

- DRG[1] (age 30) 2011-present (minus 2 years off for military service)

So arguably Maru could have another 6 years in him or more.

Interesting trivia: One reason StarCraft 1: BroodWar is more popular in S.Korea (despite it having janky motion even with the Remastered graphics) is because many took to the game during a major economic downturn. [Can't remember where I watched that reported, maybe a Netflix documentary.]

There's hope that Microsoft/ActivisionBlizzard may figure out how to monetize the free-to-play game to sustain & grow it.

[0] https://liquipedia.net/starcraft2/Maru

[1] https://liquipedia.net/starcraft2/DongRaeGu
How to Install Firefox as a .Deb on Ubuntu 22.04 (Not a Snap)
> Has there really never been a single occurrence of a passenger train clearing the tracks in history?

I'm not sure if it was ever used while the train was also moving passengers, but I'm aware of at least a special cleaning wagon nicknamed "Schrubbi" operated by the S-Bahn Hamburg[1]. It's a repurposed passenger wagon that contains a large water tank and uses pressurized water to clean tracks. In theory you could add that to a regular passenger train, subject to some speed limits (like the tech in the article), but in practice I don't know whether that ever happened.

Because of the speed limit required to get decent results, I have doubts any such tech will be used outside of special cleaning trains...

Also I suppose there's snow plows on passenger trains, though nowadays that's probably also (mainly) done by specialized trains. Does this[2] count as cleaning?

[1]: https://s-bahn.hamburg/magazin/s-bahn/betrieb-und-technik/de...

[2]: https://www.youtube.com/watch?v=V-Cb9x70gYQ
It is doxxing the same way tweeting "Little Billy is going to his school now" every time he does so is. Doesn't matter you saw Little Billy from your window.
Local variables, method calls, basics like that are basically entirely different. Take the Ruby specification test suite and try to run it on Crystal, even with adding typing and other minor changes, and see how far you get.

(Ruby also has full concurrency, by the way.)
Half the point of NVM was to be cheaper than DRAM, not more expensive.
Your example is excellent. I agree with you in that choosing a developer in basis to a github profile is not much different from choosing a handyman in basis to what he does in his garden on the mornings. What if there was a much cheaper and more efficient handyman living up the street, but he always works in his backyard so you have never seen him outside?

I am sure you can find valid candidates with your method, but also that you could be missing much better ones.
Interesting. Honestly to me Python and backend engineer are effectively orthogonal skillsets though. I would expect any decent programmer to pick up Python in about a week... (slight exaggeration but you get the point).
i have come to expect webgl projects to munch on my resources like crazy. this project was no exception. looks cool but had to close the tab after a few seconds.
I don't disagree, I might even argue that twitter is comprised of many algorithms. We can argue all software is algorithms, or we can just call it software.
> For instance, if you write your own proof and then prove the program meets it, there could still be a logic error in your proof.

Sure. Even mathematics research journals sometimes publish erroneous proofs. Practical formal methods generally rely on automated provers.

You're right though that software development using formal methods can still have a non-zero number of defects. AdaCore use the term ultra-low-defect software rather than bug-free software. For an interesting case-study see [0].

Unfortunately, even automated provers can have bugs. To my knowledge, all provers suitable for practical use are not themselves formally verified. I don't think this is often an issue in practice, though. It remains that formal methods have an excellent real-world track record. The 'problems' with formal methods aren't effectiveness, but effort/price, and perhaps scalability.

> a web browser (probably the thing you'd most like to prove security-issue-free) can still overwrite its own memory through things like OS image and font code, JavaScript JITs generating code to an insecure ABI you don't have a model for, syscalls to kernel code that can write back into your memory, but not effectiveness.

If you verify only certain parts of a software solution, then sure, you don't get formal assurances about its overall behaviour.

> How do they "formally" audit it? Are they wearing suits?

That's an entirely different use of the word, isn't it?

[0] https://www.adacore.com/tokeneer See page 59 of the (freely available) full report for Analysis section
Webtop is attempting something similar to this using Guacamole rather than NoVNC. https://hub.docker.com/r/linuxserver/webtop

I know very little about how the two compare.
If I have your DNA can I recreate a perfect copy of you as you are now including your mind? It is after all the code you were made with.
Show HN: Subhattan – From NYC to the Suburbs
We're not talking legal, if we're talking legal he can do whatever he wants with twitter, can't he. What I'm saying is that this clearly establishes that he doesn't give two shits about "free speech" or whatever, as long as he or his business concerns are on the receiving end.
>The Langar was proposed as a model for society

The Langar was proposed as an example of a societal feature that could be amplified by automation. The parent is putting words into 'TaylorAlexander's mouth, but we all can just fucking read his comment. [0] The temerity of the parent, in blithely accusing me of "add[ing] extra words that change the meaning", given how they butcher the claim that started this fucking subthread, is absolutely repulsive. I can dismiss the rest of the parent's argumentation with the ease with which they dismissed mine, namely

>Sikhs [0] are humans, and presumably have the same human nature everyone in this thread shares. If the parent contends that what the Sikhs [0] do is a "commune", then the facticity of their continued success shows that "communes" do not always fail. If what the Sikhs do is not a "commune", then the parent has set up and defeated a strawman unrelated to the example set by Sikhs [0]. Which is it?

The refusal to actually address anything (is the langar a commune? Does whatever it is work, or not? Are Sikhs governed by human nature or not?) is breezily elided, in favour of 'Merican counterexamples. Who cares that the langar is a small-scale example of what the parent literally claimed was impossible and beyond the human spirit, and why should the parent address anything anyone actually says?

It's bananas that 'TaylorAlexander began by citing the tradition of the langars to facilitate the idea that this sort of arrangement was possible -- which was gainsaid by the parent -- and I am now reading what appears to be the grudging acceptance of the reality of that possibility now used to suggest that no greater implementation is possible. It's one thing to Just Want To Be Right, but quite another to dress it up in rationalization and shenanigans on display here.

>> Perhaps the parent doesn't consider Sikhs human? What a repulsive argumentative style.

>That's your strawman.

I note that the parent still doesn't bother to elaborate here. There's no acknowledgement that the parent made ridiculous counterfactual claims ignoring the actual realities of langyar generosity, or whether they were communes, or whether they were operated by humans, and is now wholehearted accepting it in the name of Being Right -- there's just the satisfaction of a good reversal. Well, enjoy the goalposts, wherever you may find them; I no longer wish to play Calvinball. You "win"; a better world is not possible, certainly not while having this sort of "discussion".

[0] https://news.ycombinator.com/item?id=31146511
I get what you're saying. I'd imagine this repo will be closer to pseudo code than "complete" code for all systems that a tweet flows through. For example, the system that flags/remove picture of hotdogs would likely be represented as "if image contains hotdog: weight: -500"
US gov't has already fronted him more than 10% of that. There's plenty more where that came from. And, not even just the US!

The whole takeover would have been much more fun if he had announced that his offer would drop by 1% for each day they took to accept it.
This is likely in response to upcoming EU legislation on algorithm transparency[0]. It's not useful, but they'll need to do it eventually.

[0]: https://mashable.com/article/eu-digital-services-act-big-tec...
The legality of a poison pill is defined by case law of of Unocal vs. Mesa Petroleum.

https://en.wikipedia.org/wiki/Unocal_Corp._v._Mesa_Petroleum....

Basically a company can ONLY create a poison pill IF and ONLY IF:

* the tactics of the party doing the hostile takeover are "coercive"

* the hostile takeover will likely result in dissolution of the company

Neither applies to Twitter in any serious sense. Musk's methods are anything but coercive under the law per point #1. A change in direction or operations is NOT legally the same as point #2.

Additionaly, board members are required under law to maximize shareholder value under the rubrik of profit maximization (eBay vs. Newmark) and public company board members can be PERSONALLY legally liable for lost profits and punitive damages.

https://www.lexisnexis.com/community/casebrief/p/casebrief-e...

It's VERY LIKELY that the Twitter board was informed of these cases (again, hopefully - these are legal fundamentals of being on a corporate board you'd be stupid not to know ahead of time).

As a result the Twitter board appears to have "straightened up and are flying right" in terms of law and potential legal liability now.

Again: I'm utterly mystified that boards (especially in "Tech") do not seem to know basic stuff like this and let companies run riot in ways that puts both the board and executives at tremendous personal legal and financial risk.
There's a fellow on Reddit who has been doing some interesting work modeling a notional RISOP — basically, what the Russians would do to us in various counterforce & countervalue scenarios. He cannot comment on SIOP planning as he used to work on it (civil engineer by training), but he can conjecture a RISOP based on open sources.

This person makes a point of targeting American dry cask nuclear waste storage sites. It takes out the power plant they're next to and ruptures the casks, resulting in Prolonged Suck downwind of the site. He also targets dams in a cascading manner, so even if we did "win the war", certain major cities would have been underwater for a sustained period of time.

FWIW, when asked where he'd go to hide out he said he wouldn't, that the loss of food supplies, medicine, etc. would be catastrophic no matter where you ended up in CONUS. Re: food, even if the grain fields of the midwest were intact, you've got no transportation, no power to process the grain into food products, no antibiotics to take care of that scratch you got from the combine, no fuel for the combine, etc. Many would survive but it wouldn't be fun. He lives in San Francisco, FWIW.
No, because voting in the form of likes and retweets are part of the problem.
“Clumsy writing begets clumsy thought, which begets even clumsier writing. The only way out is for the rest of us to look back to a time when authors had more to say than, “I'm a writer!” — when the novel wasn't just a three-hundred page caption for the photograph on the inside jacket.” - B.R. Myers, A Reader’s Manifesto
> What caused the board to change the direction 180 and now closing the deal with Musk?

Enough of the large shareholders behind the scenes backed the deal for whatever reason. Who, what and why? We'll never get the real story. Not in any newspaper, blog or whatever. I'm sure we'll get some fanciful stories, but that's all it'll be. Fanciful stories.

The board of directors aren't the ones that have the final say. It's the major shareholders. Usually, the major shareholders back the board of directors because they are the ones who elect/hire the board of directors. Somehow, Elon and his backers convinced enough of the big boys to back him instead of the board of directors. Simple as that. Maybe he offered them free a roadster, starlink setup or a seat on a future spacex mission to mars. Who knows. But elon outmaneuvered the board of directors somehow.
The time is so difficult now that it is very hard to meet a truly wise professional on the Internet.
Thank you for being.
While fake news sources claim RISC-V command set was created in the US to train students (and that ARM is not US but British company in general), only you and I know the truth:
1/4 RISC-V command set was created in russia (in kostroma to be more precise),
1/4 was created in india (in burugulikela village),
1/4 was designed in china by wuhan military microbiologists (for some reason they decided not to call themselves),
the rest 1/4 is a handiwork of the basijs in the name of Ayatollah Khomeini.

That's why RISC-V is so beautiful!
In the future, everything will be with RISC-V inside!
Just have to wait a little...
tee-hee
I'd be curious to play with something like this on a Penrose tesselation.
On the other hand, wouldn't open sourcing the algorithm help accelerate the identification of possible exploits?
How to make your API backward compatible (Web, REST, HTTP, etc.)
You can publish data flows and models to github in addition to source code components.
> It is worth noting that Private Relay (mostly) disables itself as soon as any firewall rule is added to PF (the system firewall on macOS devices).

Unclear if that's the case on iOS though.
> Remember when everyone was headed to Diaspora after Facebook did something unpalatable for users? Remember the “1,000,000 strong for the old Facebook” groups? It never works. Social media’s power is in its momentum.

I guess you don't remember Digg?
Thanks for sharing!
dev.to and hashnode seem very nice indeed for work-related topics that I have on my mind to write about
ECB proposes regulation of cryptocurrencies and compares them to Ponzi schemes
MANGA, as in Japan-cool graphic novels. Cartoon technologies for a cartoon universe. Sadly appropriate.
You don't think recent news of the EU compelling social media companies to disclose their algorithms has anything to do with this?
Disclaimer: I'm pretty new to twitter, so I may be misunderstanding something. On my Twitter Home Screen there are three little stars on the upper right of the central container which allow you to toggle between "top tweets" (ie. 'The Algorithm') and "latest tweets" which is the time based ordering.
> In all the languages I know of, you can't break out of a loop from an inner loop.

Rust has this feature: https://doc.rust-lang.org/rust-by-example/flow_control/loop/...
For those not familiar with the concept: this is how moral backbone looks like.
I personally know a FAANG employee whose full time job is building tools to try and help understand why the company's recommendation algorithm picks the things it does (and more specifically, predict how changes to the algo will affect that).

Even the people who build these systems barely know what the algorithm is going to do, much less why. It will be a herculean task to try and convey that to an average user.
There was nothing stopping him from increasing his share while the board was deliberating. He could have used that tactic to increase pressure. The poison pill clause meant that the board was free to take whatever decision they wanted in the timeframe they deemed fit.
Beg to disagree, other manufacturers are catching up but Musk's playbook since Tesla's inception has been to consistently overpromise to the nth degree, so it's not anything new. Remember it took 2-3 years from the Model 3 announcement for them to ship in any meaningful number (2015 -> 2019). Same thing currently happening for the Cybertruck, Roadster, Semi, etc. Are they being too ambitious? Certainly. But it's not really anything new for Tesla. If anything having Musk's attention being frayed to various companies is probably a benefit, from my anecdotal personal interactions with top employees at SpaceX and Tesla. A lot of employees left because Elon is a great figurehead and product leader but an annoying micromanager.
Large amount of blue checkmark journalists live there, simple as that.
The information shared was perfectly public, in this case there is no such thing as doxxing.

What you're also missing is that US legal system can bankrupt you financially and mentally if you're poor enough. Musk is clearly in the wrong there, there is no even gray area.
And what is the chance that Twitter's refusal to ban someone in future will cause Musk to get "cancelled"?

I don't think you have seen the power of cancel culture. Once, X number of celebrities decide that Y needs to be cancelled, the pressure is enormous on all businesses and their CEOs to join the cancel parade. It's literally you are with us or against us. In fact, these cancel culture torch bearers will now use Twitter itself to put pressure on subscribers and advertizers.

Just imagine Trump coming back, posting something very controversial and all celebreties up in arm against Musk to ban him again. At that moment, it is no-win scenario (I call it getting "Zucked"). If you ban him, republicans paints target on you. If you don't then dems do that job. Musk has companies that require belovancy from government and it is not really hard to put him at enormous disadvantage.
I also never had this happen, and conversely find that inkjet fades, and will be totally ruined if it ever becomes damp.
Nice! Thanks for sharing your workflow :)
> if you don't "prove" you're black you're not allowed to post.

They do not.

They lock down specific, controversial threads in this manner when outsiders start making confrontational comments. AFAIK this was done because the racist vitriol proved impossible to moderate.
> Just like people who cheered Twitter and other social media companies swinging the ban-hammer left and right in the last few years, I would like to remind you that freedom of speech does not mean absence of consequences

Except the description of Musk as pro-radical-free-speech and the benefits supposed to result therefrom rely entirely on the definition (otherwise problematic, sure) that free speech means exactly that, and specifically that private actors will not use their own freedom to materially retaliate against you for your unwelcome speech.

Sure, you can maybe defend Musk being for “free speech” in exactly the sense that people claiming that Musk being for it will change Twitter say isn't “free speech”, and is the problem with the current approach at Twitter. But that...defeats the argument for Musk being a beneficial change.
Yes. But they have Dojo.
Of course it doesn't make sense. I think it's just a dog whistle to the people who believe google have a guy in a room somewhere turning the "conservative search results" lever down a notch during elections.