skysight-inc/HackerNews huggingface dataset:
And what is that, in concrete terms? Many humans can’t do what other humans can do. What is the common subset that counts as human intelligence?
As someone not very familiar, is there any legitimate reason why they say "Our Apple signing/notarization is not entirely done yet"?

It feels extremely suspicious, given that I download lots of other popular utility software from independent devs and I've never had to do that before.
I have had the opposite observation. Millenials and older Gen Z have extremely pessimistic takes on the future. Our childhoods were some of the most materially comfortable in human history, and everything in comparison is downhill from there.

But high schoolers I know today seem more even keeled about things. They are graduating into a world where fast food jobs start at $17, no one needs to go to college if they don't want to, and they are accustomed to a world where everything is temporary and digital.

I think the strongest evidence of this is the sharp decline in military recruitment.
SNL VFX Mystery – Quick D – Captain Disillusion [video]
Mental health is health, and poor mental health can result in death... death rates that we have seen climb precipitously among children. Trading heroin deaths for suicides isn't an improvement, even if the dealers feel they aren't directly responsible.
To Steve, who has answered.
If it helps any, I wrote "programmer's editor" because I was trying to disambiguate between things like emacs and ms word. I'd consider both editors, but I find it much easier to write text documents meant for human consumption.
Thank you! Appreciate the transparency. It's helpful to know it originates elsewhere.
My first house was in the midwest, built around 1920, and had plaster walls with no insulation. It was only around 1400 sqft, but we did have (natgas) heating bills in that range ($600-$700/mo December through February).
Do you have a repo with your demos you'd like to share? I'm a Tek terminal obsessive, although my 17-year search for a real one has so far been fruitless, so it's emulators only for me.
> The "scientific" Python stack has horrible mixtures of C/C++/Cython

Don't forget a whole lot of FORTRAN :)
The idea would be to engineer a product that is both a low-capacity battery and an air tag.
By my estimates, for this single benchmark, this is comparable cost to training a ~70B model from scratch today. Literally from 0 to a GPT-3 scale model for the compute they ran on 100 ARC tasks.

I double checked with some flop estimates (P100 for 12 hours = Kaggle limit, they claim ~100-1000x for O3-low, and x172 for O3-high) so roughly on the order of 10^22-10^23 flops.

In another way, using H100 market price $2/chip -> at $350k, that's ~175k hours. Or 10^24 FLOPs in total.

So, huge margin, but 10^22 - 10^24 flop is the band I think we can estimate.

These are the scale of numbers that show up in the chinchilla optimal paper, haha. Truly GPT-3 scale models.
This is exactly what will happen. We'll just up the complexity game to entirely new baselines. There will continue to be good money in software.

These models are tools to help engineers, not replacements. Models cannot, on their own, build novel new things no matter how much the hype suggests otherwise. What they can do is remove a hell of a lot of accidental complexity.
systemic pesticides are actually taken into the plant, and dont wash out.
* History is not written by unfree peoples

* You have not taken into account factors such as portions of population, different types of slavery or really anything at all

* Your original logic has been shown to be inherently flawed and you are still trying to argue by using evidence that turns out to be an assumption when examined
Want a faster MySQL drop-in replacement? Try MemCP
We at launix are MySQL power users and crash our MySQL servers on a daily basis. Therefore we implemented our own SQL database protocol compatible to MySQL which offers the following features:
- 10x faster performance for aggregation queries
- in-Memory storage
- in-Memory compression reduces RAM requirements by 80%
- in-database microservices where microservice code and SQL queries are precompiled for best performance
Is that what Elon Musk was trying to do on stage?
The way I understand it is that the 14th song is not a banger, but a song put between well known, good songs, to boost its number of streams.

I’ve noticed it a few times, I was listening to something like “best of 80s” and a few tracks were from the same band that I couldn’t find any info about. So my guess was that the creator of the list put some of the songs they (or their friends) made, then those songs got millions of streams just because they were on that playlist even though they had nothing to do with the expected content. It’s either for the money or maybe PR to make an impression that the band is popular
A $0.03 RISC-V microcontroller brings an Acer N30 PDA back to life
> Also, 1 odd thing I noticed is that the graph in their blog post shows the top 2 scores as “tuned”

Something I missed until I scrolled back to the top and reread the page was this

> OpenAI's new o3 system - trained on the ARC-AGI-1 Public Training set

So yeah, the results were specifically from a version of o3 trained on the public training set

Which on the one hand I think is a completely fair thing to do. It's reasonable that you should teach your AI the rules of the game, so to speak. There really aren't any spoken rules though, just pattern observation. Thus, if you want to teach the AI how to play the game, you must train it.

