skysight-inc/HackerNews huggingface dataset:
When the error messages are caused, by a test suite with a mathematical rigourous spec and edge case geared tests, this eventually results in correct code.
Yes, that's true, I wasn't very clear. It's a method that is patented, but not a specific implementation of the method.
> You think your 40-pound jQuery file and 83 polyfills give IE7 a boner because it finally has box-shadow. Wrong, motherfucker.

hehe
The vast majority of people do not need to be buried under calculus, it's almost as stupid as teaching kids to write with joined up handwriting, it's of no relevance to the real world and it turns people off.

However we have a population that have no idea about how things like interest rates work, how loans, mortgages, savings etc work, what pensions do, how to determine if that 2-for-1 deal is better than that separate 50% off deal, the total cost of ownership for a 3 month phone bundled contract vs buying the phone upfront (or with a loan), etc.

None of that is taught in maths. It could be taught in numeracy or finance or some other lesson, it should be taught, but there's a big difference between doing matrix transformations of imaginary numbers and working out that you're being fleeced by Tesco
Growing, or just large?

I ask because "The Two Cultures" was 1959: https://en.wikipedia.org/wiki/The_Two_Cultures

Even where people recognise the value of maths, some of the responses I've seen to this use rhetoric-disguised-as-maths such as this: https://nitter.net/Samfr/status/1647717775777972224
Well, it's more important to see that actions Rishi Sunak is taking than what his background is. This is an important problem (STEM - Mathematics Education) that he is tackling which no one else before him bothered to.

Regarding his background, it's like saying the CEO of the company has no clue about the software that we build because he never fixes the bugs. The job of a Prime Minister of a CEO is not to be in the nitty gritty of the issues, that's the job of the people who work under him just like IC's and Eng Leaders, then they are supposed to bubble up the important issues and explain to him. Having said that, he is best suited as he brings strategic thinking (learned at Goldman, Stanford) to solve these dire problems.
Does anyone know why there is a Rust fork, and what are the changes to Rust?
The README doesn't explain anything.

I only saw https://github.com/crablang/crab/issues/14
Only disagreement with their trademark policy?

Some other summary from reddit: https://old.reddit.com/r/rust/comments/12lb0am/can_someone_e...
Male fertility is a problem, but it's not the driver of the birthrate drop in the developed world.
I agree with many comments here but especially with this - the domains these alien artefacts touch are the things that makes them so tricky. Nonlinear optimization is one such area I work with regularly.

It seems there is an analogy to python and web programming here - a lot of people can work with things in python/js that are like alien artefacts to them.

Are some areas more prone to alien artefactness than other areas? What about deep learning - how many folks doing it actually understand things vs just use neatly packaged alien artefacts?
No, equality of opportunity is cruel and counter productive for exactly the reasons you mention. You cannot realistically achieve equality by elevating everyone, which means you need to focus on taking away from people.

The moral and practical thing to do would be focusing on improving objective outcomes. Focusing on equality degrades objective outcomes in favor of moral perversion - taking away from some to make others feel better.

Imagine the child of two millionaire college professors. What will you do to equalize this child's opportunity with a child in the inner city of (pick a bad city)?
"They hate you if you're clever and they despise a fool. 'Til you're so fucking crazy, you can't follow their rules." - John Lennon - Working Class Hero
This is exactly my point. Also, even if there is a workaround, more often than not the complexity of the mountain of workarounds just creates the next set of certified bugs.
They always use shear-thickening fluids because they're so counterintuitive, but shear-thinning fluids are a fun example of a mixed blessing — the same property that keeps paint from dripping off a brush/roller until you apply it is also what makes it so hard to pour the right amount of ketchup.
The terms concept drift and (to a lesser extent) context drift have been used in AI for decades. The NannyML article uses the term concept drift. Here [1] is a 1996 paper that uses both terms.

