skysight-inc/HackerNews huggingface dataset:
> But what if they change their mind?

Then you can demand all your money back ; )

But seriously, it would be nice to distribute it. We already have other options coming slowly. The fediverse forges are being worked on and should be available in 2025, like https://forgejo.org/
Probably so. And that would be likely my approach at such scale.

Still, my most benevolent interpretation of current reality is, rather than saying "that cloud native stuff is crap", accepting that there are cases where it may make sense.

For instance, large companies might have trouble hiring a good ops team because they have in general trouble hiring and retaining talent (another conversation topic).

Ops people are a scarce good because univs do not train people for that and most people prefer coding. I am leaving the work devops out because the market completely perverted its meaning.

(my take on the devops funeral: https://logical.li/blog/devops/ )
I am not sure how more advanced this new model is than previous GPT-4o, but at least this new model can correctly figure out that 9.9 is larger than 9.11.
"On August 23, 2021, the Company purchased a 12% ownership interest in Watch Nebula LLC for $6,000."

Surely this must be 6 million USD. I first thought this is a typo, but it is like that in the original SEC filing. Is this some convention I am just oblivious about?
I thought with this chain-of-thought approach the model might be better suited to solve a logic puzzle, e.g. ZebraPuzzles [0]. It produced a ton of "reasoning" tokens but hallucinated more than half of the solution with names/fields that weren't available. Not a systematic evaluation, but it seems like a degradation from 4o-mini. Perhaps it does better with code reasoning problems though -- these logic puzzles are essentially contrived to require deductive reasoning.

[0] https://zebrapuzzles.com
Near the end, the quote from OpenAI researcher Jason Wei seems damning to me:

> Results on AIME and GPQA are really strong, but that doesn’t necessarily translate to something that a user can feel. Even as someone working in science, it’s not easy to find the slice of prompts where GPT-4o fails, o1 does well, and I can grade the answer. But when you do find such prompts, o1 feels totally magical. We all need to find harder prompts.

Results are "strong" but can't be felt by the user? What does that even mean?

But the last sentence is the worst: "we all need to find harder prompts". If I understand it correctly, it means we should go looking for new problems / craft specific questions that would let these new models shine.

"This hammer hammers better, but in most cases it's not obvious how better it is. But when you stumble upon a very specific kind of nail, man does it feel magical! We need to craft more of those weird nails to help the world understand the value of this hammer."

But why? Why would we do that? Wouldn't our time be better spent trying to solve our actual, current problems, using any tool available?
I agree. They are like the A24 for games. They don't make the product themselves but invest and promote some really good games. Outer Wilds being one of my favourites of all time.
How do you measure a company's "health"?
I think both terms can exist with different meanings, but this article contains neither lessons or learnings. This article seems to contain "notes".

A lesson is one packet of content with specific goals for use in teaching, possibly as part of a bigger curriculum.

Learnings, then, can be the knowledge discovered through experiences.
“Don’t be mean to LLMs, it isn’t their fault that they’re not actually intelligent”
Doesn't that put it in the same realm as alcohol? Best enjoyed in moderation and all that. Those concerns are valid, but not necessarily solved by shunning porn. Besides, where do you draw the line?
VMs, block & blob storage, DNS, IdP, domain registrar.

These are the only things I have ever been comfortable using in the cloud.

Once you get into FaaS and friends, things get really weird for me. I can't handle not having visibility into the machine running my production environment. Debugging through cloud dashboards is a shit experience. I think Microsoft's approach is closest to actually "working", but it's still really awful and I'd never touch it again.

The ideal architecture for me after 10 years is still a single VM with monolithic codebase talking to local instances of SQLite. The advent of NVMe storage has really put a kick into this one too. Backups handled by snapshotting the block storage device. Transactional durability handled by replicating WAL, if need be.

Dumbass simple. Lets me focus on the business and customer. Because they sure as hell don't care about any of this and wouldn't pay any money for it. All this code & infra is pure downside. You want as little of it as possible.
The greatest clock (and map) ever made
The farmer riddle isn't quite right as you presented it. One of the parts that makes it interesting is that the boat can't carry everything at one time[1]. It can't happen in one trip; something must be left behind.

It solved the correct version fine: https://chatgpt.com/share/66e3f9bb-632c-8005-9c95-142424e396...

1: https://en.wikipedia.org/wiki/Wolf,_goat_and_cabbage_problem
Well, with the remaining trust available at this point you might just as well use something cryptographically secure, like encrypted ones, twos, or simple HMACs of the block number.

A too-simple scheme is likely to be detected (and bypassed!) by the firmware a nearly no time.
That's true for every part of the human experience. People discriminate because of religion, etc. Sounds like you care too much about what other people think of you.

Anyways, my point is this sort of thing is rapidly becoming something nobody cares about, and that's due to feminism and it's a good thing.
I always think about how different NYC would be if you could swim in the Hudson and East river. Pollution robs us of so much
Isn't that the exact point of o1, that it has time to think for itself without reprompting?
Who selects the workers? Whose incompetence is it if incompetent workers keep getting selected?
We can prevent this by paying the domain registrar ahead of time for N years. It's not a real solution, but it works (as good as any patch)
EC2 Linux VM with node, sqlite, let’s encrypt cert and a domain name.
A bit too sloppy and a bit too slow for my taste, but otherwise great!
Oh ok I get what you mean now, I thought you were being a bit more obtuse than that.

So my original intent with that paragraph was very different, but you're right that I was not very precise with some of those statements.

Thanks for taking the time to explain, you've definitely helped expand the way I've thought about this.
> What does that even mean?

It explicitly says "Results on AIME and GPQA are really strong". So I would assume it means it can get (statistically significantly, I assume) better score in AIME and GPQA benchmarks compared to 4o.
I would like to see a future where people shouldn't have to prostitute themselves to make ends meet.

Some cultural norms are outdated, but prostitution is still degrading and dangerous for those practicing it, especially for the women; who may not be doing so willingly, prostitution being the main incentive for human trafficking. And the online medium doesn't change that by much.

Some people may be willing to pay for sex, some people are willing to pay for many other things or activities that should be or are illegal.
thank you.

Just created an alias

alias waitfor='f() { sleep $1; say "Task $2 is probably done now"; }; f'
In your previous comment you stated that LLMs can only solve problems that are in their training set (e.g. "all we are gonna get is better and better googles"). But that's not true as I pointed out.

Now your argument seems to be that they can't solve all problems or, more charitably, can't solve highly complex problems. This is true but by that standard, the vast majority of humans can't reason either.

Yes, the reasoning capacities of current LLMs are limited but it's incorrect to pretend they can't reason at all.
Reference:

https://survey.stackoverflow.co/2022/#developer-profile-deve...

Only around 11% of the whole devs identify as devops specialist or cloud infrastructure engineer.

This is why I am saying ops people are a scarce good (unfortunately) from a data driven perspective. Of course my daily life confirms it.
I implemented this in Zig earlier: https://github.com/judofyr/minz

It’s a quite neat algorithm. I saw compression ratios in the 2-3x range. However, I remember that the algorithm for finding the dictionary was a bit unclear. I wasn’t convinced that what was explained in the paper found the “optimal” dictionary. With some slight tweaks I got widely different results. I wonder if this implementation improves on this.
Why Developers Are Switching from GitHub Copilot to Cursor
> There is no ambiguity

Yet you give three different interpretations:

> You can find solutions for a / b / c, or b / c / a, or c / a / b

This is a clear case of ambiguity.

Even the classic question is ambiguous: "Which 3 numbers give the same result when added or multiplied together?"

Lets say the three numbers are x, y and z and the result is r. A valid interpretation would be to multiply/add every pair of numbers:

x * y = r
y * z = r
x * z = r
x + y = r
y + z = r
x + z = r

However, I do not think that this ambiguity is the reason why OpenAI o1 fails here. It simply started with an untractable approach to solve this problem (plugging in random numbers) and did not attempt a more promising approach because it was not trained to do so.
If only Prof. Gino had signed her papers at the beginning she would have been less inclined to falsify the data.

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3458378/
Badeschiff in Berlin! An iconic floating pool on the Spree River. It was so cool when i visited it!
I remember Murati's interview where she said about this PhD level reasoning and so on, so I was excited to see what they come up with - and it looks like they just used a bunch of models (like 4o's) and linked them in a chain of thought - which is exactly what we have been doing ourselves for a long time to get better results. So you have the usual disadvantages (time and money) and lose the only advantage you had when doing it yourself, i.e. inspecting the immediate steps to understand the moment where it goes wrong so that you can correct it in the right place.
hey buddy, you're talking to owner of kagi, and the kagi benchmark is a traditional one
Society accepting sex work is the worst thing that can happen to sex workers. They can have their cake and eat it right now -- not terribly illegal in the west but shunned which limits competition.

