skysight-inc/HackerNews huggingface dataset:
> Actually, I think the best solution is men only gyms

If that works for you, that is great.

Personally, I strongly dislike segregated clubs, both ideologically and in practice. I want to interact with people of different backgrounds and avoid inadvertently carving myself into an echo chamber, so segregation (in any dimension) feels a step in the wrong direction for me.
Same experience: it’s quick at finding irrelevant links. For some reason, it seems to have indexed a lot of spammy websites: search for "Trastevere" on Google, and you get Wikipedia and pages about the district in Rome. Search it on Mwmbl and you only get links from a random *.it-romehotels.com website.

Other random examples: search for "2023" and the very first link is "2023 Pomeroy College Basketball Ratings". Search for "iphone", and the 5th link is a page about iPhone 6s that was last updated in 2021. Typos don't work: "haker news" has only one result, a hungarian press article.
It might be common, but the German bureaucracy is a lot worse than what Germany's reputation of structure and order would lead foreigners to believe.

And while it might be common around the world, Germany is playing in a lower league than for instance the Scandinavian countries.

In Germany, you need to make appointments and do things in person.

In Sweden, you can change vehicle ownership or register your move to a new address online in minutes.
I think you're correct that it's a big problem that the serious compilers don't actually have coherent internal behaviour, but I think that's a distinct problem which has been masked by the provenance problem in C and thus C++. It meant that real bugs in their software can be argued as "Works as intended" pointing to DR260 rather than anybody needing to fix the compiler.

For LLVM the effect of Rust has been to drag some of these issues into the sunlight, as it did for aliasing problems previously. https://github.com/llvm/llvm-project/issues/45725

Once the GCC work is closer to finished, I expect we'll see the same there.

I disagree that you need to solve the C problem first to solve the compiler problem, and I think it was misguided to start there. You seem to have focused on the fact that exposure is even an option in Aria's implementation, but let me quote: "The goal of the Strict Provenance experiment is to determine whether it is possible to use Rust without expose_addr and from_exposed_addr". Setting PNVI-ae-udi as "the" provenance rule is your end goal for C, but there's a reason it's called the "Strict Provenance" experiment in Rust, the goal is something like what you call PNVI-plain.

APIs like map are key to that goal, Rust has them and N3005 does not.

So like I said, rather than just being a "translation" I think the most that can be said is you've got the same problem albeit in a very different context, and your solutions are related in the way we'd expect when competent people attack similar problems.
Except that is the whole point of languages like C#, being able to be productive in high level code, and not needing to write C++ when performance is called for by providing all the features for low level code, unless in very niche caches where those features still aren't enough.
That's a good point, thanks andrewaylett!
No, it really is bad. I've lived in the UK and in Germany and Germany is definitely worse. I don't know why you would have such an opinion on something that you, by your own admission, know nothing about.

If anything the opposite of what you're saying is true. Everyone abroad thinks Germany is so efficient and Germany has this amazing reputation, but the reputation is a lie.
> Another notable addition in this version is the "Sparse VHD" feature, which, as previously described, automatically shrinks the size of the WSL virtual hard disk (VHD)

Finally. Previously you had to run a bunch of sketchy diskpart scripts, unless you paid for windows professional, which doesn’t come on Microsoft devices.
Comparison of AI OCR Tools: Microsoft Azure, Google Cloud and AWS
Oh man god bless ya. I said exactly this to an interviewer once when they asserted with complete certainty that copying a value from a register to another MUST be faster than copying from a pointer.

I said "I agree that it's probably true for mostly every piece of hardware you'll ever touch but I think it's theoretically possible to design a digital circuit in which for certain cases they take the same amount of time"

To which the interviewer said "No it is impossible"

The guy just didn't wanna hear me out.
I didn't hear that. I heard vocal claims that _getting rid of all of the things_ would cause problems, and that we'd either have to expensively replicate or just sign up for it separately anyway.

That is exactly what has happened here.
How reasonable or delusional really are all these private ramblings? Because it looks like they would buy half the world if they let them do so.
- "It sounds like they struck a deal with chess.com"

Well yeah, it says that right in the first sentence ("exciting new partnership..."). It'd be unlawful if they didn't prominently disclose that this is a paid endorsement.

There's a diversity of both paid and free chess servers, and the paid ones don't hold any particular advantage today. This kind of ad (it *is* an ad) takes predatory advantage of people unaware of the internet chess landscape, to funnel them into handing over their wallet when it's completely unwarranted. (See e.g., lichess.org [0]).

