skysight-inc/HackerNews huggingface dataset:
I was recently in Palo Alto, and bumped into a newly founded startup (I don't remember the name unfortunately) who set themselves the grand the vision of exactly this: winning a gold medal on the international Olympiad using AI. Their plan was to build mostly on LLMs as a start, and iterate as they go. In their barebones office space, they had a poster with a countdown of the number of weeks till the event: it was 36 at the time.

It sounded interesting to wonder how far they could go with this kind of approach. I thought they were aiming for the moon: but also respected the boldness and determination. They had the funding to operate for at least a year, and were very focused to get there.

Seems like this prize will supr hundreds (or thousands) of teams competing in exactly this space. Perhaps it will have a similar effect like the $1M Netflix Prize in 2009 for recommendations algorithms!
> There should be a good reason to add any legal restrictions

The title of the article states the reason for restrictions the study is making: "Autobahn speed limit would cut carbon and bring €1bn in benefits, study says"
Of course XTX is sponsoring this
I like opencv, but can there be a stretch goal where if they raise $1M they agree to move from Blue/Green/Red colour channel order by default to RGB in OpenCV5, like everyone else on planet earth? I genuinely avoid opencv for this reason because I know I will forget to BGR->RGB on loading and RGB->BGR before saving occasionally, and so I'd rather stick to skimage/imageio/PIL. Or hell, add an `as_rgb=False` parameter to the load/save functions or something!
but then you would be programming on a laptop keyboard, and why would you subject yourself to such a torture?
Then the factory workers might refuse to hand out plates to Tesla as they're also part of a union.
> https://news.ycombinator.com/item?id=31860131

At work, we have an MFC-8950DW laser printer and it's not very good. It leaves streaks on the paper and the toner doesn't seem to fix properly all the time. I end up with printed pages that smear or the type rubs off. That printer replaced a much older Brother laser and it was better. We "upgraded" simply because drivers were not available for 64-bit Windows.
Robyn – Python Web Framework in Rust
I'll tell my employer that I refuse to take video calls because my preferred browser doesn't support it?
Not your drive, not your data.
This StackExchange answer is a really great explanation of characteristic impedance:

https://electronics.stackexchange.com/questions/59208/transm...

This one is OK too:

https://electronics.stackexchange.com/questions/150222/why-i...

The Art of Electronics 3rd Ed has a great explanation of series and parallel circuit terminations that I also highly recommend for understanding this, I think in chapter 15.
Isn't OpenCV mostly developed/funded by Intel?
Some great suggestions, but even the cheapest alternative is 100% more expensive than a Blue Yeti. The recommended one is 400% more expensive. Meh.
This is obviously wrong. The most capable X11 developers retired (like KP) and the least capable developers of the younger generation started Wayland.
Oh, that looks lovely! I'll need to check them out.

> Fully open source, the mouse (that I own) uses QMK for its firmware. Which means I can use key binding layers rather than single buttons.

On this topic, I bought a System76 laptop this year, and I'm in love with its keyboard-configurator. The firmware for the keyboard is also fully open source, and the GUI configurator is really excellent. It's a little limited in WHAT you can bind (without going down the rabbit hole too deep), but there are no limits at all on WHERE you can bind it, and it's beautiful. I made both left ctrl and fn work as ctrl (I could have made fn into hyper, too) and this is the first keyboard where I was able to do that (my previous laptop, Thinkpad, could only swap ctrl/fn functions).

Open source firmware FTW! :)
Apple did not create CUPS, although they did hire the main developer (and buy the rights to the code) some years later.
Why would the Russian military care if Tesla can or cannot receive licence plates fast enough?
A paradise island vacation with no mosquito bites – and no chemicals
My card has an international number which is US +1-(AreaCode)-XXX-XXXX. It used to bypass the IVR and send you directly to the top of the queue to a CSR. Because who has time to putz around the IVR when you're paying .25-.50/min to make an international call. Sadly, because some customers figured it out, it just routes you into the queue.
Flutter 3.16 – What's New in Flutter
What solution is there here? No one would suggest that letting every site set up a long-lived network connection would be a good idea. So you need a central trustworthy connection. If you don't trust the company that makes your browser/OS then why are you using it?
It honestly doesn't matter much for Europe though because Europe's interchange fees are capped at around 10% the US interchange fees.
Chicken or egg? They don't work because no one wants to put forth resources to fix it, because we're already inundated with notifications everywhere else. Email is fine.
I dreame of a setmoot wishtongue that riddes English of the mute endes and comes again to the grounde and wefte that Roman-speak still ownes.

