skysight-inc/HackerNews huggingface dataset:
Compilers can detect errors in the grammar, but they cannot infer what your desired intent was. Even the best compilers in the diagnostics business (rustc, etc) aren't mind-readers. A LLM isn't perfect, but it's much more capable of figuring out what you wanted to do and what went wrong than a compiler is.
Because all creators have the means and resources to hire a lawyer to fight forces much more powerful and wealthier than they are. This is blaming the victim.
It doesn’t. Actually, quite a few of the early stages of evolution wouldn’t have any analogue to “care,” right? It just happened in this one environment, the most successful self-reproducing processes happened to be get more complex over time and eventually hit the point where they could do, and then even later define, things like “care.”
Learning Solver Design: Automating Factorio Balancers
There is a config setting for this “window-padding-x” I believe.
My complaints with Lua are mostly superficial, but they irk me nonetheless. So if I have to use it, I'll usually opt for Fennel.
US society existed and was plausibly high-trust for more than 150 years before 1776.
"PRESENTED BY DELL TECHNOLOGIES" in the headline is a real give-away about the direction this article takes.
I speak Dutch fluently (born and raised) and even I have a hard time to speak Dutch with Dutch people. If you don't fit the profile (blond hair/blue eyes) they automatically assume you're a foreigner.
Same when people use “mhz” for megahertz
S Korean crypto-boss Do Kwon to be extradited to US
It would be interesting to know who was in the plane. Russia has assassinated this way before with Yevgeny Prigozhin.

https://www.bbc.com/news/world-europe-66599733
American Vulcan: Palmer Luckey Is Trying to Forge a New America
Absolutely fantastic write-up. Thank you for taking the time and energy to do that.

I also have the Elgato pedal -- is that just some regular HID device do you know?
This is a hilariously bad take, honestly. It essentially ignores every single argument/observation made regarding induced demand and just calls it a day.

What kind of a joke organization even made it? 'Urban Reform Institute' - what a blatant attempt at trying to recycle actual urban advocacy into good old NIMBY arguments again.

Boo.
The US Army at least uses Azure and AWS govcloud and not their own infrastructure. I don't think this takes away from your points though, the infrastructure is very locked down and meticulously managed and approved.
yep. usually the original architect moves on to another project before things get really bad. and then all that's left is the bag-holder (me).
Maybe I have misunderstood the argument this entire time (or maybe we’re all misunderstanding one another’s arguments for a variety of reasons), but I always interpreted the “induced demand” argument as asserting that adding additional capacity for cars will not reduce or relieve problems with traffic congestion. Note that is a distinct argument from the article’s framing of it, which suggests that “induced demand” is asserting that building additional capacity is somehow counterproductive because it will just fill up with more traffic. Both things are true, but note that the former argument implies a broader goal of reducing the problems inherent with traffic congestion. The article also seems to ignore that the people and organizations who put forth induced demand arguments generally come equipped with alternative solutions, not just blind opposition to additional car-focused capacity and a pair of magic words.
Self-hosted streaming beats physical media all day every day. Currently at 3TB in my jellyfin server
Seems like it’s just someone whining about their internet connection, in which case, I can see why streaming would be frustrating.

But I’m lucky enough not to experience these issues, and boy oh boy, is streaming better.

No searching through physical disks that could be in the wrong cases, no time delay (going to get the physical disk or waiting days for it to show up) instant switching based on whatever I feel like watching. I’m more likely to look at new types of content because if it sucks it’s easy for me to change.

If you have a decent connection, streaming is so, so much better
How does he come up with the 2d designs? They need to all fit together right? I feel like there some missing step between the reference material and the 2D illustrator designs.
This article is dumb and no one should take it seriously. The key is space efficiency: using a car takes the most physical space, versus walking or biking. Investing in car infrastructure gives the least benefit.