And all this Opera stuff is baffling to me. Why would anyone choose to put advertisements in their browser, in any form? Ads don't inform you–as this example shows, they mislead and prey on you. The conventional defense of ads is they fill in information gaps: they tell you about services you want but didn't know were available, like an interesting restaurant on a nearby side street you've never visited. But it's so much more often the opposite: this ad convinces people to pay for a service they don't want and don't need. It takes advantage of information asymmetry, of the consumer's lack of familiarity with the product domain: it doesn't flatten that asymmetry, but exploits it.

It takes authentic humans, like me right here, to tell you "internet chess is free and you probably don't want to pay for it like all the ads tell you to". No commercial agent will do that.

[0] https://hn.algolia.com/?q=lichess
Trying to run a publicly traded company like a VC bonfire - what could possibly go wrong.
Where does this come from? It looks like BS to me. The idea that China has the most advanced aircraft engine manufacturing is truly insane: that belongs to the US and UK. China can't even fully build their own commercial aircraft because of this; they have to buy engines. For their military planes, they get engines from Russia.
yes, this isn't against Germany specifically.
Does anybody know how this interacts (or is intended to interact) with nested functions? My understanding is that GCC enables executable stacks when nested functions are used[1]; it'd be interesting to know whether they produce an error for this combination or continue to silently disable that mitigation.

[1]: https://gcc.gnu.org/onlinedocs/gccint/Trampolines.html#Suppo...
Yeah, I worked at a company up to a few years ago where it was actually a huge competitive advantage for us not being in the US, because the products we designed, manufactured and sold (full satcom terminals as well as the microwave converters in them) would have been ITAR if they came from the US (being ‘dual use’).
I hear the recommended approach is to write your own module in the engine level code. But that means you need to compile the engine everytime you change your module. Possible, but you are losing a lot of iteration unless you are experienced in rolling in your own physics.

Nothing stop you from modifying the engine code, but the problem lies in the binding layer, not the engine perormance (as you see in the blog, the raw engine performance for a raycast is about the same as Unity). That's a bit trickier to fix without intimate knowledge of such bindings, and you'll likely break a lot of GDScripting support (so by extension, c# scripting) in the process.
Terry, 57 is not a prime
Also see discussion here:

https://news.ycombinator.com/item?id=37567066
Honestly? you might be right.

Perhaps Airtable for an aaS approach that can be exposed to external visitors as a website, but the concept is sound.
> the common man is coming less and less contact with GNU.

Compared to when? Would the Android experience differ substantially if it included the GNU userland?

I'd argue no : the common man does not compile, write shell scripts or writes it's own software.

Or are you argueing that somehow GNUCash for example would be more popular?

You can look at Windows or OSX to see what is important to the common man. And it is not build tools / infra, and I think that is fine.
Is there some website or something where you can enter a Japanese name in unspecified order and receive a guess on which is family name and which is given name?
You're being argumentative for no good reason. He was suggesting a name change to improve the likelihood of a large userbase, not a change for his own convenience.
Let us hope this never happens. MS culture would destroy Nintendo in short notice.
Have you ever tried to carry an air conditioner? When you include the power source, it’s really heavy. Do you think someone who drives 300m is capable of carrying that kind of weight? I suppose I could carry a car door and just roll down the window.
To be clear, the domain of correctness is broader than memory safety.

For example, TigerBeetle follows NASA's The Power of Ten Rules for Safety-Critical Code. We require that memory allocation failure be explicitly handled in the control flow, and that no dynamic memory allocation be used after initialization, that all resources (including memory) be explicitly limited, with no hidden allocations.

Our language choices then came down to C or Zig. Zig made most sense.

Zig's correctness philosophy (e.g. extremely explicit control flow) may be different to other languages. But Zig resonated with our own philosophy—in addition to the big examples already given above, we also noticed the little things (e.g. checked arithmetic enabled by default in safe builds).
You can automate that with a browser extension that checks the page and plays a sound when it changed
What libraries did you use in Vue for the UI components? Interface is so clean.
Generlas is a very picky game, with random mismatch errors all the time on windows, even as a linux gamer I've given up on running it on linux, it has enough issues as is!
Nicolas, you are the hero we didn't now we needed.
Playstation for example.
I walked a lot more in San Francisco, which is a very walkable city in most places. Just keep an eye out for poop.
Radio chips used in iot devices. Bluetooth, wifi, zwave, zigbee etc. usually rely on the lager node size. Designs are produced and sometimes supported for decades.
Love this! Someone should start building a hub for such tools that help you deal with our german bureaucracy.
It's a normal word now. In 1998, it was pretty weird. How many o:s does it have, is it -el or -le? etc.
Motorola Defy Satellite Link In-Depth Review
I think their main computer being a Mac without a CD-ROM drive may be contributing elements as well. Interesting juxtaposition that they are struggling to take the files off a cd but confident they can produce a web database. But seems they found help so nice it's all ending well.
It's not about what he said on YouTube though. He stands accused of having been a bad person. Maybe he was, but if all it takes for a YouTuber to be deprived of their income is to be accused of being a bad person (or of having committed a crime ten or twenty years ago), then that is obviously problematic ...
had both for a while, but they are ~30% heavier and bigger for no good reason

also headphone jack ;)
There's quite an interesting analogy there. I guess you could have a four wheeled wagon structure similar to wooden wagons of old, then an engine added and now electronics added, as an analogy to the triune brain. It's not that modern cars are built on wagon chassis but that the basic body with four wheels structure is similar for functional reasons. Probably similarly with the 'reptilian brain.' Our bits are maybe similar because they do the same job rather than because they evolved from that.
This is great! We should have a hub of such tools that help you deal with our german bureaucracy!
I asked it about the number fatalities in the tornadoes in the US in December 2021 and it gave me a correct answer.