He writes, he is a writer. I sleepe, I be a sleeper. For truth, there is Anglish, but the end speakes akin to a Scotch pirater. My setmoot wishtongue has a lilt like Swedish chef.

Read Chaucer aloude and he singes.
Data-destroying defect found in OpenZFS 2.2.0
Are you using your own domain for email etc. in your Workspace account? Or still using a Gmail address?
> "A stupid person is a person who causes losses to another person or to a group of persons while himself deriving no gain and even possibly incurring losses."

I think this comes down to motivation. Are they causing losses to other people just because they didn't think, or miscalculated? That's being stupid.

Or are they causing losses to other people because of spite? That is, they may not gain in any material way, but they may gain in satisfaction. That's being evil.
> It's a shame that some sites are abusing this potentially useful feature to try and increase engagement on their site.

First time on the internet?
GPT can sew snippets of code and see patterns but it has no understanding of coding and such. But even without this ability it could work amazingly well if you know what to ask for and accept its limitations.
Briefly. And then the economy crashes. The longest periods of sustained economic growth happened because of regulation and government investment. Deregulation and lack of investment have lead to economic crashes every couple of years. The boom-bust cycle might be fun for investors who see it coming, but not for the people losing their homes.
Nice tips, but what happened to number 4?
Great, a worthy competition which being first and correctness completely matter and may the best AI model win. Hopefully DeepMind doesn’t enter otherwise they would smoke everyone else other than OpenAI.

Speaking of which, I’ll give you a 1% chance of winning with this paper from OpenAI: [0] with the MATH dataset: [1]

EDIT: Why the downvotes? I'm trying to help you here and give you a starting point to win the competition? What's wrong with helping others?

[0] https://arxiv.org/abs/2305.20050

[1] https://github.com/hendrycks/math
So it's basically an ontology? https://en.wikipedia.org/wiki/Ontology
I just checked my purchase history and I'm a month short of it being ten years ago. Not bad for a printer.

Brother HL-3140CW. Color laser printer. If you'd have told me it'd still be working ten years later, I wouldn't have believed you. I print so sporadically, but when I do, it just works. Does AirPrint from smartphones, etc.

My only complaint with this model is that it actually has no Ethernet port, so it connects only via WiFi. Seems like a strange trade-off for something like a printer.
…and (intriguingly) Python. Not clear from the title
Is Mastodon and the Fediverse good enough yet?
If you mean vehicles transporting hundreds of people, regulations on speed are very similar to them on the road. You won't see a bus speeding at 150 Km/h.

If you mean private vehicles, you'd be surprised how even more lax are the regulations for private-owned airplanes. It all depends on the class of your airplane. Speed limits apply mostly on air traffic control direct indications and things like being on the vicinity of airports/corridors.

So yes, flying faster or slower is responsibility of pilots to a great extent of their own travels.
This is also how it is with offshoring.
In my experience so far ChatGPT seems to help humans find their own values and express them, rather than replacing them.
I wonder how much more it would take to add an active noise cancellation functionality via signal processing.

As a downside of this approach in comparison to earbuds, I suppose you will lack the 3D sound functionality provided by your earlobes.
Anything you can do with a calculator is obviously trivial.

Is there a clear point of departure when AI can no longer handle mathematical reasoning?
Ah, yeah I guess if you are in the heart of Silicon Valley places like this might be more prevalent. In my experience, the rest of the US isn’t like this, even major cities (at least one ones I’ve lived in and traveled to).
I have had a Brother laser printer for 11 years. I am legitimately on my second toner cartridge. I try to tell family and friends not to bother with inkjet printers but they don’t listen.

My dad’s big fancy Cannon photo printer has caused him nothing but grief. He swears up and down he needs to be able to print large-format full color photographs, but I have never seen him do so. What I have seen is his black cartridge dry out between uses and fail when he needs to print a form.