[1] https://link.springer.com/content/pdf/10.1007/BF00116900.pdf
The Mastodon argument against generic search is that it leads to pile-ons. If you want to opt-in a post to be searchable then you expose it via hashtags. To a Twitter user it feels a bit over-exuberant new social media manager, but once you understand the context it becomes more understandable.
What are the rules for broadcasting though? I thought you get hit with a fine without a lisence if you transmit any sort of radio-frequency
I'm absolutely smitten with ChatGPT! This awesome language model is a lifesaver, automating all the dull tasks that used to drain my energy. And guess what? I've compiled a super cool repository that showcases some fun and creative ways to use ChatGPT in our daily lives. Trust me, you won't want to miss out on these tips!
https://archive.ph/gmQzY
Information is dispersed, and created by many independent volunteer initiatives. A lot of info is in all kinds of blog posts, so some internet search may find good input. There's the "Increasingly less brief guide to Mastodon" at http://guidetomastodon.com, by @Noelle@elekk.xyz and sites like https://fediverse.info and https://fediverse.party provide overviews. At https://delightful.club you find curated lists of fediverse app, client and developer projects.
> I'm sure someone at booking a/b tested these things and saw an increase in revenue.

I know people who used to work at Booking.com. That's exactly what happened. From what I can gather, you're not allowed to make changes to the site without running a test.
That page looks like it could have been made in HTML 1.1(and that’s actually a compliment, honestly!) - why bother with all those crazy dependencies? Why cache your images at the edge, if you have like 10 images total?
sorry, after the mid-term contract email change I moved all my domains

and won't be coming back
How does this law works in Remote companies, where everyone is working remotely ?
He doesn't need to, he has 'Secretary of State for Education' in the UK working for him who is responsible for understanding the problem and brining it to the PM.
Last time I checked, supporting more than one platform was not a requirement for open-source software. The source is open. This says nothing about which platforms it runs on. All it says that if you want to run it on another platform, you are given the chance to port it yourself.
I raise another counterpoint: http://bettermotherfuckingwebsite.com/
That video was discussed here on HN about a year ago:

https://news.ycombinator.com/item?id=30708458
A lot of France and Belgium is about one 4 hour drive away from England ;)
Seems like a lot of knowledge is about to be lost/paywalled from moves like this.
Why does one need any server side code to run a simple website or a blog?

Just browsing through the site it seems to be just links to articles and blog posts. All of that could be "pre-compiled" into plain old HTML pages and pushed to something like github pages and you wouldn't need to worry about DNS, the server or any of the software running in the stack.
Maybe in Goldman that's where he learned to betray repeatedly his colleagues

As to what knowledge he brings to the table, the answer is nothing. He's just buddies with the IB establishment. That's why I would vote Starmer despite being right of center, him being positioned ahead of voter desires was unacceptable.
In theory it seems neat but in practice I'm here with 10 tabs all called "+page.svelte" or "+page.server.ts" and it completely breaks my workflow since I can't tell them apart or navigate with fuzzy name matching. How do you deal with that?
I also think that's what they've done but they'll have to keep the good rates as it's really easy to switch banks over here.

EDIT: actually, they just sent me an email saying the current account interest will soon be 1%, that's very good for a current account. The saver is still at 3.1%
Floating point numbers are deterministic, they just depend on thread-global state which has different defaults on differen platforms and can be changed by third-party libraries (including injected ones) at any point.
The end of 2022 is when the tools gained enough mass exposure, and more critically ease of use, that anyone anywhere could set up an account, and start creating 'humans' for future use. Before then, it was a specialist task, so much less common I think.