When it becomes fine, it will be worth no more than someone coming to mow your lawn, and probably less than that.
This is true but the media is usually anti-union, because, you know, shareholders vote for who has editorial control.
How would you even know if somebody you like had engaged in transactional sex before?
From the SEC FORM D[1]:

> Total Amount Sold $6,000,000 USD

You're referring to the note 2 of the prospectus supplement no. 12[2]. It indicates the following at the top of the notes section:

> (in thousands, except share and per share data)

[1] https://www.sec.gov/Archives/edgar/data/1881238/000188123821...

[2] https://www.sec.gov/Archives/edgar/data/1776909/000121390021...
The event was prerecorded. It doesn’t seem farfetched¹ to think they already had the approval but legally couldn’t say it without the FDA making it officially public. But if the FDA had announced it before the event, it would’ve stolen the surprise. Not only of the feature, but that new AirPods would be announced. Apple would’ve hated that so they may have asked for the announcement to be delayed.

¹ Maybe it is. I’m not an expert on the USA’s health and government policies.
Vizio at least lets you skip everything entirely - if you don’t accept the agreement it just becomes a dumb TV. Perfection.
We in Bohemia and Moravia, despite being conquered, relatively prospered and were allowed significant freedoms by the Austro-Hungarian empire.

Much more so than under the occupation of the Soviets...
Nice execution. I toyed around with it a bit and it did what I expected. Great job!