My wife is occasionally frustrated by our inability to print color, but I am more than happy to drive to Walgreens or my companies office to print a color item once every couple months. An inkjets ink would’ve dried between prints.
Fundamentally, games are about understanding reality and pushing personal limits. Most mobile games focus on a combination of creativity, probability, timing, statistics and logic as a form of entertainment.

Not appreciating what they offer, is not the same as having nothing to offer. The world rewards those with higher skill ceilings in many of these verticals, when leveraged outside of games.
I've bought a $100 Brother laser printer 10 years ago, which still has similar form factor today, and I still use it for printing anything from receipts, maps, and forms. It is one of the most reliable device that I own. I think I'm on my 5th toner (cannot remember), and the toner (ink) from 3rd party are plentiful and cheap ($15 or less). I think I spend more on paper than on ink.
Nice little collection!

I suggested adding https://freesolitaire.win (minimal Klondike Solitaire game, self-plug) to the list, via the Google Form ;-)
Are we finally entering the indutrial era of research mathematics?
Vivaldi is chromium based and they've pledged to do whatever they have to to rollback manifest v3 in their browser.
The payload of a web push message is always encrypted, iirc the API doesn't have any mechanism to send an unencrypted message.
And beyond that, the US would risk its relationship with at least the Baltics and Nordics as well, and possibly EU at large. You don’t fire off political ultimatums for a minor trade dispute if you’re not already prepared to sever relationships.

It’s not that Sweden is important in itself (though I’d like to think it is, as a swede), but this is a little bit like suggesting placing a Russian army base in South Dakota. South Dakotans being pissed would barely register compared to the reactions from the US beyond that.
thanks for pointing out. have updated the title.
The IMO are a bit more involved...

e.g. IMO 2023:

> Problem 1. Determine all composite integers n > 1 that satisfy the following property: if d1, d2, . . . , dk
are all the positive divisors of n with 1 = d1 < d2 < · · · < dk = n, then di divides di+1 + di+2 for
every 1 ⩽ i ⩽ k − 2

Although ChatGPT 4 makes a pretty decent start on this already:

> To determine all composite integers \( n > 1 \) that satisfy the given property, we need to closely examine the condition set forth: for a composite number \( n \) with its divisors \( d_1, d_2, \ldots, d_k \) where \( 1 = d_1 < d_2 < \cdots < d_k = n \), the property \( d_i \) divides \( d_{i+1} + d_{i+2} \) must hold for every \( 1 \leq i \leq k - 2 \).

Let's break down the problem:

1. *Composite Number Requirement*: We are looking for composite numbers, which are integers greater than 1 that are not prime. These numbers have more than two distinct positive divisors.

2. *Divisor Property*: The property \( d_i | (d_{i+1} + d_{i+2}) \) means that \( d_{i+1} + d_{i+2} \) is a multiple of \( d_i \).

3. *Systematic Examination*: We will analyze this property systematically for composite numbers starting from the smallest composite number (4) and going upwards.

Let's start the analysis:

- For \( n = 4 \), the divisors are \( 1, 2, 4 \). Here, \( 1 | (2 + 4) \), so 4 satisfies the condition.
- For \( n = 6 \), the divisors are \( 1, 2, 3, 6 \). Here, \( 1 | (2 + 3) \) and \( 2 | (3 + 6) \), so 6 satisfies the condition.
- For \( n = 8 \), the divisors are \( 1, 2, 4, 8 \). Here, \( 1 | (2 + 4) \), but \( 2 \nmid (4 + 8) \), so 8 does not satisfy the condition.

Let's implement a systematic method to identify such composite numbers up to a reasonable limit (let's say up to 100 for a start) and check if they satisfy the given condition.

The composite integers greater than 1 and up to 100 that satisfy the given property are: 4, 8, 9, 16, 25, 27, 32, 49, 64, and 81.

Each of these numbers has the characteristic that for all their positive divisors \( d_1, d_2, \ldots, d_k \) (where \( 1 = d_1 < d_2 < \cdots < d_k = n \)), the condition \( d_i \) divides \( d_{i+1} + d_{i+2} \) is true for every \( 1 \leq i \leq k - 2 \).
> Citation needed?

