skysight-inc/HackerNews huggingface dataset:
> we need to use specific properties of numbers to prove whether they are irrational

Indeed, one could say that all we know about numbers are their properties. A number is just an existence assertion about an object fulfilling some property (possibly uniquely).
[Never mind, I didn't express this clearly]
How to feel when your startup feels easy
Science fiction authors excluded from Hugo awards for fear of offending China
Yeah, this is reportedly a measure they put in place after he bought the company because he was unhappy with engagement on his posts. It doesn't exclusively boost him AFAIK.

https://www.rollingstone.com/culture/culture-news/elon-musk-...

https://www.theverge.com/2023/3/28/23659842/twitter-boost-el...
JODI Oil World Database
JODI Gas World Database
That analogy would make sense only if cutting trees left the trees intact and didn’t annoy people in the park with noise etc. Alas, it’s nonsense.
So how is this all relevant to what I said?
The mention of Not­Supported­Exception is a little confusing because that's a .NET thing, and the rest of the article is talking about Win32, which is a plain old C API where exceptions don't exist. I guess he's implicitly talking about a C# API built on top of Win32.

It's entirely correct to return error codes, and any client is expected to handle that.
Places in Italy where there is a lot worse stuff underground - like priceless archeological artifacts many to tunnel a lot cheaper than the US where there isn't such things (in the US there wasn't many materials available that would last in the natives trash piles - if there was there would be interest)
Addiction is not magically fixed by prison and/or rehab. Even with a holistic approach of social support, medical treatment and mental healthcare, addiction has such a hold that rehabilitation hovers around 15% effectiveness. There's no easy fix, and it's almost impossible to stem the flow from the supply side. Your proposed solution would result in a very expensive revolving door, imo.
It seems stupid, yes. However he would've been hunted the remainder of his life and likely assassinated, regardless. He may have hoped too that by sacrificing himself, he would keep his family safe.

I don't have that strong of a will to give myself over to Putin the way he did. Navalny is immensely brave and principled and while his sacrifice ultimately will likely end in vein, I hope beyond hope that it inspires and motivates those in Russia who prefer Putin be eliminated from power. Time will tell.
Meh. For all the silliness, it’s not that hard to parse one for the main purpose it should be used for, which is determining in aggregate what platforms your users use. As such, we still need things like OS in there anyway. So it wouldn’t get quite that short.

Also I’m amused checking mine that the user agents still say “Intel Mac OS X” even on Apple silicon. I guess they were afraid someone’s parser would think we are on PowerPC without that!
There's so many weird things about that specific abuse.

The frequency...the inability to stop it after 2 months...

The weirdest thing is they seem to get some special treatment that renders them invisible, yet, not prevent them from being posted altogether, or have any impact on the account itself.

It's not even particularly productive spam. It's like watching someone thumb their noise in front of a steamroller. Makes no sense.
You have to read the terms like I did for the various sites they scraped. I did a quick skim of theirs:

https://z-lib.io/pages/terms-of-use

Many of these sites have terms that give the site owner a license to do the activities that would happen when training AI’s. In theory, some terms look like they could even bundle the data for AI training or run that phase themselves. It’s actually a good, market/public-benefit opportunity I hope they act on, esp HN and Arxiv.

I didnt read enough to see if any random person using the site had a license to do anything they want with any copyrighted content on the site vs just reading it. It did have a lot to say about copyright, though. Two quotes were interesting:

“z-lib.io the site doesn't provide any piracy copyright infigrment contents and you shouldn't use site for illegal copyright piracy.”

“Company respects the intellectual property of others and asks that users of our Site do the same. In connection with our Site, we have adopted and implemented a policy respecting copyright law that provides for the removal of any infringing materials and for the termination of users of our online Site who are repeated infringers of intellectual property rights, including copyrights.”

(Note: One of those quotes is also on the About Us page.)

They respect copyright, claim to not violate it, ban violating it, and will take down violators and their uploads. It would seem z library has a stronger stance on copyright protection than the AI community.
Good thoughts, sounds true, thanks telling!
A Zen+/AMD Vega SoC, connected by PCIe to another SoC with an FPGA, and a pair of Cortex-A72 and a pair of Cortex R5s.
To me the weirdest part is that all the bots I see have blue checkmarks. How does it make sense for the bot operators to pay money to run their bots? Are they using stolen credit cards?
Yes, 1993 was the year everything changed. Mosaic was released, online services started connecting to the internet, the new Vice President was pushing the "Information Superhighway", and people (the media) were listening and repeating it far more widely than when he was a senator. Eternal September occurred, websites like Bloomberg came online, Wired launched, and the internet was no longer a niche thing but the future.