From now on (Day G1?), we're going to be awash with AI written stuff. Literally drowned in it. The first AI drafted marketing emails have already started hitting my inbox, and that's just the start I guess.
How well has copyright really worked for the little guy? Even when there are wins in the GPL violation suits, the payout barely covers the cost of litigation (i'm imputing the cost even if it is pro bono).

Not to mention tivoization which trivially bypasses GPLv2.
Maybe Google updated the Gboard since the last time you used it, but it definitely predicts from multiple languages in the same sentence for the last couple of months at least.
I'm someone who switched from SwiftKey (paid plan) to GBoard, and never looked back. I much prefer GBoard to SwiftKey. So it might be a matter of preference
Send Password Reset to Contact Using Power Automate
Slightly off-topic: didn't know what ⌊x/2⌋ is

Google: x squared (???)

GPT: The expression ⌊x/2⌋ represents the greatest integer that is less than or equal to x/2. It is called the floor function of x/2. For example, if x=5, then ⌊x/2⌋ = ⌊5/2⌋ = 2. If x is an even integer, then ⌊x/2⌋ = x/2. If x is an odd integer, then ⌊x/2⌋ = (x-1)/2.
"Your online" domain name and webhosting services, I guess.

>Both Gandi and TWS are leading domain name and webhosting companies together serving over one million customers across Europe and the USA.
Linuxwave: Generate Music from the Entropy of Linux
Yes, because of Berne you don’t need to register copyright, and your copyright applies in all countries that are signatories. But it’s still national copyright you are dealing with.

As a German publisher, if an Italian publisher distributes a counterfeit copy of your book in Italy, you are in your right to send a cease-and-desist, but under Italian law, which just happens to be similar to the German one (because they are both signatories to Berne). If the Italian publisher doesn’t comply and it ends up in a lawsuit, it is going to be a lawsuit in Italy.

If the Italian publisher also distributes the counterfeit book in Germany, you have standing to sue them in a German court (theoretically only for the copies distributed in Germany).

As to the length of copyright, it’s not relevant if it’s a foreign or domestic work (that’s actually the point of Berne!)—you have to apply the length of copyright of the country you are distributing in. For a long time Canada had the minimum death + 50 years, which is 20 years shorter than most common death + 70 years. This did not mean that Canadian authors got 20 years less internationally. Rather, it meant that Canadian publishers could distribute any work, whether domestic or internationally, 20 years earlier than most other countries… as long as they only published in Canada.

The Sonny Bono act similarly has no impact on the EU public domain, it was to prevent works to enter into the public domain in the US.
Universal hyperintelligence ChatGPT disagrees with this article, saying: "The credit for inventing Flamin' Hot Cheetos goes to Richard Montañez. He was a former Frito-Lay janitor who came up with the idea for the spicy snack in the early 1990s. Montañez developed the recipe and pitched the idea to Frito-Lay executives, who eventually gave the product the green light. Flamin' Hot Cheetos went on to become a huge success and are now one of the company's most popular snacks."
TL;DR:

> "[...] maintaining this site fucking sucks! And that's exactly why I do it. It's one of the best projects I've ever created."

The author has intentionally chosen inappropriately complex tools for a simple task as a learning exercise.
>Most legitimate pushback I've seen has been more on the non-consensual training of models

Look at the pushback to Adobe’s model.

“Non consent of model input” is just a tool they’re using in the hopes of destroying the tech. Plenty of companies have datasets of these same people’s work where the T&C permits training.

The narrative will switch once you can no longer use the “stealing/consent” argument. They won’t suddenly become fine with this tech just because the dataset consented.
Why duplicate the efforts of valgrind and address sanitizer?
Nor did I say it was a requirement. I said that the lack of cross-platform implementation was surprising.
Not at all. Swype existed already in the pre-iOS/Android era. Even Flesky copied the feature before SwiftKey.
This is partially why I'm zeroing in on a markdown driven static (astro) site on bunnycdn. Enough opportunities to scratch various technical itches while largely sidestepping the nodejs server garden of weeds.

Also happens to be cheaper & faster.

Could go for one of the pages-like solutions but that seems a touch too boring.
Press release says that it's a merger.

>Gandi SAS (“Gandi”) and Total Webhosting Solutions B.V. (“TWS”), today announced their merger and the creation of Your.Online: a leading European online services platform supporting businesses of all sizes in realizing and scaling their online ambitions. Both Gandi and TWS are leading domain name and webhosting companies together serving over one million customers across Europe and the USA.
We are changing our brand to your.online but also we're not changing our name or brand.

How is this "no BS"? It feels like someone is being paid specifically to BS. Either you're changing your brand or you're.. advertising a new product? Except the new product is a merger of two companies? But one of them stays autonomous.. I dunno what it is, but it definitely stinks like BS.

I have no real horse in this race, but it'd be nice to know if I need to update my client domains spreadsheet to show your.online rather than Gandi. I'm guessing not but if that's the case why did I just read this article?
I would love to see them!
agree but disagree. this could be an indicator, albeit if someone is in an epoch in their life where they feel uninspired or even a bit depressed, even as one of the greatest of all time, they too can have these sorts of one liners. It is partially a good indicator though at least of them being post success and now sort of suffering from their skill induced ego.
What do you mean when you say "Google's keyboard"? I use Gboard and frequently swipe sentences which mix Spanish and English just fine. You enable "Multilingual typing" on the specific keyboard and then tick off languages from other installed keyboards to enable them. Maybe you haven't tried gboard for a long time?
One of my professors used to say that “even a horse can do derivatives. Integration is the real deal”, another one said that you integrate by “look at it, deeply, deeply, deeply; and then solve it”.

The point is, many part of high school math is actually really “algorithmic”. I was one of the few in my class who absolutely loved coordinate geometry over “normal” geometry, because I simply felt really comfortable with equations — once you have it down, you can basically solve it, even if it is harder than the “notice this and that” elegant solution.

Most integration problems require this intuition-based solution which has a certain elegance to it.

It was especially humbling to me that Wolfram alpha fails most of the interesting calculus problems I encountered during my analysis classes, but after a while I managed to solve most of them. But it unfortunately does disappear after not using it for a time..
First, let's talk about the DNS management. You would think that something as simple as pointing a domain name to an IP address would be straightforward, but no. There's always some bizarre propagation delay or weird caching issue that makes you question your sanity.

If you think that updates to a globally distributed database can be simple, instantaneous, and free of caching issues then I'm not going to listen to your opinions on software complexity.
So what if he over-engineered his blog? Siblings are missing the point here:

1) maintaining stuff is a pain in the ass,

