skysight-inc/HackerNews huggingface dataset:
It's probably very difficult structurally to build an actual sphere, since the poles would not have any orbital velocity and the whole sphere would want to flatten. Unless there is a way to do some kind of anti-gravity that humans just haven't discovered (which is a possibility that seems plausible).

But there is also the Dyson swarm, which is like a starlink constellation orbiting a star and designed to collect as much energy as possible.

Anyway I don't know the answer to your question, but if we ignore structural problems with a sphere we could imagine a material a few atoms thick, like a giant carbon nanotube structure. Then one wonders how much material there is in Jupiter as an approximation of total matter in the solar system. I will leave the calculation as an exercise to the reader. ;)
Why can't it promise more than that without a terrible CLI? Seems like a poor excuse.
2pir^2 vs 4/3pir^3

plenty of material to capture the surface

+ you don't need a sphere, a ring/few rings would be enough
Formal correctness proofs are both unattainable and insufficient. We don't know how to do it at the required scale, and it doesn't save us from flawed formal specifications, we'll have the bugs in the formal requirements instead of in the code.

There are more cost efficient and proven ways to effectively address these kinds of vulnerabilities, like limiting complexity, using programming language features to eliminate classes of bugs, using other verifiable engineering disciplines, and compartmentalisation. Proofs also have their place locally in verifying small components. But making this commercially viable would large numbers of customers and users who are willing to make big compromises in functionality, features, third party apps etc.
I presume we can expect this chip assimilated into future TPMs?
There was a time before Mathematica (2013)
> I expect a wave of deurbanization in the coming century, where humans spread through the unsettled landscape in smaller, less densely populated communities, and most professional, information heavy work being done remotely. Most of these cities will become ruins.

Sounds great. As someone who deeply dislikes large, noisy polluted cities I think a move back to smaller communities whereby everyone knows each other is a positive thing.
How I think when I think about programming
> I doubt the really top companies -- top 10, say -- have any trouble finding staff

Amazon’s recruiters have been particularly aggressively lately. Especially since their culture causes them to churn through people so quickly, they must have trouble finding staff at this point.
I have ADHD and have terrible memory for names.
I'm not even using autocomplete that much, but the navigation in IDE really helps.... or hinders me from learning class/method names.

I have a very wiered and convoluted style of search and navigation, all to avoid remembering names, people who see me coding are really stunded by the way I navigate code.

The upside is I do really well with new languages/projects, unless we are talking millions of lines of code and hundreds of modules, then I begin to struggle again.
Here is the most official source, from the government website, and without any character encoding issues: https://www.caselaw.nsw.gov.au/decision/17f0ac9ebc84a010c6fc...
> an off-the-shelf processor might be unable to run anything more demanding than "hello world" until additional licenses have been purchased.

That's probably a bit extreme, but generally the right train of thought.
I can't tell if this is serious.

Surely if you're still using C now it's for legacy reasons. And if using it for legacy reasons you are likely stuck using an old C standard.

So who will use C23?
As someone who admittedly does not understand what a Monad is, do you have any recommended resources to learn about them?
Ask HN: What are the West's offesive cyber attack capabilities toward Russia?
For a couple decades, Russian military-adjacent hacker farms have treated Western businesses as a free-fire zone for ransomware, malware and data exfiltration. There seems to be a general assumption and fear that, if ordered to, Russian cyber gangs could bring down critical infrastructure, up to the point of causing mass casualties across the West. To this point, Russian incursions have mostly been met with targeted sanctions, without major cyber reprisals along the lines of, e.g. Israel's attack on the Iranian nuclear programme at Netanz. (That we know of).

There also seems to be a lingering feeling that Russia isn't as dependent on network technology as the West is, therefore they have a somewhat asymmetrical advantage in this form of warfare. But surely that's not true now, if it ever was.

If NATO were to take the gloves off and attack Russia in cyberspace, what would its capabilities be, and what would such a war look like? Would we see nuclear plants exploding on both sides? Which force is actually superior offensively in this theater?
Paperbacks have their price inflated to make the ebook look like a deal. Someone forgot to apply the markup to hardcover too.
The rules protecting people from being exploited as independant contractors should have an upper limit on pay. If your paying someone 200K to be an independant contractor they shouldnt be able to dispute it.
Can't edit after two hours, but it's present before that cutoff.
> I have often had people point to the 3/5's clause in the constitution as an example of racism.

Because it is.

> They don't understand that is was the abolitionist that fought for that

No, they didn't.

Abolitionists fought for...abolition. But there weren't many around among the Framers.