By 1994 usage exploded and companies like Apple and Microsoft launched websites, Media outlets like the Telegraph, BBC and the Economist started making content, various international governments had a presence, and web commerce picked up -- you could subscribe to Britannica, you could buy pizza and flowers, and some random guy called "Jeff Bezos" started a new internet company, as did now-defunct sites like Yahoo and Lycos, and The internet was talked about on prime time TV in the UK (https://www.youtube.com/watch?v=XpZ5STahhPE)

I didn't touch the internet until 1994, but my feeling is that the internet of 1984 was very different to that of 1994
Thank you for the recommendation. Bought one!
The paid blue checks basically created a bot-engagement tier. for $8/mo you can protect your account from getting banned(profit motive to retain paid checks) AND get your spam to the top of every post.
It’s not rocket science, but it is baroque. TFA ends with 30 lines of config to make it boot and do nothing, including some to disable a bunch of spooky action at a distance invisible default dependencies, which still ends up with a system with a bunch of other units that aren’t explained.
Tend to agree with all of this. Manifest is way too finicky.

Would be interesting to see how the play store changes in the event of Android honoring code signing for side loading like windows.
Eg..no scare screen on side loaded apk’s as long as they’re code signed.

I suspect the App Store would live on as a consumer focused App Store and the enterprise apps would direct distribute which makes sense anyhow cause IAP does t understand account based pricing.
Or just use BSL...
Because we want business to take those risks. In the end I benefit from those businesses - not all of them, but some of them.

Businesses should take risks. However government should not add extra risk without careful consideration.
Agreed, but I imagine this might be a licensing restriction or something.
You have not presented a case for any year.

In fact, western governments can't give such informal guarantees further than their election term even if they wanted to, because unlike in Russia, governments change every 4-5 years and the current president, prime minister or cabinet ministers can't promise what their successors will or won't do, because the successors are often completely different people from different political parties with vastly different political platforms. That's why we have written treaties. Soviet and Russian diplomats are without any doubt educated enough to know that.
Just the cost of doing business. They make more than enough to afford $7/month.
In macOS, all Chromium apps use their DNS client, overriding other local DNS configuration, even in the router. I don't know the case with Windows and Linux.
Does -1/12 protect us from infinity?
A new angle at this I didn’t hear about yet
> The EU (in its early forms) was formed by the countries that just fought each other in WWI and WWII, and for centuries before that.

Not quite, the Western Union (predecessor to the EU by way of the was formed by the BeNeLux countries, the UK and France. Some of those were at war in preceding centuries but they were on the same side during WWI and WWII. It didn't have a lot of clout because very rapidly afterwards other more powerful institutions were formed and it was superceded. But it was more of a continuation of some of the collaboration that stemmed from being allies/liberators in the war than that they were on opposing sides. Later institutions included Germany and Italy as well.
Certainly! That was indeed my intention here. The big learning I'm intending is just how much state that people take for granted is necessary to track.
Fortunately, younger cities like London and Paris don't have the problem that ancient metropolises like San Francisco have, so they can build subway at a fraction of the cost of $4b/mi that SF needs to ensure that it's built right. There's a lot of history in California. Pretty unique in that regard.

To be honest, I like 280 without there being something on top of it, but if that's what's necessary to get a rail line down there I'd gladly accept it. Just the per-mile cost. Well, I'm not looking forward to paying more than half of every marginal dollar to the government so it can give it to its cronies who just happen to be husbands of famous California politicians.
This is what ultimately bounced me away, along with seeing some negative interactions others had. Sure I might not end up with problems, but I’m going to choose to believe them when they tell me the official communication channels will be hostile to me if I do have problems that need the unclean fixes.

Which is a shame, because I think there are some technical things which guix does better, but I find it’s more important to not have to worry about saying the wrong things in the wrong places when troubleshooting basic issues like what I get with the nix community.
I'm also an old fart and I'm quite cheerful about it. It's fun to play around with, will change the world and doesn't seem that impenetrable - see for example "Let's build GPT: from scratch, in code, spelled out by Andrej Karpathy" https://news.ycombinator.com/item?id=34414716 Not that I've really groked that stuff myself.
To each his own values. The western values are pretty evident with the way Assange is treated.
Valves doesn't make games anymore because they are making piles of money running a platform.
Where can I get more information on this? Wasn't fukushima total disaster in that it was badly maintained and in a bad location? These two pre-conditions don't seem to apply to the plants germany had.
Legislation that restricts local resident’s standing to sue? Can you provide some examples where that has ever been implemented in the US, in any scenario, or even judicial opinions to that effect?
Much of the crappy legacy behavior that Microsoft maintains is the fault of other applications, not themselves.

The classic one is the error code for the file open function. Early DOS would return error codes of only 3, 4, 5, and no more. DOS programs would actually just indirect-jump using the error number as an index into a lookup table of addresses. When Microsoft tried to add any error codes (say 6), the program would jump out into hyperspace since 6 was beyond that lookup table and that memory word could be anything. So Microsoft was stuck folding every possible file open error into code 5, and to this day that's why just about any file error in Windows just says "5 Access Denied". And no, Microsoft couldn't add more error codes and just let the applications break, since then nobody would buy the new operating system versions that their programs wouldn't work on.
It is so obvious from reading these comments here who is not, and would never ever want to be, a platform engineer. It’s hard for some people to grasp that you need to not only interact with, but thoroughly accommodate, software written by others whom you don’t control (often due to the one-way direction of time flow).
Show HN: A Flask-Based Internet Radio Player Built in Hylang
I ported this small project to Hylang a few weeks ago. It calls out to mpd and mpc, but the most exciting part is that it is written in Hylang, a Lisp that compiles down to Python.

It pairs well with [1]. Be sure to use the direct links.

[1] https://mw.rat.bz/davgmsrl/
Powering AI/ML Workflows with GitOps Automation
Read my latest publication “Powering AI/ML workflows with GitOps Automation”! I’ve delved into integrating MinIO with Weaviate and Python, creating an automated, containerized GitOps environment. This approach not only boosts data management and search capabilities but also gives us an advantage over conventional cloud solutions like AWS. Dive into this comprehensive demonstration with me, and let’s push the boundaries of cloud computing together! #techinnovation #cloudcomputing #DevOps #Python #AI #ML
taiwan, south korea, singapore

not to mention that china was on a reasonably good trajectory until a certain yellow bear ascended to the throne
Because then you're making every developer make a special build for every device. Most developers aren't going to care enough to make a dedicated Xbox or tablet build. You're just going to make the platform completely dead. It would be much better if all pre-existing apps could mostly run on them.
If you want to bash german politicians for current situation, 100% guilt falls on Angela Merkel. Making

1) Germany ultra weak militarily, you really can't let intellectuals drive whole nations since they have 0 clue about realpolitik, warfare and all those ugly aspects of it, and currently bundeswehr is a pathetic underfunded joke with rotting helmets that even current russian army would roll over without breaking a sweat.

2) a massive push for critical fuel dependency on russia

