skysight-inc/HackerNews huggingface dataset:
Godel and Turing just proved that there are some true things that can't be proved, and things that cannot be computed. They didn't show where those boundaries are.

They certainly didn't show those boundaries to be below human cognition level.
Maybe they’re not training them on the right thing, maybe math can be a different “mode” just lime sound or images
Perl is a great scripting language to stitch together high performance C binaries. Not to mention that CPAN and the built in debugger are awesome.

Write it in Perl to deploy quickly and replace pieces with optimized binaries as needed.

It’s still used for new projects in far more places than a lot of people might realize.
Do you suppose that most C programmers enjoy the fact that random aliasing and free out-of-bounds array access can lead to silent data corruption, as shown in the example?
I really do like these kinds of posts. I like the author’s passion. Will check oils, radicle, and simplex out. Though I think getting my wife to try simplex over iMessage is unlikely to happen hah
ARC creator François Chollet says: https://bsky.app/profile/fchollet.bsky.social/post/3les3izgd...

I don't think people really appreciate how simple ARC-AGI-1 was, and what solving it really means.

It was designed as the simplest, most basic assessment of fluid intelligence possible. Failure to pass signifies a near-total inability to adapt or problem-solve in unfamiliar situations.

Passing it means your system exhibits non-zero fluid intelligence -- you're finally looking at something that isn't pure memorized skill. But it says rather little about how intelligent your system is, or how close to human intelligence it is.
The main group is a sex cult and nobody wants to have sex with the trans people so they got kicked out or something.
Congress has turned away from that responsibility by giving ever more discretion to the executive branch throughout the history of the nation. Prior to that, "federal agencies" like the EPA, FCC, FTC, SEC, etc., were illegal. All of these agencies are formed from powers that Congress relinquished to the executive branch, to unburden themselves from the difficult job of passing laws.

The Roman Empire had a similar demise as emperors relinquished power to nobles who also didn't want the responsibility.

Government is work and no one wants to do it. Anyone agreeing to take on the responsibility that Congress didn't want has a reason for doing it. It's likely not for the reason that they desperately want to act for the good of the people.
Why “TFA” instead of just “the article”? I understand “RTFA”, berating commenters who didn’t “read the fucking article” with a cheeky acronym, but TFA by itself is kind of hostile for no reason. Unless you hated the article that much
Federal employees swear a constitutional oath that supersedes presidential order and they have civil service protections beyond what most workers have available. Many are in unions.

As executive workers, they have a legal obligation to execute the law irrespective of what is decreed. Even then, they have their own - private - moral principles. The Nuremberg trials were clear: following orders is not a defense.
> Lawmakers seem to not understand such simple matters.

That's an understatement. There's only one person in congress that I trust to even kind of understand these issues and that's Senator Ron Wyden.
https://www.nytimes.com/2024/10/29/us/politics/elon-musk-tru...

They state they think the temporary pain to consumers and the loss of good will with Canada and Mexico is worth some other goal that will be achieved like they think this will cause American manufacturers to decide to expand in America, also they always talk about tax cuts and tariffs are a way to increase federal revenue without a change in the tax code. There's also the stated justification of fentanyl and undocumented immigrants from Canada and Mexico but the vast majority of both of those comes from Mexico with Chinese connections for some avenues of fentanyl so the Canada thing feels like it's a flimsy excuse to be included just for some bargaining on some other subject, or just to have an accomplishment, like how Trump in first term pushed for TikTok ban, then after winning 2024, Trump undoes ban he initiated in first term to claim that as an accomplishment. Versus say the border wall he promised in 2016 campaign but had a paltry result by 2020.

It's like they think a factory or manufacturing plant can be spun up in a few weeks.
Like most online forums, HN discussions are dominated by people who like to spend all their time online arguing with people. It's the 80:20 principle, or the 90-9-1 principle. Largely these are early-20s, politically ignorant men, with a long tail of socially stunted "greybeards" who have not managed to find greater fulfillment in life than what online discussion forums provide. The technical topics here are frequently recycled and the quality of discussion is not that notable. I'm embarrassed it took me over a decade to reach this conclusion.