Paris and Amsterdam prove there’s significant benefits to leaning into transit and biking vs cars.
Some games have a "don't play licensed music" setting for streamers.
My argument: the theoretical limitations of NNs (lack of modularity, symbolic reasoning, verifiability) cause no practical problems to usefulness - we can just analyze the code artifacts as we do with human programmers. Do you disagree?
Ummm, no. We recovered the balloons and they were full of surveillance equipment.

They seemed to not have a way to phone home, so more than likely China’s plan was to recover the balloon to get the data. That may be what you recall. For all we know they had been doing so for years successfully.

But they were definitely spy balloons.
the launch of ChatGPT had an amount of hype that was downright confusing for someone who had previously downloaded and fine tuned GPT2. Everyone who hadn't used a language model said it was revolutionary but it was obviously evolutionary

and I'm not sure the progress is linear, it might be logarithmic.

genAI in its current state has some uses.. but I fear that mostly ChatGPT is hallucinating false information of all kinds into the minds of uninformed people who think GPT is actually intelligence.
I agree. It’s for internal employees who are probably being heavily recruited for real RSU money from Meta and Google.

Having spend the better part of my life in Silicon Valley my view has been gone are the days of mission. Everybody just wants RSU

You could tell employees they will build software to track lock up immigrants, deplete the world of natural resources, cause harm to other countries and if their RSUs go up 99% will be on board, especially if their H1b is renewed :)
> It's unclear, to me, if youtubers could proxy this through an attorney.

Yes. An authorized representative is allowed to submit a counter notification on your behalf, so they would put their name and address instead.
This.

Anyone who thought Sam Altman wasn’t in it for the money from the start, was being naive. In the extreme. Not only Mr Altman, but most of the people giving the larger donations were hoping for a hit as well. Why is that so incredible to people? How else would you get that kind of money to fund a ludicrously speculative research based endeavor? You don’t even know if it’s possible before the research. What else could they have done?
Caveat is if you file the counter within 5 days. From listening to a few creators describe the counter filing process, you need to gather a lot of evidence to prove that you are not infringing. It apparently takes a lot of time and what happens is that targeted harassment very easily turns into a DOS-like attack. So 5 days is an unreasonably short time window that puts an extreme burden on the content creator.

Edit to quote the full section because the cherry picked quote is misleading:

> If you dispute a claim within 5 days, any revenue from the video will be held, starting with the first day the claim was placed. If you dispute a Content ID claim after 5 days from the original claim date, we'll start holding revenue the date the dispute is made.
If I can get 100 lines generated instantly while explaining it in 25, scan the answer just to validate it and then, no wait, add other 50 lines as I forgot something before. All that in minutes then I'm happy.

Plus I can detach the "tell the AI" part from the actual running of the code. That's pretty powerful to me.

For instance, I could be on the train thinking of something, chat it over with an LLM, get it where I want and then pause before actually copying it into the project.
How many attempts can you have when running an evaluation run of an ARC competition?
Writing a shell in C is in some ways easier than writing a shell in a higher language.

We just ported fish from C/C++ to rust and the amount of semantically unsafe operations a shell does (eg passing around file descriptors instead of a File object that can only have a single mutable reference unless you want to place it in a lock) and the onerous requirements of OS internals that require the use of only async-safe methods in signal handlers and post-fork/pre-exec (which is hard/impossible to do correctly if you’re using high-level wrappers) are quite something.

C is probably the ideal language for a basic shell, which should come as no surprise as OS and libc functionality to make that happen was co-developed.
Prigozhin was landing in Russia too.

A half hearted cover for assassination is very Russian. Unlikely falls, weird car crashes, novel poisons. It’s got a long history.
Click through to "For users".

Python source code available at

www.pqconnect.net/pqconnect-1.2.1.tar.gz
"I could just as well say that extraversion goes along with overly assertive and aggressive behaviour and other behaviour that makes collaboration a nightmare"

I don't really see this very often. If someone isn't writing documentation or writing proper tickets, I don't think it has anything to do with being an extrovert/introvert.