3) never standing up to that murderer in any way, even as he was killing and invading Georgia and Ukraine

He played her and similar to her very efficiently. Of course its nothing compared to masterclass he pulled/will yet pull on Trump.

As somebody coming from cca eastern Europe, being enslaved by russian troops after their bloody invasion, western Europe is... to keep things ultra polite - ultra pussies. You simply don't grok how depraved and hardened to cruelty russian mind is, things like fair game are an insult. Also their incredible durability to withstand absolutely horrible treatment, just buckle up and continue. Western sanctions my ass, just make sure any good chips don't work for them somehow because they don't care for the rest.

This is the case when you are dealing with mobsters who kill and know only rule of stronger, and you come with your polite smile and handshakes and expect things like keeping their word or contracts. I don't even have such a problem with EU dumb naivety in the past, but what is shocking that they didn't wake up right after invasion and starting putting 10% of GDP into army, to see some effects in 5 years just in time when real stuff starts happening. Every single post-soviet country keeps issuing very strong warnings due to previous horrible expereiences with russian terror, but these are completely ignored on EU level. This is a major long term weakness that will not get unpunished.

Yeah, when SHTF its very easy to be ashamed to be from Europe, for quite a few generations.
Yeah, but how many will work on that singular masterpiece? The rest will be reduced and won’t have a job to put food on the table
An article with AI-generated images retracted from Front. Cell Dev. Biology
Does it matter to you whether you're interacting with a human on some level when watching a show or movie, specifically on an artistry level?

Maybe some movie you've watched has been spun up by a Sora-like platform based on a prompt that itself was AI-generated from a market research report. Stephen King said that horror is the feeling of walking into your house and finding that all of your furniture has been replaced by identical copies - finding out that all of the media everybody consumes has actually been generated by non-human entities would give me the same feeling
> He showed that the conjecture has a counterexample, which he estimated to be around 1.845 × 10361

1.845 × 10361 = 19116.045
Absolutely each and every one of those is far right, borderline fascist and getting more so by the day. There is plenty of evidence of Russian funds bankrolling these (and others), no need to suggest this is a conspiracy. What you believe doesn't really matter.
in case you speak german: i wrote up an article about their scoring some time ago.

in the following section i talk a little bit about the differences between "branchenscores" and the "basisscore": https://onlinekredit.com/schufa-scoring#der-schufa-basisscor...
This is fantastic if this starts working on smaller models. We've have solid results with appending the following to our GPT-4 system prompt.

