skysight-inc/HackerNews huggingface dataset:
Isn’t housing extremely unaffordable in the UK though? That erases a lot of these benefits, doesn’t it? (I’m aware this is true of a lot of HCOL areas in the U.S. as well.)
It's not a computational complexity problem, it's an undefinedness problem. Proving that the lattice simulations converge has been estimated as well beyond this century's mathematics by the pair of people (Glimm and Jaffe) that have done the most to study it. In any case it is beyond today's.
The site CSS is a little broken on iPhone, causing elements to hang off the screen or overlap. FAQ link gives a 404.

Technically, I think this is against YouTube (for example) TOS, though I don’t expect that would be enforced against end users.
You don't understand how Spotify distributes revenue to artists.
Those tribes also have no idea how to dig hundreds of meters down into those hard rocks in the first place.

So pretty useless overall.
Chicago is extending an existing above ground train line along an existing freeway (no right of way issues, not a subway, etc) 5.6 miles. It’s four stops and a new rail yard. 3.6B.

https://www.transitchicago.com/ctas-36-billion-red-line-exte...

It may be an American problem but it’s certainly not just NYC. But of course most of Waymos market is American as well.
Oh, TIL! Thanks :-)
Oh that's interesting thank you. Will look for it.

I do believe that computers are much more likely to have attention span and sensor capacity to reliably spot pedestrians and other random wheeled traffic. The problem is "reliably", which needs to be near 100% for the pedestrian to decide to ignore that it's still in full motion. So it will be interesting to see if such notification helps or not. If we were all wearing AR glasses, a specific car could signal a specific person that it noticed and is tracking them - that THEY are safe from IT. But we are a few years from that.
OpenAI Announces New O3 Model
The modern day “Trillian” for video/musiv
Measuring healthcare and security one step at a time
IT expert convicted for repeatedly lying about inventing Bitcoin
> The article explicitly mentions problems with interleaving of instructions between two processes (aka threads) which is the fundamental problem of concurrency.

Again, with weak memory models, writes from another thread can be observed out of order due to hardware reordering, even without compiler optimizations. With weak memory models, there can be behaviors that correspond to no valid interleaving of two threads.