The main page had a few UI things I noticed, The feature section changed the cursor to a pointer which made my think I could click on it but that didn't do anything. The embedded iframe at the bottom showed a cursor when I clicked into it but didn't let me type. It would be awesome to be able to type and have it reflect the changes right there instead of requiring the user to 'GOTO canvas' to actually change anything.
Using the Topics API (Chrome Only, Opposed by Firefox/Safari)
yes, exactly - this is my point
This is a rare case of the secondary source being much more informative than the official source. They didn't even put links to the original research.
>If truly concerned, treat it like a slab of meat and put it in a bag

...of rice.
And yet, you do. Not in those exact words, but that's what you're saying amounts to.
> But why? Why would we do that?

Because OpenAI needs a steady influx of money, big money. In order to do so, they have to convince the people who are giving them money that they are the best. An objective way to achieve this is by benchmarking. But once you enter this game, you start optimizing for benchmarks.

At the same time, in the real world, Anthropic is following them in huge leaps and for many users Claude 3.5 is already the default tool for daily work.
Such a black and white view of things.

But for simplicity, remind me again who does the work, and who cheaps out on plane parts to drive up revenue?
The approval process requires steps on both sides; Apple could've just delayed sending the last bit of finalising paperwork until they were sure it would drop after the announcement.
As an entrepreneur, I do this often. In order to sleep better at night, I explain to myself that it’s somewhat harmless to give teasers about future content releases. If someone buys my product based on future promises or speculation, they’re investing into the development and my company’s future.
> Some libraries use exceptions for lots of error states that in Go would be a returned error value.