On the other hand though, I don't think the o1 models nor Claude were trained on the dataset, in which case it isn't a completely fair competition. If I had to guess, you could probably get 60% on o1 if you trained it on the public dataset as well.
> Greg Jackson from Octopus (who are the largest energy operator in the UK) has been calling for this for some time. I don't live there but his name comes up a lot in several of the clean energy podcasts I follow. Smart person that has a lot of sensible things to say on this topic.

I've got a lot of time for Octopus, which is an odd thing to say about a utility company. It's amazing how much of a difference it can make when a company makes it a. pretty easy to speak to someone when you have a problem or question (especially via email) and b. getting that problem sorted or question answered isn't so arduous you want to jump off a bridge. It once took me six months to convince British Gas to actually start charging me for my gas and electric.

Plus every time there's a price cap change or something out of the ordinary going on, they send out emails explaining it in plain English (including, as you say, reiterating the case that our pricing model is utterly daft). They also have an API for customers so you can pull your usage data, which is pretty neat.
"And yet it sits unsold on store shelves. "

Citation needed. The AVP is priced for supply constraints.

'A "gamechanger" in Apple-ese means tens of millions of units shifted'

Not at all. That may be an external party's definition of success. It is not Apple's.

"Apple is in the business of selling Big Macs, not wagyu steaks."

I can't even begin to describe how wrong this statement is, even based on a cursory glance of their current product line.
Thanks! I've analyzed some easy problems that o3 failed at. They involve spatial intelligence including connection and movement. This skill is very hard to learn from textual and still image data.

I believe this sort of core knowledge is learnable through movement and interaction data in a simulated world and it will not present a very difficult barrier to cross.