I am explicitly pointing out that what you are assuming, along with the author, what is often called sequential consistency (https://en.wikipedia.org/wiki/Sequential_consistency) hasn't been true of hardware for decades. It's a common misconception that most systems obey sequential consistency. Your comment just seems to repeat that again, and it isn't true. See here (https://preshing.com/20120930/weak-vs-strong-memory-models/) for a deeper explanation.
I thought they were still pretty well in sync with the old EU laws (CAP) — what are some specific examples you object to?
>Do these exotic hadrons mean anything?

Given their horribly short lifespans, probably not much other than the fact that they manage to exist for however short a time might vindicate QFT a tad more (I'm assuming that QFT somewhat predicts their likelihood to show up).

Or maybe they'll bring a deeper understanding of the strong force.

But generally speaking, I feel you: lots of work and energy spent to create these exotic things, but that may or may not have an actual use or even meaning.

A lot of science is like this these days, it looks like we're hitting exponentially diminishing returns (as in: useful applications) in some areas of science.
I think I understand what you're trying to say but as I read what you wrote it's a bit confusing. Please correct me if I got it wrong.

What I think you're saying is, if a developer is forced to be in an office/at a desk when/where no "real work" can be accomplished (that's to management gates/bottlenecks) then they will be miserable. Is that correct?
Hey I'm always surprised at how many pedestrians walk around all in black (or dark) with no light, no reflecting stripe, no nothing and no care in the world. Even with the best of intention of drivers, it's a death wish. And it's everywhere.
Electricity consumption will vary during the year so it seems fair to give the yearly total to have the actual cost; and you can divide by twelve if your prefer a monthly average.

Meanwhile, if they only gave a monthly figure, one could wonder if it's an average or if it's taken in January or July.
That is not the point. Of course they have data about me. That requirement is dictated by tax law. I really don't care if the seller creates a shadow account or not, that's his problem.

The point is that I'm not forced to create and manage an account and I can do a second purchase without having to remember or reset a password to an account that was forced upon me.
I don't get the motivation. You want to prevent doom-scrolling? I don't doom-scroll on Spotify, why is that there?
How to make your devices' batteries last longer
If you’re going to quote the guidelines at least do it with the appropriate context.
That quote isn't real; it was a metaphor Rutherford purportedly once used, posthumously recalled by John Bernal. It was incorrectly converted into a direct quotation by later writers. But even then, you're misunderstanding the quote, by which is meant that physics has supremacy and all other sciences are collecting specific instances of physics; the LHC is decidedly doing physics.

However, even if you take the quote to mean what you imagined, it is unnecessarily cynical. LHC has advanced our understanding of physics.
> we are taking about real people here

the people are indeed real (well, for now, but soon to be replaced with AI -- it's the logical next step)

what is fake is that the bios are not who those people are; it's like me putting on my bio that I went to Julliard
Could a LLM tailor the keyboard to intent ... as in it shifts keys around to help you write what it thinks you want to write? like a sentence starts with a if then the left keyboard becomes permutations of an future if clause on key,the right becomes else statements..
Great. Now we have to think of a new way to move the goalposts.
If you're a manufacturer that's going to put the industry through the pain of a new ISA, why not start on a clean slate and wipe out 40 years of preconceptions and mistakes? Why not dare to reimagine? If you rework the foundations you can unlock huge leaps that were previously unimaginable.

Apple could have kept using Intel chips and still had MacBooks flying off the shelves for years to come, but they took a risk by tearing it all up and their product is better than ever. (yes, I am aware Apple did not invent their own ISA.)
Evaluating general purpose vs. domain specific models for financial RAG
Seems like a verry brittle setup. Since it adds adblock by default all this will do is make youtube crack down on adblock even more.
This is also wildly ahead in SWE-bench (71.7%, previous 48%) and Frontier Math (25% on high compute, previous 2%).

So much for a plateau lol.
Do you somewhere have slides/recordings from the awesome AI tinkerers talk you did? Because that's what I had in mind when I made this comment and will be way easier than me trying to describe it
Where is South Park, we need an update to "The Smug" aka "The Smusk"...
I mean, what else do you call learning?
> Concurrency should always be studied

I disagree. If we want people to understand, then we should teach computer systems bottom-up and thus understand the bottom-level behaviors before being surprised that our bad (i.e. wrong) abstractions are leaking later. If you want to train programmers to accomplish parallel programming tasks via plugging together nice abstractions, that's all well and good, but that's a completely different kind of instruction than trying to teach them how things work. If we only do the latter then we'll never have experts again.
Learning about the properties of exotic hadrons clarifies our understanding of nuclear forces.
I think the overall quality level on Macs is leagues above anyone else, even the UNIX stuff (I personally prefer the BSD utils to the GNU ones, which pretty much anyone else running POSIX stuff is using unless they’re daily-driving an actual BSD.

I just don’t get why Apple would hire Jordan Hubbard for their UNIX team, see him implement a very well thought out version of the standard package manager of all time that he also wrote, and then decide to use brew as their blessed package manager for their various open source releases, .systemLibrary in Swift packages, etc.
What is a good GPU to put in a home server that can run the TTS / STT and the local LLM required to make this shine?

A 3090 is too expensive and power hungry. Maybe a 3060 12Gb? Is there anything in the "workstation" lineup that is more efficient especially since I don't need the video outs?
This isn't designed to be a hypergrowth company. It's a side project someone with money is funding out of passion
Normally pay monthly by Direct Debit, but because usage varies so much between summer and winter we assess and estimate usage annually.
How much longer can I get paid $150k to write code ?
Instant recycle bin.
> Isn't this just like how supermarkets have their "house brands" that compete with name brands? I

1) A supermarket does not bill itself as a neutral discovery platform. It's not comparable to Spotify.

2) A supermarket can't make up fake information about the provenance of its products. The information on the cereal box is regulated to be truthful (well, we hope).

3) Most importantly, this is about discovery. The store has its brand of cereal next to some other non-store brands on the shelf, the customer has the opportunity to discover both. What Spotify is doing is taking the non-store-brand cereals off the shelf and putting them in the stocking room where you only get them if you happen to ask one of the store employees.
Lol. Don’t hold your breath. I used to enjoy TikTok until they forced me to create an account and install their spyware.
OpenAI o3 on Arc-AGI
This seems cool. Will test on Mac later today. Would like an iOS app
That's a perfectly reasonable stance. I would point out that historically, 30% is an extremely high market share in any industry, and represents a high degree of consolidation (esp given that Apple probably has similar share, so the two of them control the market).