People who were neither slavers nor politically allied with them (but also not abolitionists in any substantial sense fought for slaves not to count for apportionment.

> the slave owners wanted all slaves to be counted as whole persons,

That's true, but no one fought for the 3/5 compromise. That’s why it's called a “compromise”. And it's closer to the position of the racist slaveholders than that of the also racist, but less so, people who were fine with slavery existing but against giving extra votes to slaveholders (by exactly the degree that 3/5 is closer to 1 than 0.)

Splitting the difference between racist, slavery accepting factions, in a way which favors the more racist one is, well, pretty racist.
"Stating the obvious."
Difference is that random decision forests learn the rules for themselves, they don't have to be programmed in manually by experts. They're one of the most performant "pre-deep-learning" machine learning models and a sensible baseline for many ML tasks before you go out and buy a $1500 GPU
I can't understand why some people can not. This information is just empirical data points.

The feedback loops for the other things are pretty bad, fitness isn't so bad imo.
That's pretty fervent. I think you're worked up about what you wish the parent had said. You should have left it at the first paragraph.
There are many many people out there using C for embedded software.
I dont understand it fully. Is it really a problem to counter proof with logs and times when what and how much has been taken out of the cashier?
I'm used to think that everyone is not guilty until the guilt it proofed. So, I would like to ask why this obviously didn't happen here? Are the people stupid or am I?
Which web servers do they not work with? They have worked everything I've used thus far (which admittedly aren't many): nginx, warp (Haskell's embedded server), relayd (OpenBSD), all with easy setup.

It also seems that compression for websockets is supported in all major browsers.

The article's argument seems to be that ws adds complexity, but this is present in pretty much all web servers already, the user needs not to deal with it. (HTTP2, too, requires the same type of complexity for that matter)
The Missing Link Between Web2 and Web3: Custody
GDPR applies to the data subject (the person visiting the site). It doesn’t matter where the website is hosted, it matters who visits it.
I was just coming here to post the same link. The 95% accuracy should be compared to the general approval rate - does the fancy AI beat a simple return true?
I know this might be unpopular on HN, but I find the whole "use Julia" comments every time something scientific code is discussed is becoming a bit old.

I have tried Julia but I found the promised "everything will be as easy to write as python but as fast as C" is often not true. There are quite a few pitfalls (e.g. don't use abstract data types), which one has to consider and code can start looking looking more like cython than python if one wants to optimise for speed. I also dislike some of the design decisions they made (in particular making multiply a matrix operation and using the '.' for broadcasting which is incredibly easy to overlook and one of the main sources of bugs in matlab code in my experience).

That said there are great things happening in the Julia ecosystem, just don't promote it as the be all of scientific computing all the time.
what would prevent an intelligent civilization from covering all other stars in dyson spheres?

and the dark matter is everywhere (almost, there're galaxies without it) which would mean that most of the universe has intelligent life but then why there's no other signals? something should've leaked/pointed at it
As long as (stochastic) gradient descent and random initialization is the state of the art, more data will be better.
I don’t see how this is fundamentally any different from IndexedDB: both are asynchronous transactional key-value databases. One is byte-oriented and the other object-oriented, but it looks to me like they’re essentially completely equivalent in what’s possible with them—except insofar as File System Access may allow you to avoid loading the entire thing into memory. (I say may because you can’t control the browser’s implementation; my feeling is that it’s not unlikely that the browser may keep the full thing in memory in FSA where I wouldn’t expect it to with IndexedDB, which if so would return them to basically the same position.)

Implementing SQLite on top of this would require that a commit write the changes, close the file, and then reopen it, since writes are only performed when you close the file. That could perform tolerably or terribly (there’s no way of knowing), but certainly won’t be as good as what you get natively, where you can truly write only part of a file, especially once you get to large databases where it will certainly be drastically slower. If you want performance out of any of these sorts of things, you’re going to need to stop putting everything in one “file” and split it into many, so that you can avoid touching most of them on most writes.
When dealing with stakeholders in big corporations I learned that they absolutely needed AI, machine learning and data science as capabilities in the projects that they started. Even if data was only very tangentially related to the core product/project. If so, for example one needed to datascience the shit out of project metadata to create a project efficiency self optimization loop. Or what ever crap one could come up with.

Else they would not be able to secure funding for the idea from upper management because they had learned that 'data is the new oil'.

The second VS part always needed/needs to be how this project enables the product to be (or become) a platform where the company can the run value added services on top (value adding for the company, not the customer).

Imagine a car being a platform and you can book additional horse power for the upcoming trip. Or change the background image for the instrument panel. Or pay extra to natively have access to your Spotify playlists. And then datascience the user data to recommend even more stuff resulting in $$$ (by imagination from management and fuelled by slide decks created by some junior strategists that have never even owned a car but presented by the client account lead in a lush retreat).
PHP-centric, not mentioned in the title. Most of it is relevant to everybody, but it is jarring to run into stuff about PHP. Isn't that dead yet?

Of greater moment is that the article keeps talking about "characters", which is an undefined term in Unicode. Unicode offers you code points, code units, graphemes, grapheme clusters, and ... other things, none of which maps to the grouping of dots you see on your screen (and probably cannot imagine how to type in).

"Character" has outlived its sell-by date. Let it be retired and buried with dignity, but with a good thick slab of concrete on top.

It also fails to mention "expanded form" and "canonical form", and other ways that two completely different sequences of bits mean, at some level, the same text. Different forms are convenient for different things; there is a shortest possible representation nice for sending and storing, and a maximally decomposed representation that might be best for editing if you like adding and removing diereses ("umlauts") and accents piecemeal.

And it fails to mention WTF-8, a way to package up byte sequences that are not valid UTF-8, but may have valid UTF-8 characters that you want to display in case they offer the poor human a clue as to what was intended. WTF-8 sequences often arise in file systems and databases that don't enforce any particular encoding, but just store whatever bytes the benighted programs users run provide as, e.g., names for files. You wish you could display them in sorted order. There had better be a way to point at it, because there is no way to type it. But you have to store it, because that is the only way to tell the OS which file you wanted to rename or delete. Deletion is tempting, but we can't, always, can we?.
Therein lies the business benefit, if you use SharePoint you need two or three people instead of one business analyst.

My company has 60 staff and SharePoint with the Teams Wiki integration is so _demonstrably_ worse.

I didn't think I would become an advocate of Atlassian and there might be some disruptors out there in that space, but of all the big providers there, Oracle, Microsoft. Atlassian are still hear and shoulders above the rest.
i wouldn't be mad about the name either. it doesn't really roll of the tongue and i can see it being misheard easily when using it in conversation.

something like gridbase, gridrow, gridtable, gridlist, would have been better i think, even though they are very generic sounding
The only conclusion we should make right now is that the Dyson Sphere doesn't exist and we're the only intelligent life in the Universe, which makes it all more terrifying.
So you say that what someone wears does not contribute to how someone looks.

That's quite the impressive opinion. Do you eat soup with a fork?
I guess the field is constantly making a decision between 'do we want to outperform humans, but lose interpretability' and 'we should always be interpretable'

Human-generated artificial data will always contain the human's assumptions. But this data might not contain the 'superhuman' element that leads to the ML-system outperforming humans, because we don't know what that is (yet). Receipts are a good example for artificial data, because they're human-made.

But a lot of what we do with ML systems is using data that doesn't come from humans, images of wildlife, satellite images, biological data, etc
I'm confused, enterprise users probably won't get ads either way,
How does it help to stay ahead of adversaries when they're selling it to basically everyone including most adversaries?
As bank I'd look into these 4.x % of loans where the machine learning disagrees.
This headline feels like 20 years old though, except for calling it "AI".
Or that it does, and advanced civilizations just don't need that much energy.
I’m reminded of those Apple commercials where a person is wandering around town and is followed by increasingly large groups of people (e.g. the cashiers of all the places they were just shopping), creepily looking over their shoulders at everything.

This was never “OK” for people to be doing before the Internet/Facebook so why should it be “OK” now? Stalking is now stalking “with computers” so that makes it a novel concept?

P.S. That’s why you never give your phone number to ANY company, it’s too easy for them to connect a bunch of dots. And if a service one day decides to ask “for security”, interpret it as “for farming your data” and stop using them.
Loan decision is relatively straightforward algorithmic process. I see no reason why AI is needed or wouldn't give similar answers.
The Elite Hackers of the FSB
hey, maybe this is a story relevant to the crowd on this site.

(I've used the search function to see whether the link to the story was posted already, afaik it wasn't.)
I didn't see your comment until I wrote mine, yes I did the same comparison and pythran really is amazing. One of the great things is that it also runs as reasonably fast regular python code (as you can just leave most numpy functions in place), which makes debugging and prototyping so much easier.
The second doesn’t follow from the first. Dyson Spheres might just not be worth building.
It’s not really gonna be used in your database rest api is it.
I once spend 2 hours on trying to get a newer version of nodejs on my system. Turned out that I had used nix-env a while back to install it and that had priority over the rebuild-switch :| So, I agree. Very risky way of managing nix
The square mile in London is deserted at the weekend (despite presumably most of the offices having some occupants). I’d say this is more about businesses having to adapt to what people want rather than forcing people to behave in certain ways.
I take it you don’t work remotely with a global team or been homeless? I understand your philosophy and largely agree with it. However reality is much more nuanced.
KTLA Channel 5, Los Angeles’ original television station
> Some languages, such as Jsonnet or Starlark, are not statically typed

Facebook's Starlark parser has some experimental support for type hints.
There are studies about what abstinence does to hormones. At day seven there is a peak of testosterone then it drops back.

What would the science explain? that people like sexual activity, alone or with partner? that's not exactly new. A habit becomes a problem when it is compulsive. This is rare. It's also not an entirely new situation. For most of history prostitution was widely available, even state-regulated for low prices in cases. But it s not like they all became sex addicts, it was rare.
So do I and I don't want war but the online "Hetzerei" for war is bad for our mentality and it doesn't belong here. Some people don't want to read this crap if they don't seek it out.

Additionally you state 190k troops, where is this from? (Edit: seems to be from this article but again from some unknown intelligence source 20 hours ago, Biden gave a Press Conference less than that and stated 150k, so which is it?). Biden just stated 150k troops. As long as there is no war unlike what the Americans keep saying it doesn't mater how many troops. There were 100k troops there in 2019, no one cared. An invasion of Kiev would be absolute suicide (Economically and Strategically) for Russia and is extremely unlikely no matter how much the US/UK keeps saying it will happen. The conflicts in the border region will continue as they have for a long time and this is what the UN and the rest of the world should (and are) focus on stopping. Even an incursion of Russian troops into the east region is unlikely because it would result in a grueling guerilla war plus they already have separatists in there fighting that war against the nationalist Ukrainians. This WW3 scenario the US/UK and Media keep pushing is not going to happen.

If they hack someone or there is something to do with business it is a topic. Otherwise it belongs on Reddit with all the others cries of wolf.
Time you spend fiddling with tools trying to replicate a tiny portion of what an IDE offers can be spent actually doing mental exercises to keep your brain healthy.
The Russians. Much more experience, as you said.
And, there is a possibility to cut wires for both parties. I think Russia has less incoming cables so it's easier for them to close the digital door.

Public transportation and a few power plants would be my aim. Whilst making chaos, at random hack anything what's open.

The nuclear plants and other very critical systems are airgaped for sure.
The dumb joke comment definitely resonates with me. Personally its the reason I stopped reading Reddit. I used to love it but now every comment thread is some self-referential inside joke. Or some other combination of “this” or “your mom” or something equally as stupid. Im glad there is a culture on here of downvoting those comments and keeping things fairly on topic.
Interesting to read the comments, noticing how the word "sex", which identifies a person as male or female and is based on the reality of that person's body, has completely been replaced by the word "gender", which is purely imaginative and made up, with no base in actual reality.

Reminds me of how empathy, which is something people are born with and raised out of, has been replaced with morals, which is something taught by "the system" as a replacement.
The merits of policy: do not trick users with dark patterns.
I still use my 20 years old hotmail address (OK, I don't really use it anymore... but I still get some mail from newsletters I'm subscribed to), but I read it from thunderbird so I never need to use the ad-ridden web interface.

Then again I would not see the ads anyway. In the case of the tweet we're discussing, I would probably have opted for the "bigger ads" which seems more easily removed by uBlock origin.
I don't think you need AI. Like in Italy the total of your loans cannot exceed 1/3rd of your monthly salary, as simple as that.
The current president is accused of being senile not simply because he is old, but because of several public incidents of suspicious memory issues, like clearly forgetting the name of the Australian prime minister he was holding a (remote) press conference with, or forgetting the name of Barack Obama in a pre-election speech.

Trump was sometimes accused of being senile because of his rambling sentences and bizarre speech pattern involving frequent repetitions.

This is not to say that any of this is introvertible proof that they are in fact senile, but the point is that there is evidence that can be interpreted this way, it's not simply ageism. As a further note of this, Bernie Sanders has not commonly been seen as senile, even though he is of a similar age - since none of his speech patterns suggest these types of memory issues.
Dyson sphere would emit significant amount of infrared light but no visible light. Original Freeman Dyson's paper from 1960 was titled "Search for Artificial Stellar Sources of Infrared Radiation" https://sci-hub.ee/10.1126/science.131.3414.1667
The logistic regression would likely pick up on that if it were a stratification issue.
of course everyone should be respectful of each other but why is talking about sexual intentions disrespectful?
Well, what's the old saying - nothing can parse Perl, but Perl?

As for JS and IDEs, you should try an IDE again. Far better.
That's not true for Rust; Rust generally supports iterating by bytes and by codepoints, but the grandparent is talking about grapheme clusters. You need an external libary for that. The generally endorsed solution is to use the unicode-segmentation crate: https://crates.io/crates/unicode-segmentation
Vulnerabilities on iOS are getting really scarce. People spend truckloads of money finding them and you need to pay twice that for the permission to burn said exploit.

That stuff isn't burned on mass hacks on random phone users, it's way too valuable.

BUT. There is a small sliver of time between the exploit being used on a high value target and Apple patching the hole. That's the spot where Joe Schmoe should be cautious.
agreed, but where do you get a lot of energy from? stars are the only answer seems like right now, nothing else produces/radiates energy in the universe in quantities needed