2) it can still be very fulfilling.
"This is an important problem (STEM - Mathematics Education) that he is tackling which no one else before him bothered to."

The first part of your sentence above is fine. The second part is not consistent with the record. There have been quite a number of initiatives and programmes to try and improve mathematics in Schools and Colleges over the past 40 years or so in England and Wales.

I think I might need to go digging and put a list up somewhere.
False & racist. Please see https://youtu.be/UBc7qBS1Ujo for an extended explanation of why this is a horrible position. We don't even have strong scientific evidence that Spearman's g factor is more than a statistical convenience.
> Yep. It doesn't even occur to me anymore that something posted as open source would have no Mac or Linux version, let alone not even be buildable on one of those.

Yeah, these days, most FOSS apps are cross-platform. Windows exclusive FOSS apps are rare, I think.
My guess when I read your.online was that it is similar to Apple’s “find my”.

Find My from my understanding is basically a way to put three apps in one: find my {devices, people, items}.

So I read find my as find my ______. Not sure if this is the intention but my guess is your online could mean your online ________? Like your online identity, your online brand, your online business, your online services?

> Find My is an asset tracking app and service provided by Apple Inc.[1] that enables users to track the location of iOS, iPadOS, macOS, watchOS devices, AirPods, AirTags and a number of supported third-party accessories through a connected iCloud account.[2] Users can also share their GPS locations to others with Apple devices and view the location of others who choose to share their location. Find My was released alongside iOS 13 on September 19, 2019,[3][4] merging the functions of the former Find My iPhone (known on macOS devices as Find My Mac) into a single app.[5][6] On watchOS, Find My is separated into three different applications: Find Devices, Find People and Find Items.

https://en.wikipedia.org/wiki/Find_My