"because everyone is different and you can't just generalise like that. Being an introvert doesn't mean you're bad at communication or avoid confrontation"

I've worked with lots of introverts over the years and although you may see it as a generalization, it's just my experience. In another way, you could call it my truth.
Run MCP Servers Locally on Android
Do you mean here?

https://terminaltrove.com/categories/ (1)

Or any other category on the page? (2)

We can change (1) alphabetically if that is what you mean.
So strange that the necessary evolution always makes certain people vastly more wealthy...
I think C.S. Peirce's distinction between corollarial reasoning and theorematic reasoning[1][2] is helpful here. In short, the former is the grindy rule following sort of reasoning, and the latter is the kind of reasoning that's associated with new insights that are not determined by the premises alone.

As an aside, Students of Peirce over the years have quite the pedigree in data science too, including the genius Edgar F. Codd, who invented the relational database largely inspired by Peirce's approach to relations.

Anyhow, computers are already quite good at corollarial reasoning and have been for some time, even before LLMs. On the other hand, they struggle with theorematic reasoning. Last I knew, the absolute state of the art performs about as well as a smart high school student. And even there, the tests are synthetic, so how theorematic they truly are is questionable. I wouldn't rule out the possibility of some automaton proposing a better explanation for gravitational anomalies than dark matter for example, but so far as I know nothing like that is being done yet.

There's also the interesting question of whether or not an LLM that produces a sequence of tokens that induces a genuine insight in the human reader actually means the LLM itself had said insight.

[1] https://www.cspeirce.com/menu/library/bycsp/l75/ver1/l75v1-0...

[2] https://groups.google.com/g/cybcom/c/Es8Bh0U2Vcg
What doesn't make sense about it?
I think you're saying that reading the thread is completely pointless, because we're all committed to having a high-quality discussion.
Over hype is what led to the last AI winter. Because they created a railroad and didn't diversify. For some reason we're doing it again.
Cable-cutting tanker seized by Finland 'was loaded with spying equipment'
Did you provide the same reference material that a developer would use?
Agreed. The question every employee cares about is “will this make my RSU go up”
Nothing I love more than being lectured by neurotypicals.
In order to understand natural language well you need quite a lot of general knowledge just to understand what the sentence actually means
The famous example from the movie Inception is spinning a top; if it never stops you are probably asleep (or maybe reality broke, oops!). But most people don't carry around a top to do this, so the other replies give some more practical examples that LD practitioners have come up with over the years.
Did they consider a helmet filter that put a dark spot over the sun dynamically? Perhaps with an lcd layer.
> I think of finding meaning often, but have struggled with it. I suspect this has to do with my current situation and I hope to remedy that when it changes.

> I believe working on my social and community life will help me find that meaning.

I also found that performing service helps fill the void where I feel purpose and meaning are missing. And if service isn't the whole solution, a partially filled void is easier to top off.
I have no interest in the lawsuit, I don't do interviews. If you want information about me an such, just read the site. That is all, good day.
I couldn't agree more. More than 90% of the children's books you find in a bookshop (in Germany at least, but I imagine it's similar elsewhere) are terrible: terrible writing, badly rhymed, cheap computer-aided illustrations, facile educational content that no-one needs, etc

On the other hand, when you find good authors like Leo Lionni (start with Frederick), it's amazing because it's as much fun for the parents as it is for the kids.

Other wonderful authors include Toni Ungerer (The Three Robbers). Any other recommendations?
I've seen the appearance of PCs, and the impact of 4 decades of Moore's law on price/performance. With O1 and now O3, the main limits of what you can do with an LLM seem to center on just how much compute you can give it.

I hope to offer a few more decades of performance boost to the show, with Isolinear Memory[1], to help dissolve those limitations. ;-)

[1] https://bitgrid.blogspot.com/2024/09/bitgrid-and-isolinear-m...
I'm not big into this style of study (would usually rather do projects), but when I do want to grind HackerRank has been the site I use.