> In December 2021, a particularly devastating outbreak of tornadoes occurred in the central United States, especially impacting Kentucky. As of my last update in January 2022, the death toll from this outbreak was over 80 people, with the majority of those deaths occurring in Kentucky.

https://chat.openai.com/share/2315803e-96d5-4980-b31c-5b9377...
Nicolas, you are the hero we didn't know we needed.
Yet for some reason Europeans feel so strongly against privitization of public services
"57 is not a prime" is not the title.
'significantly' is obviously a weasel word that is opened to further arguments, and I suspect it was added on purpose so that both parties can claim 'victory'.

Your comment is your personal interpretation, for instance.

I could also say that if I paid 2.5 billions in and only got 2.1 billions out over a single year that is significantly less (16%) so I demand a refund or guaranteed extra funding to make it up the following year.

> The idea of the program is not to get all the money attributed to your country

Whatever the idea of the program is, the aim of the UK seems not to be a constant net contributor, i.e. to ensure that on average it receives at least as much as it contributes, which was also the aim of various 'discounts' it got within the EU.
Sounds like we're going backwards! Soon we'll be collaborating with other nations about other things too!! /s
I'm a long way off from being a professional programmer, but part of my current job is to develop and maintain low code solutions. The company I work for is all in on MS (sharepoint, O365, Azure, etc) so powerapps is a no- brainer for us. I've had to make do with a couple of ugly workarounds, but for the most part the whole "power" platform makes things pretty seamless and easy.

I haven't tried any of the others mentioned, though, so I have zero context.
> I hear chess.com is better at combating cheaters.

That contradicts what I have been hearing. And it makes total sense. Unlike on lichess, the incentives are wrong for chess.com to remove whale cheaters.
Mantine 7.0 is out – 150 hooks and components with dark theme support
You make great use of modern technology and ingenuity. Congratulations, everyone should do the same. Sarcasm end.
As a German living abroad I look in horror at the stories I read.
Where I live changing the official registered address is a log into the gov services site, change it and two weeks late I get a letter with ned address stickers for my driver's licence. The driver licence on my phone does not need a sticker obviously.
FWIW, I don't have numbers, but Horizon Europe is both a research funding scheme and an industry innovation funding scheme. https://research-and-innovation.ec.europa.eu/funding/funding... says "This is 70% of the budget earmarked for SMEs."