Btw, off topic but I’ve never heard of this other entity Gandi is merging with and the only reason I even know about gandi is it is in the install and set up steps of Mozilla thunderbird.
Cheers dang - thanks for all you do to keep this site great btw.
I used to use Uniregistry, but it was bought by GoDaddy. Previously I used Gandi, but they managed to destroy their reputation really quickly.

Is there any good registrar out there where I could move my domains to?

Uniregistry was really great, I wish GoDaddy didn't buy them.
I never understood why Miliband didn't win the 2015 election. The Tories were presiding over some pretty bad austerity politics and LD lost their support base by going into coalition. Plus Miliband seemed like a really decent chap, known face from the previous Labour government but not tarnished.

I had left the UK by then so I wasn't paying much attention to what went on, but when I did pay more attention when Brexit was rearing its head Cameron seemed like such a wanky toff it's hard to understand how his govt had not only got back in but were in a better position.
And I bet his hardware saturation is low too, making it an even worse use of resources compared to shared hosting in a data center that uses bin packing or live migrating VMs or whatever. Because in the end you care about resources used for the actual work done, not the work capacity of the hardware.

While it doesn't make much difference at this scale and it is a valid experiment to learn about solar power, it is telling of the general view about energy and environmental impact. People equate solar or wind or electric vehicles with green when the devil is always in the details.
I had presumed that, in combination with the footnote ("It asked me to include this..."), it was a joke, albeit one that will date rapidly.
I host several statically built websites on a cheap VPS. DNS and SSL was configured once, Pelican + Rsync bungs up the new posts whenever I need them.

The site itself handles hundreds of requests daily without breaking a sweat. The server has an up time approaching 2 years. I’ve had to maintain it minimally since then; APT updates break nothing, thanks Debian.

Maybe my tastes are different, but I enjoy playing with the scripts, the config, tweaking the CSS here and there. The risks are tiny and the payoff is I have a fun site that a couple of other people enjoy.

All of the effort to create sites like mine is in the initial configuration; lifetime maintenance is minimal. Chasing security obstructions and NPM build errors every week, I don’t see the fun in that. Even if a self built Vue.js web app does some cool things, or looks good on your portfolio. I'll pass.
They are also being hyped too early. It is 100% fair--hell: I'd even say, more correct--to criticize something for what it is, instead of trying to predict what it might one day become. If the stuff gets better, it can come back around then and soak up its deserved praise.

(Though--and this is an unrelated issue--in the case of some of this AGI work, if it actually works we are probably going to collectively wish it hadn't been built, as no good is going to come from rapidly empowering an AI to become in any way autonomous, even momentarily.)
why would you develop such dependency on a proprietary piece of code?

> I'd even say, perhaps it's best not to tell people that their problems aren't problems to begin with. I'm not saying one should care, it'd be enough just not to explicitly dismiss on their face.

generally speaking, the opposite is true - people need to take some accountability for their problems, thanks to the disintegration of conversation people have had it too easy to simply mute or block opinions they found uncomfortable, helping them to avoid facing problems much more than it's sane to do
If you want good maths education the first step might be to make sure the maths teachers aren't going out on strike, and the second step might be to make sure you're recruiting enough maths teachers - he's acheived neither.

It's not a criticism to say that his background isn't in education, it's an explanation of why he's come up with some weird priority out of the blue and created a solution that no one thinks will work. This isn't about the Prime Minister being the CEO and therefore not needing to worry about the details. A strategic thinker might address the actual issues facing the country rather than blathering about how actors should be forced to learn maths. Should we have interupted Sunak's education to teach him about acting? I think it might have been a good idea, he might have learned to empathize with others a bit rather than coming up with dumb ideas about how every child in Britain needs to be a little Rishi Sunak.
I've been using Gandi for years and I'm looking for a new registrar. Which one(s) are you recommending ?
Reductio Ad Hitlerum – Wikipedia
What's the latest with Namecheap? I use/like them (and Gandi) but I'm not a very active user so maybe things have changed over the years.