This just seems like bad libraries, I'd agree that this is bad and sort of defeats the point. I haven't actually encountered this with any libraries I've used, and we tend to avoid MonadThrow / Catch except in particular circumstances.

> in this case, I'm worse off than in Golang.

Having (unfortunately) had to write some Golang, I don't think this is true -- I've encountered plenty of code in Golang in which it seems idiomatic to return things like empty strings and empty objects instead of error values which, I think, it's still possible to mishandle.

Perhaps this can be summarised as: you can still write bad Haskell, but I don't think it's particularly idiomatic looking at the libraries I've spent most of my time using, and the machinery you are provided allows you to do much, much better.
This is shaping up to be a delicious savings plan
This might be more interesting from a real user perspective of that computer (for two lines only but still …) : https://www.cs.cmu.edu/~popl-interviews/peytonjones.html

On top of some info about this first education computer : https://www.youtube.com/watch?v=uGxv1BeEjGA
The auto companies are strategically significant because war footing America will turn those F150 lines into tank lines in a matter of months instead of the years it would take to spin them up from scratch.

IBM made machine guns on typewriter lines in WW2.
Nice tool! I like the human like handwriting, but I'd prefer a more adult one.

Writing the denominator first looks weird to me, same as writing the square root symbol after what's under it.
Oh, I see. No, the missile is a hacker attacking your software remotely. Bridges are just accepted that they will collapse if deliberately attacked by a determined attacker. Software is held to a higher standard, not a lower one.
Some car manufacturers are definitely not critical to national security, they just employ tons of folks in few places. Company making weapons like choppers, planes etc for whole US military is on completely different level of importance.
> The magic is that _it knows english_.

I couldn't agree more, this is exactly the strength of LLMs that what we should focus on. If you can make your problem fit into this paradigm, LLMs work fantastic. Hallucinations come from that massive "lossy compressed database", but you should consider that part as more like the background noise that taught the model to speak English, and the syntax of programming languages, instead of the source of the knowledge to respond with. Stop anthropomorphizing LLMs, play to it's strengths instead.

In other words it might hallucinate a API but it will rarely, if ever, make a syntax error. Once you realize that, it becomes a much more useful tool.
One of the few domains where this is testable has also demonstrated this. Writing is about as hard to break into as anything, yet Stephen King demonstrated success writing under a completely unknown alias. [1]

No he didn't immediately received the same level of reception and success as Stephen King does, but neither did Stephen King at first! That's why it's skill + dedication. If you look at some of the old videos of people who have succeeded in e.g. social media, they tend to have terrible production quality yet still significantly stand out from the crowd, even their early days. For instance this [2] is one of the first videos Vertasium ever uploaded, 13 years old now! That video, even now still 'only' has 230k views, and certainly had a tiny fraction of that when it was initially released - but he kept at it, clearly putting way more into his videos than he was getting out of them - until that trend reversed.

[1] - https://en.wikipedia.org/wiki/Richard_Bachman

[2] - https://www.youtube.com/watch?v=DBjZz0iQrzI
That was my thinking as well and unfortunately the article doesn't go into that direction. For example: Do we know how many creators they have. Do they all have the same contracts and rights or are some of them just (affiliated) "creators".