Brother HL-L8260CDW

https://www.amazon.com/gp/aw/review/B06XDS1XW7/R2MQHUVV9JX7N...
The EU doesn't have a say in this matter.
Right. But the really smart (or perhaps more accurately, the really wise) know the areas in which they are stupid.
I assume there are some clever gdb hacks out there to swap any http fd with another.
Those nukes were in definite Ukrainian possession.

Also, Ukraine was a significant engineering powerhouse while part of the Soviet Union, they had the people to both build and maintain nukes.
Maybe the recently announced 1T Parameter Scientific AI will be trained on mathematical papers as well and picks up reasoning on the fly:
https://news.ycombinator.com/item?id=38391923

Or at least maybe it will be a good foundation model to be fine-tuned for reasoning?
Qt 6.6.1 Fixes More Than 400 Bugs
Human case of flu seen in pigs found in UK for first time
This sounds great - and I wish UNIX namespaces were adopted more widespread for things like "local configurtion web UI".

As a workaround, (I believe, though only through a cursory web search and haven't tested) you can use network namespaces and socat to proxy traffic from Unix sockets to a private IP:port range only visible to your user - taking that part of containerization without necessarily having to execute things inside containers.
> Employees are not prohibited from joining the union themselves, they are protected by law and Tesla can not stop them nor fire them for it.

Joining an union does not equate to having a CBA.

> From what I've read, the employees are quite happy as it is, and a collective agreement would actually make thing worse as it puts some restrictions on the relation between employer/employee.

What restrictions? Collective bargaining agreements set the minimum bar of the employment relationship, if Tesla already has better terms there's no reason to not sign one. They aren't forbidden to provide anything that is better than the agreement, they are only forbidden to go lower than the agreement.
I agree with you completely. The endless growth mindset (resembling cancer) is driven by investors who want passive income in the form of returns. Investment returns in a company necessitate its market cap growing, not merely being sustained. A "sustain" mindset is incompatible with this. It requires ownership to be simple and unanimously content with not having endless return on their capital.
Someone who's not a professional developer was able to take the weakest model OpenAI offers today and get exactly what they wanted for a V1.

Have you actually worked with a consultancy? Have you priced out what the back and forth you had with 3.5 would have cost with a real human with a similar level of depth?

_

I personally don't think AI's effect on offshoring will be so cut and dry, since it's not like offshore developers can't level up with it too, but your example is showing how badly people are underestimating the impact AI will have on programming.
Yes, because the single connection to the push server is hard optimized to stay alive regardless of NAT etc. Cellular carriers have special handling for APNS and GCM, for example. (And I assume there's some kernel & firmware hacks in devices to further offload some handling of APNS/GCM protocol)
Tangential is there a list of Unicode characters allowed on hacker news?

﷽!
Explicit Resource Management: Exploring JavaScript/TypeScript's New Feature
Be factual, there were dozens of surveys on the same topic that voted opposite to that, and this since decades.

Then try to get only people with drivers license to vote and you get a clear opposition to limits.
I've slept with foam earplugs nearly every night for at least a decade now, and I've never encountered any negative effects, ear wax-related or otherwise.
Last one was a BMW 320i automatic. After about 180 I feel the road gets a bit narrower, but then you kind of get used to the new field of vision and and can go as fast as you want - traffic permitting and not encountering any road works.
> The world rewards those with higher skill ceilings in many of these verticals, when leveraged outside of games.

It really doesn't. Even e-sports are not profitable for most of the participants:

https://www.nytimes.com/2023/05/20/technology/e-sports-reven...

Self deception is not a useful quality.
IMDSv2 was initially introduced after the capital one attack. but aws users will have to explicitly enable it and its not enabled by default.

now they are changing the default modes for instances launched from aws console using quick start process. and sometime in 2024 they will give an option to customers to control the default value for all run instances API calls from an account
Too Many Schools Are Misdiagnosing Dyslexia
Yes - apologies for the poor copy-paste here!
Even if you do pre rinse, the soap grime will become pink sludge; the minimal required maintenance is rinsing the removable filter every month / 50 runs - a good wipe down (and lubrication of the hinges) and drain mechanism cleaning can help too.

The magic part for the food particles is that they serve as abrasives during the wash process after being ground by the dishwasher grinder.
I think you'll find the most succinct requirements for a program is the code itself - you can add more and more logic to guide GPT to generate something but eventually you're just writing code yourself anyway.
See also: Text Rendering Hates You https://faultlore.com/blah/text-hates-you/ and Text Editing Hates You Too https://lord.io/text-editing-hates-you-too/
How do you best approach internship search mentally?
I'm doing Masters in Machine Learning after getting a BA in Mathematics, and I've been looking for an internship. I have a year of job experience in IT, and I've been shortlisted several times for a job, but never actually got an offer. It's clear to me that this offer will come eventually, as I gain competence and experience in my chosen field, getting a few (more) minor projects under my belt.

But it's nonetheless been stressful, and I wonder if anyone more experienced than me has some tales to share about their time in the trenches. I'd especially love to hear about people who made a job switch in their mid to late 20s, which is the situation I'm in, and did it fairly recently -- I know the times were different in the mid-2010s, and many ideas that were great back then aren't so now.

I guess the key skill to learn at this stage of my career, which is not at all only specific to job search but a very powerful asset to have in general, is being okay with anything. I've been fascinated for a while with the idea that you might pursue something relentlessly while at the same time being unworried about the outcome. Has any of you emerged from your early-stage career with that kind of mindset?
Edge uses Microsoft push servers. The endpoint is on "[...].notify.windows.com".
I think you may be thinking of A Day in the Life where "Lennon's lyrics were mainly inspired by contemporary newspaper articles." There was a lot of creativity in that song also though.

>"A Day in the Life" became one of the Beatles' most influential songs, and many now consider it to be the band's greatest work. (Wikipedia)
Blast.io airdrop:Comprehensive Breakdown (Locks Over $550M))
Separate micro-VM which is just there as a security boundary and nothing else, so I'm not sure it's comparable to an EC2.
The community ‘experts’ on the Adobe forums can be actively hostile and rude.

I posted a question a while back questioning why After Effects drive-by installs Cinema 4D without warning, and they just could not understand why the lack of notification or consent was a problem, feeling strongly that I should shut up and be grateful even the tiniest of blessings our lords and masters at Adobe see fit to bestow upon our hard drives.
You don't own the plates and transfer them between cars in Sweden, they are sold with the licence plates, and they will be on the car until it gets scrapped.

The only exception is for "personal plates" which are customised plates that work as an alias to the car's registered plate (the one attached to the car's VIN), those can be moved to a new car when its VIN is registered to a normal registration plate.
That's 300 words for saying "in order for n to satisfy the requirements, it must satisfy the requirements."