That is more a result of how insanely the US structures intellectual property rights. The problem is that one company having that much marketshare usually creates a defacto private regulator of the industry, which goes against the whole notion of people being governed based on consent.
If people constantly have to ask if your test is a measure of AGI, maybe it should be renamed to something else.
This feels like a central hub for media you like?

I would assume these privacy claims would also include a ToS violation for the given platform?

And then of course the user has given Grayjay a lot of info so privacy?

Are they scraping the actual content too or just accessing it in some different way?
> I wonder if chatGPT will unleash a new era of creativity with these...

Can confirm I've already submitted at least one bid with a chatGPT-derived acronym, complete with an X for scrabble points.

I'll chalk that one up as an argument in favour of "LLMs will take over the world", as coming up with cool acronyms involving sciency-sounding words genuinely might be one of the most important jobs in the space industry
Yeah, who will pay for this drastic reduction in wasted time?
CoinDesk ownership Bullish fires top editorial staff amid newsroom controversy
Congratulations to Francois Chollet on making the most interesting and challenging LLM benchmark so far.

A lot of people have criticized ARC as not being relevant or indicative of true reasoning, but I think it was exactly the right thing. The fact that scaled reasoning models are finally showing progress on ARC proves that what it measures really is relevant and important for reasoning.

It's obvious to everyone that these models can't perform as well as humans on everyday tasks despite blowout scores on the hardest tests we give to humans. Yet nobody could quantify exactly the ways the models were deficient. ARC is the best effort in that direction so far.

We don't need more "hard" benchmarks. What we need right now are "easy" benchmarks that these models nevertheless fail. I hope Francois has something good cooked up for ARC 2!
SQLite is highly automatable if you can deal with downtime to do your migrations.

I'm sure there are things they could do to better support the power-user engineer use case, but at the end of the day it's a self-hosted web app written in Python that has strong support for plugins. There should be very few things that an engineer couldn't figure out how to do between writing a plugin, tweaking source code, and just modifying files in place. And in the meantime I'm glad that it exists and apparently has enough traction to pay for itself.
fun! the benchmarks are so interesting because real world use is so variable. sometimes 4o will nail a pretty difficult problem, other times o1 pro mode will fail 10 times on what i would think is a pretty easy programming problem and i waste more time trying to do it with ai
So now not only are the models closed, but so are their evals?! This is a "semi-private" eval. WTH is that supposed to mean? I'm sure the model is great but I refuse to take their word for it.
If you miss Chuck Norris jokes and want to know the Ancient Grecian equivalent, I highly suggest reading more quotes about Milo of Croton.

The dude won six Olympic wrestling events in a row. The seventh Olympics, he came in second. A twenty-eight year rein in one of the most practiced sports in the ancient world.

Eat your heart out, Tom Brady.
> If you consider only a single thread in isolation its program order is always maintained even though compiler optimizations and hardware OOO execution actually execute the instructions in data order.

