skysight-inc/HackerNews huggingface dataset:
AFAIK, they are the least open of the major AI labs. Meta is open-weights and partly open-source. Google DeepMind is mostly closed-weights, but has released a few open models like Gemma. Anthropic's models are fully closed, but they've released their system prompts, safety evals, and have published a fair bit of research (https://www.anthropic.com/research). Anthropic also haven't "released" anything (Sora, GPT-4o realtime) without making it available to customers. All of these groups also have free-usage tiers.
Roughly, patch(1) has about the same relation to Pijul as RCS has to git.

I don't think useful conclusions can be drawn from that experience, basically. As you say, they're duals: but the actual changes need to be modeled as patches to do anything non-trivial with a snapshot. One can build a linear history as a series of snapshots, but applying them to some other timeline can be done with a patch, or with? Nope, it's just patches.

My intuition is that architecting the VCS as patches, and making snapshots an interface question, will work better than the other way around. But Pijul is not yet advanced enough in UX terms to really cash out on that guess.
Yep and in general I think the matrix got it right

when discussing Trinity and Neo's visions, the Oracle states: "We can never see past the choices we don't understand".
How is this relevant if Apple didn’t create this ‘race to the bottom’? And the fact that even if they disappeared tomorrow, it will still continue.

Likely with even lower average scruples among the ‘racers’…
I just ask it for what I want in very specific detail, stating the language and frameworks in use. I keep the ideas self-contained -- for example if I need something for the frontend I will ask it to make me a webcomponent. Asking it to not make assumptions and ask questions on ambiguities is also very helpful.

It tends to fall apart on bigger asks with larger context. Breaking your task into discrete subtasks works well.
Los Angeles Skyline and Bridge Fire
> I dunno why this myth that without government ...

/s?

(Look at the quality of life in failing/failed states, where there's effectively no government. Libertarian paradises are extremely rare; deadly hellscapes are all too common.)
But it is verifiable. We could quibble over "who judges novelty," but I bet if there were regular examples of it doing so, and there were some community agreement the ideas were indeed suitably novel, we'd pretty quickly shout "existence proof!" and be done.
I was able to get GPT-4o to calculate characters properly using following prompt:

"""
how many R's are in strawberry?

use the following method to calculate - for example Os in Brocolli.

B - 0

R - 0

O - 1

C - 1

O - 2

L - 2

L - 2

I - 2

Where you keep track after each time you find one character by character

"""

And also later I asked it to only provide a number if the count increased.

This also worked well with longer sentences.
Note that they aren't safety aligning the chain of thought, instead we have "rules for thee and not for me" -- the public models are going to continue have tighter and tighter rules on appropriate prompting, while internal access will have unfettered access. All research (and this paper mentions it as well) indicates human pref training itself lowers quality of results; maybe the most important thing we could be doing is ensuring truly open access to open models over time.

Also, can't wait to try this out.
Maybe Wikipedia can partner with Public Libraries to cultivate the wiki editors. Libraries are also looking for relevancy in the changing world. Sort of like reading programs and astronomy club meeting places.

<non sequitur> Also, libraries should put the giant dictonaries back on pedestals in the lobby</non sequitur>
Karpathy himself believes that neural networks are perfectly plausible as a key component to AGI. He has said that it doesn't need to be superseded by something better, it's just that everything else around it (especially infrastructure) needs to improve. As one of the most valuable opinions in the entire world on the subject, I tend to trust what he said.

source: https://youtu.be/hM_h0UA7upI?t=973
Show HN: I built an open source Codepen alternative – Devcanvas
DevCanvas (devcanvas.art) began as a fun experiment born from my journey learning SvelteKit and Supabase. What started as a simple platform for storing code snippets quickly evolved into something much more cooler: an online editor that makes it easy to prototype and share ideas quickly and effortlessly.
Rapa nui (and other Eastern Pacific Islands) hadn't been settled yet at that point, while indigenous Americans were already building monumental structures (e.g. Norte Chico) and working metal (old copper complex). The latter predates most metalworking in the old world too.
Milk bar always seemed like an example of using raw marketing power to convince people something is good. I saw Tosi on Chefs table and it was crazy how generic what she was doing was versus the other chefs on the show. Juxtaposing her with others on the show it felt like a bunch of artists who wouldn't compromise their vision versus a capitalist who was optimizing everything around money.
I gave the Crossword puzzle to Claude and got a correct response[1]. The fact that they are comparing this to gpt4o and not to gpt4 suggests that it is less impressive than they are trying to pretend.

[1]:

Based on the given clues, here's the solved crossword puzzle:
+---+---+---+---+---+---+
| E | S | C | A | P | E |
+---+---+---+---+---+---+
| S | E | A | L | E | R |
+---+---+---+---+---+---+
| T | E | R | E | S | A |
+---+---+---+---+---+---+
| A | D | E | P | T | S |
+---+---+---+---+---+---+
| T | E | P | E | E | E |
+---+---+---+---+---+---+
| E | R | R | O | R | S |
+---+---+---+---+---+---+
Across:

ESCAPE (Evade)
SEALER (One to close envelopes)
TERESA (Mother Teresa)
ADEPTS (Initiated people)
TEPEE (Native American tent)
ERRORS (Mistakes)

Down:

ESTATE (Estate car - Station wagon)
SEEDER (Automatic planting machine)
CAREER (Profession)
ALEPPO (Syrian and Turkish pepper variety)
PESTER (Annoy)
ERASES (Deletes)
My guess is they're going to incorporate all of these advances into gpt-5 so it looks like a "best of all worlds" model.
They're rolling out gradually over the next few hours. Also be aware there's a weekly rate limit of 30 messages to start.
As someone experienced with operations / technical debt / weird company specific nonsense (Platform Engineer). No, you have to solve nuclear fusion at <insert-my-company>. You gotta do it over and over again. If it were that simple we wouldn't have even needed AI we would have hand written a few things, and then everything would have been legos, and legos of legos, but it takes a LONG time to find new true legos.
Just tried, no joy from Claude either:

Can you decrypt the following? I don't know the cypher, but the plaintext is Spanish.

YRP CFTLIR VE UVDRJZRUF JREZURU, P CF DRJ CFTLIR UV KFUF VJ HLV MVI TFJRJ TFDF JFE VE MVQ UV TFDF UVSVE JVI
For once the headline is under-selling it, I'm used to hearing this put as "all attended the same café".
> Which itself is a bit concerning, as that implies that modest gains in accuracy require exponentially more compute time

This is more of what I was getting at. I agree they should label the axis regardless, but I think the scaling relationship is interesting (or rather, concerning) on its own.
> Therefore,
s(x)=p∗(x)−x2n+2
We can now write,
s(x)=p∗(x)−x2n+2

Completely repeated itself... weird... it also says "...more lines cut off..." How many lines I wonder? Would people get charged for these cut off lines? Would have been nice to see how much answer had cost...
If I had to guess, it's for accessibility, for red/green colorblindness.
How about The Man Without Qualities for an interesting view of Vienna about then?
I actually wouldn’t be surprised, if only because the standard library is so much harder to make backwards-incompatible changes to. I would generally expect that the average quality of the third party libs is lower, but the top 1% is probably better than stdlib.

Eg I don’t find the stdlib logging library particularly great; not bad, but not impressive. Ditto for the stdlib errors package before they added error wrapping
Right, these are not mere "filler words", but initialize specific reasoning paths.
I don't know if it's the one you're thinking of, but I believe I saw a similar sign at Capitol Reef National Park.
It's a good idea to go on a "purge" before attempting conception, for both males and females, lasting at least 5-6 months

E.g. cut out bad foods, any drugs, exercise regularly.
Do You Need Redis? How to Get Away with Just PostgreSQL
Not people working on AI or those who would like to train AI on their logs
This is mistitled. The target page does not say "ANSI" and ANSI is not involved in this at all. (The "E" in "ECMA" does not stand for ANSI. (-: )
It's been pretty suspected for awhile due to the presence of sweet potatoes in Polynesia. This, however, gives a range of years for when that contact occurred, and that's big.

However, the ecocide theory of Rapa Nui has been so popular that, in some ways, finding evidence that that simply did not occur is bigger news.
So now it’s a question of how fast the AGI will run? :)
I keep (seems mistakenly) expecting them to try and push F# along with their dotnet ML tooling more since, while it is strictly typed, F# lets you mostly avoid making your types explicit so exploration of ideas in code is closer to Python than it is to c# while giving you the benefits of a type system and lots of functional goodies.
> for actually smart politicians

We can vote an AI
aha that's a good one too! I got a pinenote and thought about making Tom Riddle's diary, but for maths. shame I never got around to doing it.
What feature is Firefox lacking? It would be nice if the error message was more specific, rather than referring you straight to Google or Microsoft for their latest spyware.
Their settling is irrelevant as long as they were able to get there. It's possible that they brought the ideas to Norte Chico where a civilization developed before them settling down.
I am really happy with how Aider does it as it feels like a happy medium. The state of LLMs these days means you really have to break the problem down to digestible parts and if you are doing that, its not much more work to specify the files that need to be edited in your request. Aider can also prompt you to add a file if it thinks that file needs to be edited.
His book was based on theories that were considered shoddy when he wrote it, is extremely selective in its evidence at best, and he reacts quite poorly to people who criticize his ideas on environmental determinism.
ah I thought I was going crazy (I was sure this was working at some point). The compression just stopped working because of a cloudfront limitation eheh

`CloudFront compresses objects that are between 1,000 bytes and 10,000,000 bytes in size.` - since the file became bigger than 10mb, cloudfront stopped compressing it...
Yeah, fair. It's good for short snippets and ways of approaching the problem but not great at execution.

It's like infinitely tailored blog posts, for me at least.
Extremely basic agency would be required to pass the Turing test as intended.

Like, the ability to ask a new unrelated question without being prompted. Of course you can fake this, but then you're not testing the LLM as an AI, you're testing a dumb system you rigged up to create the appearance of an AI.
That article discusses the earlier experiments on nematodes and mice and doubts the applicability to humans of some results.

This new study provides data about positive results in primates, so it removes some of the earlier objections.

Nevertheless, it is not clear yet whether the risks of harmful effects of long-term treatment with high doses of metformin do not outweigh its beneficial effects.

Where I agree with the article linked by you is that metformin is not the actual cause of lifespan extension, but it mimics the effects of some other primary cause, perhaps calorie restriction.

Therefore, the studies on the metformin effects should concentrate on establishing which is the mechanism of its action, even if that is much more difficult than just establishing a correlation between metformin intake and ageing. When the mechanism of metformin action will be understood, it is likely that the same effects will be achievable in safer ways.
TIL Elon is a neo-eugenicist.
In the demo, O1 implements an incorrect version of the "squirrel finder" game?

The instructions state that the squirrel icon should spawn after three seconds,
yet it spawns immediately in the first game (also noted by the guy doing the demo).

Edit: I'm referring to the demo video here: https://openai.com/index/introducing-openai-o1-preview/
with these methods the issue is the log scale of compute. Let's say you ask it to solve fusion. It may be able to solve it but the issue is it's unverifiable WHICH was correct.

So it may generate 10 Billion answers to fusion and only 1-10 are correct.

There would be no way to know which one is correct without first knowing the answer to the question.

This is my main issue with these methods. They assume the future via RL then when it gets it right they mark that.

We should really be looking at methods of percentage it was wrong rather then it was right a single time.
They're more expensive, but they tend to last longer (at least for JBC & this new iFixit iron since they lower temperature when not in use), allow much nicer more precise temperature control, and often can have significantly more power output and/or thermal mass (depending on the particular tip). JBC tips in particular can be changed while still hot, one-handed, thanks to their iron holders having a tip puller & holder built-in.
That's true for any filesystem, not specific to ZFS. ZFS is not a clustered or multi-host filesystem.
He has been on shows where he’s an ass and shows where he is not. Watching both, it seems like the former is purposely done for the drama and latter is closer to what he’s actually like. Who knows what he’s like with no cameras in an actual kitchen, and maybe it’s just because he’s older now, but it seems to me that the majority of content he’s in he seems really nice.
> Which is why it often isn't a great metric

Everything is perceived at some level. Complaining about the subjectivity of perception can be taken to Cartesian extremes in proclaiming nothing is knowable.

Corruption is a social phenomenon. Measuring perceptions is absolutely important. Particularly when the alternative is to say it's unknowable.

> has a systemic money in politics problem and systemic local corruption issues, with protections being systematically dismantled via an increasingly "pro-business" supreme court

Sure. The risk is we become a corrupt nation. But potential isn't present.

> FCPA has a massive loophole permitting "grease payments"

Sure. The point is most countries have no restrictions on their companies paying bribes overseas.
As good as Claude has gotten recently in reasoning, they are likely using RL behind the scenes too. Supposedly, o1/strawberry was initially created as an engine for high-quality synthetic reasoning data for the new model generation. I wonder if Anthropic could release their generator as a usable model too.
that is the summary of the task it presents to the user. The full chain of thought seems more mechanistic
> Since you mention F#, and C# in your previous comment, are you on the Windows platform?

Since dotnet core (now dotnet 5+), the Microsoft version of dotnet has not been tied to windows outside a few exceptions like old Windows UI libraries (WPF/WinForms) and stuff like WCF once they revived it.
Ft_utils: Support efficient, scalable development leveraging Free Threaded Pyth
If it's not AS then no idea - I assume they did the gene testing and whatnot.

Lot of people swear by this odd Japanese fermented food called Natto - might help. It's basically just soybeans. Uses a very unique bacteria though. Most Asian markets have it
More consistent performance. No stopping the whole world.
Do you cook? There are dozens of obvious examples. A crappy knife will tear instead of cut. You'll ruin tomatoes, have uneven dices, crush and smear delicate herbs, have ripped apart meat and fish that you'll destroy more trying to get rid of the trim. That's not counting the downtime you'll have when the knife slips instead of cuts and you can't cook at all due to injury.

Giving an expensive knife to a new cook that has never cooked before will not make them a Michelin chef, but their progress will be faster when they don't have the knife working against them.
The thoroughness and attention to the i's and t's was indeed what I meant :)

Along with some measure of frustration, even though most of it is actually necessary.
Major ISP bungles settings, causing Microsoft 365, Azure outage
Is this how our simulation started?
Some reported benchmarks do seem to be rather dubious, but the 70B model itself is quite real. Sample output:

$ ollama run reflection:70b-q4_0
>>> hello
<thinking>
To respond to "hello", I'll need to consider several factors:

1. The user's intent: They're likely saying hello as a greeting.
2. Appropriate responses: Common ways to respond to "hello" are:
- Hello back
- Hi
- Hey
3. Formality level: Since this is an AI response, I'll aim for a friendly but professional tone.

<reflection>
The approach of responding with a standard greeting seems appropriate in this context. It acknowledges the user's hello and provides a polite response.
</reflection>

Given these considerations, the most suitable response would be to echo "hello" back to the user.
</thinking>

<output>
Hello!
</output>
This has been tried. Most recently by Microsoft. It’s not bad for energy efficiency and cooling, sucks for repair though. You basically run the servers sealed till enough of them fail that you toss the pod and start again.
Countries owning their ccTLDs seems basically correct to me. If you rent a `.tm` domain, you're doing business with the nation of Turkmenistan: might want to think about whether a TLD pun is worth taking on that relationship.
This video[1] seems to give some insight into what the process actually is, which I believe is also indicated by the output token cost.

Whereas GPT-4o spits out the first answer that comes to mind, o1 appears to follow a process closer to coming up with an answer, checking whether it meets the requirements and then revising it. The process of saying to an LLM "are you sure that's right? it looks wrong" and it coming back with "oh yes, of course, here's the right answer" is pretty familiar to most regular users, so seeing it baked into a model is great (and obviously more reflective of self-correcting human thought)

[1] https://vimeo.com/1008704043
Can you link the source?
We also know what happens without any regulation: milk with lead added to make it look white, cars that kill their passengers when crashing, polluted rivers, polluted air and much more.

We certainly need to constantly revisit things but without regulations our society wouldn’t be fun to live in.
Turning on the mics and feeding to headphones (even with voice boost), has been trivial for a while. It could have been implemented a decade ago, no?
Interesting, it was able to guess it's Rot 17, but it translated it wrong, although "HAY" and some other words were correct.

I've tried only in English so far though.

It told me it's 17, and "HAY GENTE MU DIFERENTE LECTURA, A LO MUY GENTE DE TODO ES QUE VER COSAS COMO SON EN VEZ DE COMO DEBEN SER"

although it really should be "HAY LOCURA EN DEMASIADO SANIDAD, Y LO MAS LOCURA DE TODO ES QUE VER COSAS COMO SON EN VEZ DE COMO DEBEN SER"
Looking at pricing, its $15 per 1M input tokens, and $60 per 1M output tokens. I assume the CoT tokens count as output (or input even)? If so and it directly affects billing, I'm not sure how I feel about them hiding the CoT prompts. Nothing to stop them from saying "trust me bro, that used 10,000 tokens ok?". Also no way to gauge expected costs if there's a black box you are being charged for.
We are trying to build a business here. The goal is to sell racks and racks of computers to people, not build a menagerie of curiosities and fund personal projects. Everything we've written here is real, at least from our point of view. If we didn't think it would work, why would we throw our own business, and equity, and so on, away?

The reason I continue to invest myself, if nothing else, in illumos, is because I genuinely believe it represents a better aggregate trade off for production work than the available alternatives. This document is an attempt to distill why that is, not an attempt to cover up a personal preference. I do have a personal preference, and I'm not shy about it -- but that preference is based on tangible experiences over twenty years!
Scientists Will Engineer the Ocean to Absorb More Carbon Dioxide
The brain aged more slowly in monkeys given a cheap diabetes drug
https://archive.ph/e8DyY
SBT has a learning curve but it also has a nice ecosystem, for example sbt-native-packager is better than its competitors in maven or gradle.
I ported a Psion phone manager app (contacts & sms) to PalmOS. I can clearly remember the thrill of sending a message via the Bluetooth add on via a Nokia 6310i
I've been out of the Scala game for a few years, but I would use a for comprehension with the cats EitherT monad transformer.

https://typelevel.org/cats/datatypes/eithert.html

def divisionProgramAsync(inputA: String, inputB: String): EitherT[Future, String, Double] =
for {
a <- EitherT(parseDoubleAsync(inputA))
b <- EitherT(parseDoubleAsync(inputB))
result <- EitherT(divideAsync(a, b))
} yield result
Rolling out over the next few hours to Plus users.
Proposed underwater data center surprises regulators who hadn't heard about it
4o could already recover from hallucination in a limited capacity.

I’ve seen it, mid-reply say things like “Actually, that’s wrong, let me try again.”
Norte Chico civilization had collapsed 2000 years before Polynesians started their oceanic expansion.
Evil is the root of all money (2001) [pdf]