I don't think the readership of HN leans RW, but the commentary and moderation does, largely due to the fact that RW commentators are quick to flag views they disagree with, in contravention of the stated moderation standards, while "normal people" can't be bothered to engage with this kind of platform, and the moderation team is content to let this dynamic persist. Witness the flagging on this very article as an example.
I'm not confused at all. I just don't think compatibilism is legitimate :)

I absolutely do not believe anyone chooses to be of any religion. It's just luck.
While Canada can't take on the US, their going after red state products is interesting. If Mexico, China, and other future impacted nations take on the same (poor) red states they might be able to break a few individual states. And that might put fear into Senators from other US states and make them second guess their votes/support of Trump. Can't imagine Kentucky nor Alabama have super resilient economies.

Edit: I imagine individuals would also pick up a boycott of highly targeted products in support of Canada if such a list were coordinate/published.
The tech community at large is very well in line with democracy and progressive values. There's a small cult who got very rich and became insanely hubristic, and they and their fans are a very rotten extremity of an otherwise very healthy and positive community.

There's no 'used to be,' the tech scene is not down with authoritarians today and never will be.
Who controls the present controls the past
Conservatism is a movement dating back to the French Revolution, arguably further back, didn't originate in America, and isn't defined by or limited to the Democratic Party / Republican Party divide. Trumpism is not conservatism:

https://en.wikipedia.org/wiki/Conservatism
I think it's circular, chicken and the egg. Especially if they were traumatized by their parents who themselves suffer undiagnosed auto-immune conditions. People without the auto-immune conditions can go through much more traumatizing conditions and not be anywhere nearly as adversely affected by it.
Thanks! Macroexpanded:

'Obelisks': New class of life has been found in human digestive system - https://news.ycombinator.com/item?id=42547489 - Dec 2024 (134 comments)

'Obelisks': New Class of Life Has Been Found in the Human Digestive Sys - https://news.ycombinator.com/item?id=42498562 - Dec 2024 (1 comment)

New 'Obelisks' Class of Life Has Been Found in the Human Digestive System - https://news.ycombinator.com/item?id=39205052 - Jan 2024 (1 comment)

'Obelisks': New Class of Life Has Been Found in the Human Digestive System - https://news.ycombinator.com/item?id=39191349 - Jan 2024 (3 comments)

New Class of Life Has Been Found in the Human Digestive System - https://news.ycombinator.com/item?id=39174881 - Jan 2024 (2 comments)
Ok, we've taken out the 'just discovered' bit from the title above. Thanks!
IMHO, we should do it because the person who pays tends to have more power over what happens. Just like how in high school the kid who drives everyone tends to have a higher than normal say in what the friend group does.
I would've been very surprised if Prolog to solve this wasn't something that the model had already ingested.

Early AI hype cycles, after all, is where Prolog, like Lisp, shone.
100% agree. If you are a fan of vim movements and have the muscle memory it’s the only way to navigate.
No. Because they'd be breaking the law.
They do. You can vendor lock a card and give it an all-time transaction cap. They've always had vendor locking but IDK if they've always have an all-time cap. I have run into the same problem GP ran into with someone running a test charge and failing the real charge, but I wasn't banned as a result, of course.
Me too actually. I wish I could pay to get priority. I know there are 3rd party providers but I want a chat interface and not fiddle with setting my own.
The Republican Party has been the conservative party in name only since at least Reagan, if not Nixon. I'm making a distinction about political schools of thought and ideologies, not current vernacular or American politics.
Thanks for sharing will try this out.
> Secondly, the electorate voted for this.

No, that's ridiculous. Not every person who voted for Trump wants the crazy. Many of them (edit: many of his swing voters) just want better pay and cheaper consumer goods and thought Trump was more likely to deliver than Harris. And they hoped his crazy talk during the campaign would remain mostly talk like in his first term.