It's not in most programming languages. That's actually a big part of the linked Wikipedia article is when and how program order is allowed to be modified.

A great portion of the JVM memory model definition is dedicated to laying out exactly when and how read/write barriers are established and when/how ordering is enforced. Without any sort of barrier (in most cases) the JVM is fairly free to completely reorder program execution.
it looks like you just described the customer. apparently it isn't you. just because it isnt you and it isnt 90+ percent of people, doesn't mean it doesnt exist. there are all sorts of niche products for niche groups.
What spyware? I don't have a tiktok account
I believe ChatGPT does not support MCP integrations yet
I believe Mycroft was killed in part due to a patent troll:

https://www.theregister.com/AMP/2023/02/13/linux_ai_assistan...

Hopefully the troll is no longer around
Sorry, I guess that was rude, I don't know anything about it, just a snap judgment of the landing page.
The comments you pasted in particular are about stuff that makes sense and that someone who wants to fully understand some source code can readily figure out, if they put their mind to it.

It's when things don't make sense that it gets interesting, because then you have to guess the original author's intentions, suspect a bug, question your understanding, or deal with other uncertainties. That's usually when a bunch of question marks start to appear in reverse engineering comments (e.g. "increment xyz???")...
Often what happens is the golf-course phenomenon. As golfing gets less popular, low and mid tier golf courses go out of business as they simply aren't needed. But at the same time demand for high end golf courses actually skyrockets because people who want to golf either can give it up or go higher end.

This I think will happen with programmers. Rote programming will slowly die out, while demand for super high end will go dramatically up in price.
Why would they give a cost estimate per task on their low compute mode but not their high mode?

"low compute" mode: Uses 6 samples per task, Uses 33M tokens for the semi-private eval set, Costs $17-20 per task, Achieves 75.7% accuracy on semi-private eval

The "high compute" mode: Uses 1024 samples per task (172x more compute), Cost data was withheld at OpenAI's request, Achieves 87.5% accuracy on semi-private eval

Can we just extrapolate $3kish per task on high compute? (wondering if they're withheld because this isn't the case?)
It feels like there is a trend of apps out there that are "about" creators, but then happily shaft them ...
> So much for a plateau lol.

It’s been really interesting to watch all the internet pundits’ takes on the plateau… as if the two years since the release of GPT3.5 is somehow enough data for an armchair ponce to predict the performance characteristics of an entirely novel technology that no one understands.
Article also talked about Lilly, which is important because they're developing a triple agonist called retatrutide. It's currently in trials, and if it succeeds, you'll see Novo stock fall even further while Lilly stock will soar.
KBR Rapid Prototyping Capability for Navair with Estimated $88M Contract Win
My initial impression: it's very impressive and very exciting.

My skeptical impression: it's complete hubris to conflate ARC or any benchmark with truly general intelligence.

I know my skepticism here is identical to moving goalposts. More and more I am shifting my personal understanding of general intelligence as a phenomenon we will only ever be able to identify with the benefit of substantial retrospect.

As it is with any sufficiently complex program, if you could discern the result beforehand, you wouldn't have had to execute the program in the first place.

I'm not trying to be a downer on the 12th day of Christmas. Perhaps because my first instinct is childlike excitement, I'm trying to temper it with a little reason.
I don't have a FUTO, Grayjay, or Youtube account and use the app just fine
Probably Wagtail.
Isn't this at the level now where it can sort of self improve. My guess is that they will just use it to improve the model and the cost they are showing per evaluation will go down drastically.

So, next step in reasoning is open world reasoning now?
Did you also make those YSZ wine glasses? That sounds neat. I couldn't locate anybody selling them on a quick search.
I like Boston City Hall.

Compare it to 28 State St, right next to it: https://maps.app.goo.gl/jjHpGGuPkxgjXiPT7

28 State St is kinda ugly, but bland and forgettable.