I tried an easier problem, extending Rolle's theorem to the multidimensional case with Poe.com:

Prompt: Let U be an open subset of R^n with compact closure K. Suppose f: K → R is continuous on K, differentiable on U, and satisfies f(x) = 0, for all x in K \ U. Show that there exists a in U with grad f (a) = 0.

Poe: To prove that there exists a point a in U such that grad f(a) = 0, we will utilize the concept of connectedness and the Mean Value Theorem.

Since U is an open subset of R^n with compact closure K, we know that K is a closed and bounded subset of R^n. Furthermore, since K is a compact set, it is also a connected set.

Now, let's define a new function g: K → R^n such that g(x) = (f(x), f(x), ..., f(x)) for all x in K. In other words, each component of g is equal to f(x) for all x in K.

Since f is continuous on K and differentiable on U (which is an open subset containing K), it follows that g is continuous on K and differentiable on U.

Consider the function h: K → R defined as h(x) = ||g(x)||^2 = f(x)^2 + f(x)^2 + ... + f(x)^2 = nf(x)^2.

Note that h is continuous on K since g is continuous on K and ||.||^2 is a continuous function.

Now, let's consider the set S = {x in K : f(x) = 0}. Since f(x) = 0 for all x in K \ U, we have K \ U ⊆ S. Therefore, the set S is closed.

...

Stochastic parrot indeed.
I really enjoyed the handful of mid-90s Mac models where the power button was just to the bottom right of the 3.5" floppy slot, very near where you'd find the eject button relative to the floppy slot on pretty much every PC of the era.