I think the biggest point that could be improved is question quality, particularly for curated questions sets/prep kits where my expectations are higher. It's not uncommon to run into an edge case that's tested for but not specified in the problem, or some deficiency with the question itself (I've seen "fix the bug" questions with "from scratch" code provided, or vice versa).

Another thing which could be really valuable are challenges in big codebases - add feature X to some open source project or whatever. Curated/teaching versions of this kind of exercise are hard to come by and would serve as a middle ground between the usual toy problems and in-practice software engineering.
>That would be the honorable thing to do.

It's also notable that this is in fact what the now vast majority of other OpenAI founders chose to do.
Pretty unusual for a military org to cop to gross incompetence when enemy fires are a plausible explanation.
Parents of OpenAI Whistleblower Don't Believe He Died by Suicide, Order Autopsy
>> Is there a fundamental (à La Gödel) reason why we can’t predict or manage LLMs?

> We're building statistical models to make statistical predictions after training with a sufficiently large and statistically diverse dataset. Aka it's random.

This seems like a sort of hand wavy answer to what seems like a pretty deep and technical question. And to be fair, this isn’t the environment to ask that question, it seems like something a bunch of researchers would work out.

Of course we build statistical models all the time and then use them to make pretty good predictions. Is there something actually fundamental about these LL modes that makes them… unmanageable? Well, we’ll have to define manageable first… etc etc.
I did read the links and even quoted how one of them says bitcoin isn't affected.

> the problems with deflationary currencies

That's where you are mistaken, Bitcoin isn't a currency.

How is it a bug?
>if you're staying fit because you are being pressured, you probably aren't having any fun

Not everything in life is about "having fun". Pushing yourself beyond your own comfort zone, or being pushed, is by definition not going to be enjoyable in some superficial sense, but it's the only way you'll ever actually engage with anything new or unfamiliar and grow.

Nobody who is grossly out of shape enjoys showing up at the gym the first time, but even though they don't enjoy it, it will benefit them all the same and eventually they may very well come to like it. It's the same with education, decades of trying to make education "fun" have resulted in large amounts of people being unable to absorb anything that isn't in some trivial sense gratifying.
Show HN: Twitter Wrapped
I just launched Twitter Wrapped, a simple tool that turns your year of tweets into a beautiful, shareable story. Enter your handle to get:

Month-by-month stats and insights

Shareable visualizations

Personalized AI recommendations

Haiku summaries for each month

Your top 100 tweets with media and stats

It’s free and easy to try—check it out here: app.manifestlyai.com
Looks like a very nice project overall. I was initially interested in the "native" UI but after trying Ghostty I think I've realised that in a terminal app I actually want all the UI to be terminal/TUI based within the terminal itself. This is a personal preference I've discovered rather than a criticism of Ghostty.

It seems fast and really nice otherwise, so I'll keep fiddling with it, but so far I still prefer, for example, the "non-fancy" tabs in WezTerm (where the tabs are just rendered as line of terminal cells at the top or bottom of the window rather than GUI elements), and the way that modals ("Really quit WezTerm?" etc.) are also rendered within the terminal.

I'd also struggle to live without quick select mode[0].

[0] https://wezfurlong.org/wezterm/quickselect.html
This is malpractice the same way that a coder using Copilot is malpractice
Show HN: FastMCP – MCP framework with image, logging, error handling and SSE
> they're not in a position to be wasting AAMs on non-military targets.

And yet they keep doing it. Accident does seen most likely though.
Evolution journal editors resign en masse to protest Elsevier changes
Non-profits cannot “convert” to for-profit. This is not a thing. They are advocating that they should be able to commit tax fraud, and the rest is bullshit.
False advertising is illegal. Ghost job posts should be no different.
Hilariously, now I ignore every single text/email requesting that I pay something, do something, etc.

I owe money for a toll road? Hmmm, I must have accidentally blocked that user, deleted the message thread and reported it as spam. Sorry.
>His books are terrible for babies. They're more like books for dumb undergrads, if that makes sense.

Yeah, I never assumed those books were actually for babies. I kinda thought they were a joke.

I also get Sandra Boynton books for people when they have babies. They are a great way to encourage a love of reading and they are fun to read to your kids.
Do they know what a hot shower feels like?

They can describe it. But do they actually know? Have they experienced it?

This is my point. Nerds keep dismissing physicality and experience.

If your argument is a brain in a jar will be generally intelligent, I think that's pretty clearly wrong.
Exactly that. You'll have a harder time not speaking English than not speaking Dutch.
This is true but the government is the biggest borrower, who then immediately spends the funds by "awarding" contracts, obviously they don't have any corruption or favoritism when they do this, nor do they place trades using their insider knowledge of how the funds will be appropriated, which will definitely never impact the average citizen borrower (who is probably in need of borrowing money to buy a house, which is so expensive because... inflation)
Currently, they can't say "I don't know." I think it may be possible to fix this.
You haven't dispelled this at all.

You literally can't reduce revenue on paper when your business revenue is credit card payments. The payments get reported directly to the IRS by the card processor. You can so much more easily fudge numbers if you take in primarily cash.

In both cash and credit scenarios the business owner can increase on-paper expenses to lower tax burden, but there's only so much you can do with that without doing things like spending money on unnecessary costs or risking obvious audit discrepancies.

If you take cash you can just lie and know that if you ever get audited there is no paper trail apart from the one you have created for yourself.

The guy running the cash bar down the street can buy half his liquor from Costco with cash that he never reports receiving, and just pretends like half the bar's sales don't exist. That person would then only report the revenue to the portion of drink sales that go to a legitimate distributor.

In this scenario both the distributor and the bar's receipts all line up and look legit, so the IRS would literally have to come down to the bar and count customers to prove anything was amiss.

We can call this "financial mass surveillance" to make it sound bad and scary, but what's more scary to me as an average taxpayer is businesses evading taxes so that all the things I depend on like Medicare and Social Security get underfunded. As a W2 individual, I have no way to avoid taxes in a similar way.
Why do this? They lose a deduction that way.
the math and models are free. the compute is about to become essentially free with quantum and thermodynamic in the next decade.
Yeah, it's just the fact that you pasted in an AI answer, regardless of how on point it is. I don't think people want this site to turn into an AI chat session.

I didn't downvote, I'm just saying why I think you were downvoted.
classic western civilization moment
I built a small personal service to do this for Japanese. Five words + one idiom every day at 9 a.m. It's certainly not the best way to learn/study, but it is a nice passive way to stay engaged with the language.
They could send Spiderman Drones with web slingers!

https://www.fun.com/marvel-3-inch-spider-man-flying-figure-i...
The first example in the first screenshot isn't very idiomatic. I'd say hulp rather than 'guidance' when filling out a form. It works, but I don't know that anyone would say that

The second one, I'd say either bepalen/beslissen (if you want to make a decision) or uitvinden ("out-finding", find out). The word from the screenshot, vaststellen (literally: "fixed setting", think of it as fixating), is still in common enough use, particularly in formal writing, but more of a word for "good to know" than to use in active vocabulary

No comments on the third one :) That's idiomatic use (though I'd have thought of, just like in English, "not falling over" as opposed to "work-life balance" as the defining meaning of the word)

The readme says the examples are generated using ChatGPT. Why not use an existing dataset instead of generating mediocre examples with lots of energy? Similar to what YouGlish(.com) does, you could get a lot of sentences spoken by native speakers from YouTube transcripts for example, or Wikipedia for written language, or other sources costing virtually no energy at all to find a word in and being better as well
Taking off isn't even dangerous, it's unintended landings shortly after takeoff that cause harm.
Doesn't a caching reverse proxy do this sort of thing automatically?