The population does not support this. People are surprised.
I don't know, seems like if we're trying to do that kind of targeting, LessWrong is the better place to start. 100% of these people are LessWrong people, right?
People who voted in Hitler didn’t think they were Nazis either.
I find this more likely in a large corporation. In my experience, in a startup I know what we're trying to accomplish even if I don't know how we're going to do it, yet. I have a lot of control in a startup and I'm wearing a lot of hats which gives me visibility into how things are going.

By contrast, in a corporation you're handed a small piece of the puzzle and you're not sure how it's important or if it's really necessary and you're reliant on others in far flung parts of the company to relay how things are going.

I kind of think that people who haven't worked in a large corporation probably don't get Severance on a visceral level like those of us who have do.
Yeah, the grounded take is that Turing and Gödel apply just as much to human intelligence. If not, someone please go ahead and use this to physically prove the existence of an immortal, hypercomputational soul.
2 or 3 people working on a frontend without strict supervision and hierarchy is literally the same clusterfuck as with any other [non-]stack.
It's basically a giant GCCism. Don't be condescending.
We're far from "shutting it all down"; that's what those links in my GP comment are about. It's a question of which stories/threads have the best chance at supporting a thoughtful discussion.
Not everyone is using a standard tool chain or anything like that and oftentimes when I find projects with atypical build systems that give me trouble I tend to just move on to something else
The distinction is is in the derivative: progressives ("leftist" is less well defined) support the expansion of universal constitution law (which, right or wrong, is a change to the existing law), whereas conservatives except in the case of compelling evidence default to making no changes. Hence, being "conservative" about making changes.
I'm surprised they didn't name it SQL or Death Or 1?
I like it, the legal system might be more suitable for putting the "truth" on trial than its current application.

It will cost a bunch of money but we get something out of it.
I attend the SF Port meetings regularly and they had a whole presentation on it.

It starts with another piece of infrastructure the port already has put in place. Most cruise ship ports in most major cities do not have the heavy power needed to power the cruise ships when they're docked at that particular city. Sf does. So rather than run their big polluting generators, cruise ships can just plug in while docked here. More than that, it's hydro power from Hetch Hetchy.

Now back to the ferry. They have a barge which takes that clean hydro power and disassociates bay water into hydrogen to power the ferry.

It's a great example of interconnected and symbiotic systems working together to benefit us all.
I think one can argue it either way and you did nothing wrong!
unless you train directly against solving those problems... in which case how could you theoretically design a test that could stand against training directly against the answer sheet?
Wall Street Journal slams Trump's tariff plans: 'Dumbest trade war in history'
IIRC to decode raw zlib or deflate using only command-line tools, you have to prepend the gzip header and stream while ignoring errors at EOF.
In this case yes, describing entire populations of people that way is a slur.
>I bet this concludes with a free trade treaty between China, Canada, and Mexico.

Well Canada & Mexico already have NAFTA 2.0. I doubt there will be one between Canada and China, they have frosty relations.
It’s written Xcode.
Makes sense for partners in warcrimes who bombed and murdered together…

https://www.jurist.org/commentary/2025/01/canadas-foreign-po...
this is super cool thanks

running out of phone data in the middle of something important, the worst hahahaha
America runs on honor system. SV tech oligarch do not have honor.
So the headline is flat out incorrect?
Yep. Recently I've been enjoying "Slow Horses" which is also a spy thriller, though it doesn't hit quite like "The Americans" did.
Everything people keep telling me about how bad China is keeps happening here.
One will have a strong tendency to leave the easily challanged out.
In your words how does DEI "correct" for racism?
800x Speed Boost on Nvidia GPUs
Nor with any other language. What’s the point here?
Sure.

Edit: I think "death cult" is linkbaity though, so I replaced it with "Zizians". I hope that's neutral enough for everybody because I'll be offline soon.

(Replacing a general-sensational term with a proper noun is often a good debaiting trick.)
There are some funny comments in the code:

function mousePressed() {
// This is the worst if statement in the history of if statements
if (!refining && !mde && !completed && !shared) {
...
}
}
>Will it be more difficult to sell software or SaaS across the border between Canada and the US?

That's one intended outcome.

OTOH, people in both countries may be financially hosed bad enough, that way more people will never be able to afford things other than bare necessities for the rest of their lives anyway.
Agreed. I think "The Americans" is still at the top of my list for the last decade then it's a tossup between "The Leftovers", "Severance" and "Mr. Robot".

Edit: I forgot "Andor". Easily the best Star Wars thing since the original 3. I like how it shows the hubris and infighting of The Empire and how that leaves openings for the resistance. Feels like a very real look into the workings of an authoritarian regime.
> What is your explanation?

A combination of a psychological break when his sibling died and that being a doomsayer brought him a lot more more money, power, and worship per unit of effort and particularly per unit of meaningful work-like effort.

It's a lot easier to be a doomsayer bullshiter than other kinds of bullshitters, the fomer just screams stop the latter is expected to accomplish something now and again.
You can download a supported zstd release through homebrew for every version of macOS that is supported by Apple (as those are the releases homebrew supports), and it compiles from source for older ones.

I don't even know why we're talking about bash here. But for the record, this is a unique circumstance that affects only software which made the transition from GPLv2 -> GPLv3. Changing your license can cause you to fork away from some users. News at 11.
Are there any providers that have a chat interface (not just API access) with a fixed monthly cost? I couldn't find one.
Plenty of incompatibilist determinists agree that choices exist, they just deny that they are in any meaningful sense "free"

Whereas you said "No one chooses to be anything", which is a denial of the existence of choice altogether

Whether or not you are confused inside your own head, you are expressing yourself in an imprecise and confusing way
That's why they keep the evaluation set private: "Submit a solution which scores 85% on the ARC-AGI private evaluation set and win $600K."

[0] https://arcprize.org/guide
It’s Xcode.
With modified prompt to make less look like the original prompt it thought 6x more:

https://chatgpt.com/share/679f086d-a758-8007-b240-38e6843037...
Wrong, it’s a lie some people forced years ago. “DOM manipulation” boils down to setting attributes and reordering children. It works the same for everyone cause it’s a browser API.

React, Vue and Angular work slower because they have to actually find a difference between the last two versions of their “virtual dom” to get a set of changes to apply to existing dom elements, which they then do in the same way as everyone else.
It definitely is related to prediction by partial match (PPM).

BWT sorts rotated data and what is achieved is that same suffixes group together:

...
"Bzip2 and Bzip3 are simply combining more"
"Bzip3 are simply combining moreBzip2 and "

The preceding (to suffix) character goes to end and then gets outputted. This is much like PPM going backward. There is a PPM* algorithm (unbounded context length) where authors considered reconstruction of contexts from data, utilizing something like LZSS seach. Same idea is in BWT - context is reconstructed from data.

BWT also breaks near dependencies in data, this is why move-to-front with Huffman or arithmetic encoding works well there.
When all the boxes were 100% I really was hoping to see that animation of Kier tell me I did a good job and then fly away. https://www.youtube.com/watch?v=U6EUG22elbs
The actions that are being taken by Trump, Musk and co is normal in both governmental and corporate organisations when a change of control occurs.

Oversight in these systems tends to be illusory, because for the executive branch to function it fundamnetally needs to have the authority to make the decisions that are currently being made.

The Democrats have, broadly speaking, not cared much for oversight when they were in power, so suddenly caring about it now that republicans are in power comes across as, and probably is, just them being sore losers.
I think people are hoping it doesn't end up like Lost where so many of the quirky details ended up completely unexplained in the end.
> It’s hard to find a not traumatized autistic person for example.