(OpenAI purchased a company behind a Minecraft clone a while ago. I've wondered if this is the purpose.)
The whole point is that such evidence would not exist in the first place, so 3 examples are actually statistically significant and indicate that there are a whole lot more than that.
How it started
Suddenly I remember this movie from the 90s where people drugged themself with some kind of minidisc. “Strange Days”, maybe? Anyhow, I always found the plot weird, but maybe they actually were onto something…
to move first!
It's a question of spectacle. 300 people dying in a plane crash is perceived as worse than 300'000 dying of preventable disease.

(Or 1 insurance CEO being killed being perceived as worse than 50'000 being killed by denied insurance claims)
I really appreciate how functional the building is. It's extremely visually distinct while having really engaging vertical elements (I've always thought it evoked waterfalls) and lacking the functional flaws I've seen with other highly visible architecture (I'm especially thinking of the Gehry Building at MIT - that's whimsical in appearance but an absolute nightmare of usability with awkward unusable interior spaces and a long legacy of mold and maintenance issues).

It's especially amusing that Boston City Hall is within a stone's throw of the only block that survived the fire of 1872 and throws a shadow over Faneuil Hall.
Gaming streams being in the training data, it might pull the pin because "that's what you do".
https://freetubeapp.io/

^ great alternative to youtube in a browser
Thanks for taking the time to think about these things upfront rather than just cynically chasing money like 99% of paid/monetised apps out there.

It will greatly increase the attractiveness of your software to me if you stick to the philosophy you’ve outlined there.

One approach that I’ve seen and have absolutely no issues with (in fact I think it’s a pretty smart way of doing things) is where a fully open source project provides code and releases on GitHub and in package managers like Homebrew, but also publishes releases as paid software on app stores.

This allows users to pay for the peace of mind of a “verified” app store install that Just Works. It also provides an easy way for the more technical among us to donate. I’ve switched to paid releases like this myself for a least a couple of fully open source projects just to give a little back.
I was going to say the same.

I wonder what exactly o3 costs. Does it still spend a terrible amount of time thinking, despite being finetuned to the dataset?
For using packages, venv + requirements.txt works, but is a bit clunky and confusing. Virtual environments are very easy to break by moving them or by updating your OS (and getting a new Python with it). Poetry is one alternative, but there are far too many options and choices to make. For building packages, there are similarly many competing options with different qualities and issues.
It's a chance to improve your own communication skill, too. If you can teach an old dog new skills, you're an excellent communicator !
Remote Work Is Increasingly a Right of the Rich
They can eventually decrease orbit toward the sun. They just need to be angled in such a way that the thrust is retrograde (not the sail itself). It would be incredibly slow though.
That's the kind of thing that I could imagine could dramatically speed up certain tasks, but not enable particularly new abilities. A ton of the challenge is converting a sequence into a graph. So if you need a huge clever model to turn a sequence into a graph, then your potential gain downstream is either a) in making certain computationally hard queries easier, or b) answering tons and tons of followup queries dramatically faster (enough to make the initial graphification overhead okay).

For (a), any imperfections in the graphification make the problem super hard and researchy.
In the blog post, learned verifiers are mentioned. Are these learned offline using data, and is the intent to learn a scoring heuristic to help the search?
Drinking game. Drop Google Street View anywhere on the territory of India. If there is a trash pile visible, take a shot.
Oolite [1] is implemented in Objective-C and scripted in Javascript. The "strict mode" base game has the look'n'feel of the original - there's even an option for wireframe display somewhere - but its vast ecosystem of mods (500+ last time I played, some years ago) is much more interesting.

I don't play it anymore because I'm more interested in building games and game building now (with Luanti [2]), but it is IMO one of the top FOSS titles.

[1] https://oolite.space/
[2] https://www.luanti.org/
Isn't the measure of an economic system the efficiency with which it converts resources into social welfare? In this case, renters are paying above what they would pay in a competitive market. That gap in prices is a deadweight loss to society. It's money out of consumers' pockets for zero added value.
Your point is on the verge of nullification with the rapid improvement and adoption of autonomous drones don't you think?
Party City is going out of business
Obviously, the multi billion dollar companies will try to satisfy the benchmarks they are not yet good in, as has always been the case.
Calorie counting is a habit that's generally unnecessary as a teenager so it's a habit not everyone is familiar with.
Huh, weird license: https://github.com/futo-org/Grayjay.Desktop/blob/master/LICE...
Not sure what this means, guess I'll have to treat it as good old "source available" software.
The issue is that logically correct algorithms can indeed be made, but actually making them work in real conditions is its own problem. It's not necessarily wrong to explore more exotic algorithms, but a focus on algorithms that people should actually use in their given situations seems higher priority. We should be working on bringing useful concurrency to our programs right now.

And while I will agree that mutexes and the like are useful in their own right, they are not the most fundamental for understanding concurrency.
That’s a stupid comparison because country borders don’t have physical differences.

The stomach is nothing like the lungs. Inhale a glass of water and let us know how fake that difference is.
I would like to know what "fastest rate of grid decarbonisation" even means, because the UK is definitely not the nation with the largest share of renewable electricity production. I guess it measures how much energy production has transitioned from non-renewable to renewable sources in recent years.
It's exactly the same in Germany. In addition the state government of Bavaria in the south east does everything to keep wind power from being built in their state and worked against high voltage power lines to bring cheap and abundant energy from the north to his state.
- "Are You Human" https://arxiv.org/pdf/2410.09569 is designed to be directly on target, i.e. cross cutting set of questions that are easy for humans, but challenging for LLMs, Instead of one type of visual puzzle. Much better than ARC for the purpose you're looking for.

- SimpleBench https://simple-bench.com/ (similar to above; great landing page w/scores that show human / ai gap)

- PIQA (physical question answering, i.e. "how do i get a yolk out of a water bottle", common favorite of local llm enthusiasts in /r/localllama https://paperswithcode.com/dataset/piqa

- Berkeley Function-Calling (I prefer https://gorilla.cs.berkeley.edu/leaderboard.html)

AI search googled "llm benchmarks challenging for ai easy for humans", and "language model benchmarks that humans excel at but ai struggles with", and "tasks that are easy for humans but difficult for natural language ai".

It also mentioned Moravec's Paradox is a known framing of this concept, started going down that rabbit hole because the resources were fascinating, but, had to hold back and submit this reply first. :)
My job should be secure for a while, but why would an average person give a damn about humanity when they might lose their jobs and comfort levels? If I had kids, I would absolutely hate this uncertainty as well.

“Oh well, I guess I can’t give the opportunities to my kid that I wanted, but at least humanity is growing rapidly!”
Nobody is disputing the coolness factor, only the intelligence factor.
It doesn't go down every year in Canada either.
You should be able to tilt your mirror/sail at 45°, so that the reflected light heads off in the direction of your travel, so that the momentum it imparts works against your current velocity, slowing you down, and degrading your orbit. Right?
I agree. Looking at this, it seems to be exactly how I want to use LLMs. Describe a small transformation of data I don't want to work out now, connect it to other components. As the needs become more-defined, replace each part with a faster, more-reliable, well-defined data transformation. I could actually see developing a system this way...
I think the answer here is a bit subtle and hard to explain, because it contradicts a lot of common assumptions about addiction and drugs.

In short, many addictive substances create a chemical dependence that often has awful, even potentially fatal chemical withdrawal symptoms. Behavioral addictions don't cause this, which makes people assume they are entirely something different, and categorically less serious and damaging.

This is wrong- because those withdrawal symptoms, while they do make it harder to quit by making going cold turkey difficult and sometimes impossible, they are not the underlying reason why these drugs are being abused in the first place, nor the reason they destroy peoples lives. The reason is that they stimulate the reward system and/or allow one to escape negative emotions and trauma. Behavioral addictions also do that, and can just as easily ruin ones life, by completely overcoming someones mind and will, such that they no longer are able to live their life, and are unable to escape or quit with willpower, just as much so as with drugs that cause withdrawal. They can still completely ruin your life and drive you to suicide, etc.

Moreover, people also often emphasize that many addictive substances can directly cause serious health problems, or even death. This is also not central to their harmfulness, nor always the case. In fact, for a drug to have substantial abuse potential it must be relatively free from serious adverse health effects, at least in the short term, or else it would become impossible to abuse- the most damaging substances are the ones where people can take higher doses for longer with less adverse effects, because this more strongly emphasizes its ability to be used to strongly stimulate the reward system and escape negative emotions and trauma for longer periods of time - cementing the addiction-, without causing a new negative experience on its own. Methamphetamine for example is unique among stimulants in how benign it is- allowing people to take massive doses over really long periods of time, and not face immediate health issues. Counter-intuitively, this is actually what makes it have so much abuse potential and cause so much harm, compared to other stimulants which quickly make you sick or feel awful at high doses. From this perspective, you can see that the fact that behavioral addictions are also able to be repeated in "large doses" for long periods of time without immediate short term health consequences can make them have a high potential for harm in the long term.
> You have data to back up your claim that “Vision Pro owners are using it often multiple hours a day? That’s a shrinking tiny fraction of AVP buyers based on my experience. I’ve been in the industry for a decade. I have an AVP, know many other owners and devs with published apps. I’m myself the dev of moonrider: most popular WebXR application so see the industry numbers.

I have no more data than you do when you say a "shrinking tiny fraction" of AVP buyers. I've been in the industry for 30 years. We both have our anecdata.
you just defined two levels. It wouldn't be so hard to define intelligence IMO. honestly lot of smart people already are working on all this and it's just they publish it when it's relevant or it comes to light when it's needed.
We didn’t have diesel computers able to be used by the average person and capable of roughly the same range and volume of arithmetic operations as modern computers. We did have gasoline powered cars that served precisely the same function. Electric cars are an improvement in energy efficiency, climate impact, and user experience, but really just an iterative improvement on existing vehicles.
Quantum Computing Stocks Are Flying
It is what it is. Consider that people smarter than yourself may view you by the same lens as you view “not smart people”.

It pays to have empathy and just get on with it. People can be smart in their own ways
Do they actually have lower rates of drug use, though? They also have more negative views of homosexuality, but their gatherings can still make Grindr crash.
Thanks! I added some comments on this at the bottom of the post above.
The App Store forbids any app that violates the terms of service of any company [1], regardless of the legality [2]. Since YouTube forbids alternative clients in their terms of service, Apple will not allow Grayjay onto the App Store. Even in the EU, where multiple app stores are available, you still need to follow a subset of the App Store guidelines. I looked through them and it appears that the ToS violation guideline is in fact exempt for EU apps [1], so they could release a version in the EU exclusively. However, they may be subject to the Core Technology Fee.

[1] 5.2.2, 5.2.3: https://developer.apple.com/app-store/review/guidelines/#int...

[2] https://www.eff.org/deeplinks/2020/04/federal-judge-rules-it...
This is an awesome development. I don’t want to take anything away from the credit due to the product. But I really dislike these bloviated corporate press releases. It reads like a full article generated from a 1-sentence LLM prompt. Perhaps the Internet UX from here will be a competition between AI-based content generation, and AI-based summarization, essentially DECCO instead of CODEC. Kind of like how spam grew to consume 99% of email, so everybody has to run spam filters to get what they want. Technology and the abuse of it move together.
Hey! Thank you for the link.

It just won't stop being a bit amazing that it's even possible to do all this nowadays. What a world.

Out of curiosity, do you know why NASA wanted to set up a public telemetry stream? Is the same stream used for "official" stuff as well? Regardless, it's great that it is public
How does o3 know when to stop reasoning?
The minidiscs in that case where full-sensory VR recordings of people’s experiences.
Hey, sometimes you get called on in standup when you're trying to do some work, and you just have to glue some words together. I'm just glad nobody's writing those words down and publishing them!
So o1 pro is CoT RL and o3 adds search?
Reddit had the same issue not too long ago. I remember a popular post where a user described their workaround of creating an account for each field of interest. To Reddit's credit, they did implement custom feeds not to long after, which lets you group batches of subreddits. Not something I'd expect YouTube to do.
They can be used to decrease orbit as well. Since you just need to bleed off the speed from Earth's orbit, you could angle the sail diagonally so the the reflected light is pushing against your direction of orbit (sort of like how the fins on a pinwheel are angled).

While I was googling, a couple places likened it to tacking into the wind, but that's a different kind of phenomenon that works because of friction and pressure differences.
Conversely, people have been suing gun manufacturers after shootings basically forever.
> I will say, the BTC appreciation is a big attraction of course

What are the other desirable features of BTC?
Understanding Image Formats: Which One Should You Use?
Any specifics? It's difficult to separate this from generalized concern.