It has both direct research grants (ERC grants), and funds for big consortium projects, where most of the money goes to big companies, with some money also going to SMEs and researchers (It probably has intermediate funding like direct SME fund, I don't really know the full extent).

I wouldn't be surprised that UK joined Horizon Europe because of industry lobbying rather than research.
> I am certain had it been shipped the other way the post office in Norway would have rejected it immediately for not being 100% by-the-book.

The postal office in Norway tries hard to deliver to the correct destination. I've heard of similar stories where they only had a name and a city to go on, and it was delivered at the correct location. During Christmas, they even have a team of dedicated "detectives" who tries their hardest to figure out who the packages should be sent to.
I don't see how it was misleading. The scientific co-operation was stopped, just as they said it will be, and it took three years to re-negotiate, without it ever being certain that the negotiation will be a success.

And the UK remains an "associated country", allowed to participate but probably excluded from decision-making (a guess, it doesn't explicitly say in the article, but the UK now has the same status as countries like New Zealand, Ukraine, Kosovo or Israel).
Since we're at the limit of what the comment chain permits, I'm not really sure I see what you're driving at in your followup reply to me. I mean yes, GNU's never been thaaat relevant to most people. That doesn't change that in the context of the OPs original point it's hard to see GNU as having done anything but lost ground in contemporary times. Which in turn makes it hard to see a way it'd be a path towards whatever salvation was being opined on.
Not exactly the same thing but this website is basically Red Alert 2 in the web with multiplayer support: https://chronodivide.com/
For anyone thinking this is satire: It's suprisingly close to the truth. We have Elster for electronically submitting taxes. Apparently the Elster Project started in 1996. And all it is, is a digital version of the manual tax forms. It's entirely stupid. When I file my taxes I still have to leave out 12 random pages (instead of Elster figuring out that I don't need to file them and simply not show them to me).
And last time I called the tax office the woman on the phone told me she can't answer a specific question I had because she would need to get my printed out file for that from the cabinet down the hall so I will have to call again later. 27 years. This is where we're at.
Maybe we'll make a trade deal with countries in our geographical proximity, so we can trade without barriers. Perhaps even allow people to go there and work, and people from there to come here. Who knows what the future brings.
There's 3 kinds of dependencies. The best way to describe them that I have found is a metaphor with the Terminator movies.

* Libraries are tools that your app uses. For example, the JSON parsing library. They are relatively easy to switch from, as they are (usually) used for very specific tasks. For the terminator, a library would be a shotgun.

* Frameworks are pieces of software your app embeds into. They have a set of conventions and procedures that condition the shape of your app. In exchange, they provide a lot of baked-in functionality, which is usable by your app right away. Ruby on Rails is an example of a framework for web development. They are more difficult to switch from, because your code is "shaped" in a certain way and it relies on the framework to several tasks for them. For the terminator, a framework would be a motorbike. It's difficult to jump from a running motorbike to motorbike, if there's a T1000 chasing you on a truck (that would be a deadline). It can be done, though. Much easier to do if you prepare in advance.

* Game engines are similar to frameworks, except the dependency goes deeper. Your game is not embedded into the engine. Instead, it is made of the engine. Unity is a game engine. It's very difficult to switch from one game engine to another one. The engine would be the terminator's endoskeleton - the metal skull, torso, arms and legs, plus the initial "bios". Your game would be the living tissue put on top of that metallic frame, as well as the directives programmed in the brain ("Protect John Connor").
The part about typing it again by hand and printing it is very real!
This would seem easily avoidable if people reverted back to using only last names [1] and an honorific, as was once common in the Western world. Mr. Smith, Ms. Jones, etc.

1. I mean family names here
The referenced piece is the comment which does not have a title as such; I hope the title I gave it accurately summarises the content.
I've had the opposite experience...

My knowledge of Terraform was limited to the basic principles, but I've been using ChatGPT to develop scripts and learn as I go. It's been excellent, and the scripts I've been working on are merrily terraforming AWS with a custom VPC, subnets, internet gateway, security groups, EC2 instances, keypair generation, etc.

The majority of suggestions work first time. The ones that don't are a good learning experience, as you can discuss the issue or error with GPT4 and dig deeper into the causes. For an effective learning experience, it's important to not just accept config or code that you don't understand. This is where the nature of ChatGPT is useful, because you can ask as many followup questions as you like. When learning this way, it's also useful to tweak the custom instructions feature and focus the responses on common or idiomatic approaches.

I'm not sure if your comment was more about asking it to generate a complete Terraform project and verifying that everything runs perfectly first time, but I wanted to mention that it's been highly accurate for me when taking an iterative approach (GPT4 at least).
Yea, to be fair, you can abstract away some parts of games to be sure. You can usually put non graphics related game logic, data persistence, networking into a shared library in your preferred programming language as long as that language can expose its api using a c layer or some sort.
The word "superintelligence" is doing a lot of heavy lifting in these assumptions.

But if there was a model that could make better-than-human-with-spreadsheet predictions about the moves of the stock market, that could make a lot of money for its users, so you could charge a lot for it.

Unless, of course, you had competitors with an equally good model who were giving it away for free.
Mostly because Linus won't accept anything other than C on his beloved kernel.

Sun had experimental support for Java drivers on Solaris, Android has support for writing drivers in Java, Android Things only allowed for Java written drivers.
Definitely, we want to make it easy to integrate arbitrary email providers instead of whatever vendor we happened to have integrated natively right now. It's not an intentional paid feature gate as much as it's just something we didn't get time to put in an OSS-ready workflow for the OSS launch.

We're thinking of being able to allow users to create a custom webhook alert so you can get full flexibility on what vendor you use and how the alert should be crafted, would love to hear your feedback there, though may need to ship some stopgap solutions depending on demand!

https://github.com/hyperdxio/hyperdx/issues/2