Boston City Hall is so hideous and frightening that people outside of Boston know about it. Its appearance is a recurring topic in the news. That is impressive.
Are there any single-step non-reasoner models that do well on this benchmark?

I wonder how well the latest Claude 3.5 Sonnet does on this benchmark and if it's near o1.
It doesn’t affect the conclusion so who cares what the study was about initially?
It's broken on Android/Firefox, too.
Wtf bro. So is 0 oxygen intake.
But 0 toxic intake isnt, so it's fair to say you want 0.
Yes, those are two buildings people find beautiful. You can find lots more like it if you keep turning the dial all the way to "form" and away from "function".
Frontier expert specialist programmers will always be in demand.

Generalist junior and senior engineers will need to think of a different career path in less than 5 years as more layoffs will reduce the software engineering workforce.

It looks like it may be the way things are if progress in the o1, o3, oN models and other LLMs continues on.
I'm not english at all. Just pointing out that no American should ever be criticizing anyone for how their government and society is setup. The only reasons Americans need to be "rich" is because health insurance is a scam, a car accident can bankrupt you, the tax code is entirely for the wealthy, and social services are poor at best. It's a fake wealth, one where you can have 3M in investments and not be able to retire because the system is set up so poorly.
O3 High (tuned) model scored an 88% at what looks like $6,000/task haha

I think soon we'll be pricing any kind of tasks by their compute costs. So basically, human = $50/task, AI = $6,000/task, use human. If AI beats human, use AI? Ofc that's considering both get 100% scores on the task
Deliberative alignment: reasoning enables safer language models
I have several of their fabric mounts, one for a backpack and another for a dog collar, they’re more expensive than the cheap knockoffs but the quality is top notch and they’re worth every penny.
The point of Notre Dame is to be a monument to God. That's not the point of most buildings.

Ironically, the other example of a good building you've provided in this thread, the Taj Mahal, is in fact a monument to narcissism.
I legit see that if there is not even a new breakthrough just one week, people start shouting plateau plateau.. Our rate of progress is extraordinary and any downplay of it seems like stupid
Where does this golf-course phenomenon come from? It doesn't really match the real world or how golfing works.
WIP limits are not important to me.

I use my Trello boards for mental hygiene.

Something comes in, I put it on the board to get it out of my head. Then, when appropriate, I go to the board, rearrange the top 5 or so items by priority, then start on the top item.

Many things never get done, but they have turned out to lower priority, by definition.

If I am waiting for something to happen on a current task, I put it second or third in the queue.

Keeps me sane....
thoughts on pursuing Financially Independent Retire Early (FIRE) vs Startups.
The fleet car drives very slowly the first time, perhaps under supervision of a human.

The point is - you have a massive fleet of cars with all the right sensors to create a high resolution map.
Claude Opus values animal welfare without specific alignment directions
Hair Loss Breakthrough: A Sugar Gel Triggers Robust Regrowth
Apollo: SGD-like Memory, AdamW-level Performance
>Frontier Math (25% on high compute, previous 2%)

This is so insane that I can't help but be skeptical. I know FM answer key is private, but they have to send the questions to OpenAI in order to score the models. And a significant jump on this benchmark sure would increase a company's valuation...

Happy to be wrong on this.
a private party can deploy a stingray in an urban area and steal your text messages as readily as the sheriff’s department can.

nobody cares about mine, but this could be deployed near a residence where someone’s password or website is breached unbeknownst to them yet.

that could be a situation where they got a sysadmin or CEO or public figure and think they can get even more passwords leaks or breaches out of the target.

my email would be a snooze fest as I don’t have a personal account and don’t mix personal with business. but I do have credentials to lots of other peoples stuff.

which, sometimes due to their own decisions, could be reset from my email I guess.

I don’t use SMS for any of it because I have a non USA phone number which nobody supports anyway.
Well right now, running this model is really expensive, but we should prepare a new cope for when equivalent models no longer are, ahead of time.