"When possible cite your sources. Use the following custom html format <citation>{document_id}†{node_id}</citation>. Very important!"
Not deciding, but being told to do so by Germany who is infiltrated by Russians at every level of government, industry, and media. Allowing Germany to unify and giving the keys to the future of Europe to Germany was the biggest mistake the USA and Britain made after 1989.
I wouldn’t have used the slower argument but rather the information encoding argument. A simulation must necessarily encode less information than the universe being simulated, in fact substantially less. It wouldn’t be possible to encode the same information as the root universe in any nested simulation, even the first level. That would require the root entire universe to encode. This information encoding problem is what geometrically gets worse as you nest. At a certain point the simulation must be so simplified and lossy of simulated information that it’s got no meaningful information and the simulation isn’t representative of anything.

However - just because probabilistic reasoning explodes and the likelihood of something is vanishing doesn’t make it true.

First, the prior assumption is the universe can be simulated in any meaningful way at any substantial scale. That’s not at all obvious that the ability to simulate is high enough fidelity to lead to the complexity we see around us without some higher dimensional universe simulating what we see and the realities we see are achieved through dimensional reduction and absurdly powerful technology. This is also a probability in the conditional probability and I would not put it at 1.0. I would actually make it quite small, but its term as a prior will be significant.

Second, the prior is that whatever root universe that exists has yet to achieve the simulation in the flow of time, assuming time started at some discrete point. Our observations lead us to conclude time and space both emerged at a discrete point. The coalescence of the modern universe, evolution of life itself, emergence of intelligent beings, the technology required to simulate an enormous highly complex universe in its entirety, etc, are all priors. These are non trivial factors to consider and greatly reduce the likelihood of the simulation theory.

Third, it’s possible the clock rate of the simulation is fast enough that the simulation operates much faster than time evolves in the root universe, but to the original posts point, without enormous lossy optimizations, the nested universes can’t run at a faster clock rate in their simulation than the first level simulation. This is partially related to the information encoding problem but not directly. I don’t agree it geometrically gets worse, but it doesn’t get better either without further greatly reducing the quality of the simulation. That means either the quality converges to zero very fast, or they run at a synchronicity of the first level universe, requiring 1:1 time. Assuming it actually simulates the universe and not just some sort of occlusion scoped to you as an individual, that might mean it’ll take billions of years within the first level simulation for each layer of the nesting. This seems practically unlikely even in a simulated universe, so either those layers must not achieve a nesting or they must converge to simulations that have lost so much fidelity they simulate nothing very quickly.
Good idea - it worked on my android phone and tablet, i guess it might be some applications or browser plugins i have on desktop..
nah, it's because all of this is just lip service. windows11 is getting worse and worse.

and cool that Mr Chen thinks about UX and compatibility, but MS as whole does not really. important business apps got special treatment, and that's it. (MS and its corporate entourage solved this mostly by providing Windows and "security" patches for it, for a lot of money.)
I’m really happy that github in particular has made it so easy to give some cash to the people responsible for tools that I enjoy.
You don't need "quasi-open-source" to solve the coordination problem you describe. It can be solved with a threshold pledge system[0]. People agree to donate money, and the developer agrees to release the code once sufficient money is donated. There can be a time limit after which the donations are returned if the threshold isn't met.

This has actually worked in practice: Blender was originally proprietary software, but the copyright holder agreed to release it under the GPL after collecting 100K EUR in donations. After 7 weeks they collected enough donations and Blender was released as FOSS as promised.

[0] https://en.wikipedia.org/wiki/Threshold_pledge_system
GPL is more free than MIT, not less. I would never make significant contributions to a non-GPL project.
> the computer can prove it easily just by counting a finite number of bits

Did you miss the infinite sum there? How would you prove an infinite sum equals a transcendental number by counting finite bits? You'd have to count infinite bits.
Most people don't need or want all the UNIX tools' capabilities. Does it make sense to compare the Windows command environment with the Linux one and say "Don't include all these capabilities in the analysis?"

> but "can your text editor/IDE do a bunch of not-text-editor-slash-IDE stuff?" is a weird gotcha.

It's not a weird gotcha when dismissing the tool. If you want to artificially narrow the comparison to "writing SW" (which is even narrower than text editing), then by all means - VSCode is the superior tool. But why stop there? The bulk of PC/laptop users use Notepad as their editor, and have no use for VSCode's capabilities. Shall we dismiss all the cool things in VSCode for it?

And sorry, what? Non-editor stuff? About half the items I listed are editor related.

> Sometimes you want to buy your dessert topping and floor wax in separate cans, y'know?

True, but wouldn't it be at least nice if you could buy both cans from the same store, using the same currency?

No one's arguing using only one tool. As I write this, I have both VSCode and Emacs windows open. Use the tool for its strengths. But blanket comparing VSCode with Emacs is silly - it's like comparing Excel with all of Linux. One is an application. The other is a platform. Excel is easily the best spreadsheet out there, but for many people, Linux is much more useful than Excel.
not to forget that at one point muscovy was under ukraininian (Rus-ian) dominion.