This is an extraordinary claim and needs evidence. Do you have a source for this?
If the LLM’s user indicates that the input can and should be translated as a logic problem, and then the user runs that definition in an external Prolog solver, what’s the LLM really doing here? Probabilistically mapping a logic problem to Prolog? That’s not quite the LLM solving the problem.
They can't keep it up for another decade, the financing is running out. Anti-Trump hysteria was largely financed by actors who dominated establishment Republican and Democratic corruption networks, but had no connection to Trump (who's a real estate guy, which is like the ghetto of finance.) During that decade, and especially during the four years he was out of office, a most of them have solidly established relationships with Trump and his network, especially tech guys.

One day, upper-middle class people will stop seeing as brave and insightful calling half the country Nazis for not conforming to their suburban aesthetic. They've even eventually stopped progressively describing him as the submissive homosexual partner to Putin, I suppose because we've run out of fighting aged adult males in Ukraine so there's no reason to care about that any more. If Trump starts a war with Iran, they'll start praising him as the new Lincoln. It's not real.

The only weird part is that the people attacking Trump for censorship that hasn't happened are delighted by censorship. They think the main problem with the world is that too many people are allowed to speak about whatever they want.
>Nothing is going to shut down this tomfoolery quicker than...

Or would it just turn into a shooting war then?
You already can.
This was bin laden’s goal. Making Americans afraid was very successful because it turns out that stoking fear is very profitable and useful for gaining power. Now everyone is taking advantage of it.
I got cold email titled "Michelin-Star Dinner Experience", I thought that's spam but turned out to be Oracle Cloud.

I don't know about others, this certainly made me dislike them...
That is the naïve one-variable approach which breaks down immediately. Features all evolve together, the individual thrives or dies as one organism.

Any change in one variable affects all the others, e.g. drop body mass releases calories for other survival purposes. Any increase over the critical need consumes resources better used for other things.
The LLM doesn't understand it's doing this, though. It pattern matched against your "steering" in a way that generalized. And it didn't hallucinate in this particular case. That's still cherry picking, and you wouldn't trust this to turn a $500k screw.

I feel like we're at 2004 Darpa Grand Challenge level, but we're nowhere near solving all of the issues required to run this on public streets. It's impressive, but leaves an enormous amount to be desired.

I think we'll get there, but I don't think it'll be in just a few short years. The companies hyping that this accelerated timeline is just around the corner are doing so out of existential need to keep the funding flowing.
It is literally a trade war. Let's hope it doesn't progress into a shooting war. Trump has said we wants a 51 state afterall.
I guess I can't understand an attitude that leads you to want to destroy your own country.

The voters that call themselves "conservatives" these days will saw off their feet at the ankles, if it means that a member of a class they hate loses their legs.
> my predictions about the outcome of AI are correct and theirs are not

How very zizian of you.
That's not the point. Computer program with a finite number of steps (an auto regressive LLM without chain of thought) has a limit in what it can reason in one step. This article does a lot of wordcelling to show this obvious point.
I completely agree with all of this. But at the same time your whole argument applies both ways.

I'm not sure it's fair to place the burden of constitutional interpretation on every federal employee. Understanding the constitution is complex, and frankly in many places open to a lot of interpretation.

And of course if unions want to join the fray, they're welcome to.

I will however note this. Your argument gives every federal employee freedom to do anything they like. This is true for left wing and right wing alike.

The problem with the "following orders is not a defense" logic is that it implies the person had choices (feds do, they can quit, guards didnt). Equally it implies that future-winners can retro-determine what you "should have done". It judges your present actions based on some future standard. Which means you need to decide which standard you think will ultimately win.

Clearly every person has their own limit. Lots of people quit their jobs every day. And clearly that is everyone's option.

At some fundamental level though, when you enter public service, you serve at the pleasure of the public. Right now it's hard to argue that this isn't the will of the public.

You may not like it, I certainly don't, but the permissions we tell ourself now are the same permissions that apply 4, 8, 12 years from now.

Which leads to the question- are you happy if a racist working under a Dem president uses your exact argument? And if not, why not?
So did Fyodor Dostoevsky.