To put this to an extreme: If only the six owners were creators they could claim 100% goes to the creators without lying.
I've noticed my brain tries to instantly construct a story to account for the noise, like someone is kicking in the front door, gunshots outside etc. I think the order of thoughts / senses while in that half-asleep state is fluid enough that my brain manages to make it all feel like it happened in the order it would if real. I've got up to answer the door more times than I care to remember.
"Learn to reason like a robot"
Hi, which "author" (it's a French gov funded project), and which dataset ?
Hi

Yes we almost never have 2 or more concurrent users. Our use case is typically 1 time sharing of data e.g we finish a job and output to sftp. Job can be a few gb to a few hundred gb. Customer downloads. Jobs come around every few months. So to be paying recurring fees for a single use seems very expensive.

But we are thinking about s3 for longer term storage needs but its a complex setup. If we already used s3 it could
Make sense to have the sftp hook on .

But now we run our own linux local server connected to TBs of disk space and we just do that. Anything we do will cost more and require learning new technologies and have risks.
>Haskell doesn't prevent endless recursion. (try e.g. `main = main`)

Do you mean to say Haskell hasn't solved the halting problem yet?
> Edit: oh and an interesting quirk English is often spoken with an American accent! I think because they watch a lot of American TV shows and movies.

We (mostly) ditched received pronunciation / transatlantic accents in school in the late 20th century. IME, the (taught) accent is now primarily a construct of what Swedes perceive to be how English sounds. American culture has a strong influence here.

In the population aged over ~50, it's not uncommon to hear RP / Transatlantic mixed with a heavy and thick local accent, with/without Scandinavian words thrown in.

"I would gilla to order one glass tack" (I would like to order an ice cream please)
There was a commute-by-river in Switzerland video that went around!

https://www.tiktok.com/@diplo/video/7398259675214646574
Stock buybacks are mathematically identical to dividends if you work it out.

And yes, people track that, and yes taking loans to pay dividends is a favorite trick of dying companies.
By all means, name an alternative cure that doesn't also butcher and imprison people under a repressive regime of some sort while denying even basic personal freedoms.

Or would you like to claim that a large part of Europe was "cured" of fascism after WWII by Stalin's USSR and its system, or that Nationalist China was cured of its (essentially) fascistic government by the liberating beauty of Maoism?

The socially democratic, largely western capitalist model of mostly free markets has indeed been fairly good at resisting the kind of extreme governments and despotic states that most of history endured. It's not perfect, and authoritarian regimes do develop capitalist economies, but compared to any alternative we've seen so far, it's a winner hands down.

Such an argument is far removed from any simplistic bullshit about deriding Americans for their cultural values (which happen to be essentially not bad despite the nose sniffing they get from so many people in so many countries with their own bloody, turbulent histories of despotic and revolutionary violence.) For example, given most of Europe's history well into the 20th century, it's laughable to see Europeans in particular feeling superior to Americans.
Even the icon is well thought out.
A masters degree is excellent for gaining opportunities doing more interesting work, but otherwise is an extremely expensive way to enter tech.

I am a mid-40s developer without a masters, but have a former military and cyber defense background. Most of my programming experience is in JavaScript, which is super low barrier to entry and generally stacked with beginners and beginner experts that never get past entry level capabilities. At this point in my career, in this line of work in JavaScript, I have to make hard choices:

1. Make good money working with people that cannot really program but nonetheless consider themselves engineers with hyper insecurity because they are reliant upon a massive tech stack

2. Make less money working with more mature people doing different work

With that as my options I have to make some hard decisions about if I even want to advance
As long as she matched with me on a personal, intellectual, and moral level, and is a good match in general, sure. I would like to understand her motivations for doing so of course, but that's what dating is all about.

Besides, if some other hypothetical perfect match told me she still went to church until her 25th and actually believed all that stuff I wouldn't dismiss her outright either for doing something so silly, but similarly seek to understand her first.
You completely missed the intent behind my question.

I’m trying to figure out an appropriate strategy for backing up things that are important to me.

If they move things around, great, else I’ll need to do it myself.
Don't worry, I host serious stuff on a single machine, and am quite happy with it ;) What set me off a bit was the shared hosting. You don't want noisy neighbors, usually. That's worth a few bucks.
Actively working on making the font more legible and adding a “speed slider”!