skysight-inc/HackerNews huggingface dataset:
i have very little knowledge of any of this, but i had an impression that OpenAI was trained on commodity cloud hardware that's available for purchase/rent to anyone, including off-the-shelf GPUs from Nvidia and AMD? are those what you are referring to as "the firmware blob", or was there some other, more specialized and custom-built closed hardware involved?
> noodles

Replace them with a heartier starch like lentils or farro. As a bonus you also end up with better micro and macronutrients than you'd get from enriched egg noodles or the like.

My current meal prep stew comprises olive oil, pork, leeks, garlic, carrots, mushrooms, lentils, onions, tomato paste, and kale. For seasoning I'll throw in red pepper flakes and italian seasoning along with some balsamic vinegar if I don't get the depth of flavor I want. A little gorgonzola or other blue cheese on the side really sets it off.
I find similar performance to AnyDesk most of the time but RustDesk never seems to get sluggish, while sometimes AnyDesk gets very slow and my view of the remote machine gets up to a few minutes behind, which is pretty unusable.
>And to those mentalities… yes we ought to remind they’re not welcome.

gee, no matter how many times Europe has told the Jews that they are not welcome, they've kept coming back, bringing ses penchants for assessing capital risk in middleman trade, and hedging financial risks!
Printer support please!
Show HN: Howm meets org-dril: note taking tool combined with flashcards in Emacs
Literate programming/orgdev style article containing my environment for note taking and active recall in Emacs.
Screen cast with example of how to use such system is included.

Relevant HN submissions:

Howm: Personal Wiki for Emacs
https://news.ycombinator.com/item?id=41438107

org-fc:
https://news.ycombinator.com/item?id=39286107

Effective spaced repetition:
https://news.ycombinator.com/item?id=35511357

List of relevant materials probably is incomplete.

I hope you enjoy the article.
A true masterpiece:)
out of curiosity: what problems do you solve with this fork at Microsoft and why not C# ?
I am tired of PDFs. They should have a dedicated website for presenting C++ proposals so everyone can comment and discuss. Reading Github issues are more enjoyable than reading PDFs.
Not to mention that so many posts that people share got shut down and censored by the mods and admins after users flag it to death.

They don't want to admit it but the truth is that they're all in to the current coup that's happening in Washington right now. That's turning into a fact every single day now.
Nice article.

>Whether and how an LLM actually "thinks" is a separate discussion.

The "whether" is hardly a discussion at all. Or, at least one that was settled long ago.

"The question of whether a computer can think is no more interesting than the question of whether a submarine can swim."

--Edsger Dijkstra
I disabled IPv6 as my little ISP has not yet figured out how they want to bill for or assign/segment it out for static assignment. I have multiple static IPv4 addresses. I only use static IP's but that is a requirement specific to me. The firewall is very simple and just forwards packets and uses a simple IPv4 SNAT. The only time I've had it set up more complicated was when a guest was abusing P2P so I had to block it using string matches on the unencrypted commands.

My setup is honestly simple enough that a write-up would not benefit many. My Unbound setup to block many malicious sites is also fairly well documented by others. The null routing of commonly used DoH servers is straight forward. My Chrony setup would just annoy people as I only use stratum-1 servers and the options would just look like cargo-culting to some.

About the only thing not commonly discussed is the combination of thc_cake and some sysctl options to keep buffer bloat low but OpenWRT has their own take on that topic already.
> Notably, this still ends up being in some way a statistical endeavor rather than truly learning addition, as even the fine-tuned model doesn't reach 100% accuracy

If that's our metric then most humans haven't truly learned addition either

For any neural network, the standard you can expect for any learned skill is closer to a human learning that skill than to a computer programmed to do that thing. There will be occasional mistakes
You should essentially never call someone an incel if you want to be taken seriously. Second, it’s obviously against the HN guidelines.
The video is very very "Apple robot vs Google|Microsoft robot," in the same contrast as iPhone vs BlackBerry.

Both will complete a task, but one does it in a more natural way. Make computers more human, rather than the other way around.

And I'd totally buy that robot lamp.
Right, that part I agree with.

Microservices if used sparingly in the right way are fantastic as they can offer flexibility in APIs that do not necessarily need a monolith obfuscating certain behaviors away from the monolith making the architecture more secure.

Everything needs to be purposefully built and used with the intention of serving the customer's needs without compromise.
Agreed, that is the lightest-grey text I have seen on the web in years. Just use the default text colour, dude.
Recent developments like V3, R1 and S1 are actually clarifying and pointing towards more understandable, efficient and therefore more accessible models.
I have no idea how. But after I quit social media I managed to convince my wife to give it a go. That was 4 years ago. Has linkedin for work, and goes to a couple of sports related subreddits, but that's it.
Did you see how similar the more complicated problem is? It's nearly the exact same problem.
I am so familiar with Dr Nim ... your grandpa invented that ?!?

Kudos ...
Also not to be confused with Microsoft Surface Go: https://en.m.wikipedia.org/wiki/Surface_Go
The easiest solution to this is probably extracting / formatting the content, then running a diff on that. Otherwise you could use snapshot testing algorithms as a diffing method. We use browserbase and olostep which both have strong proxies (first one gives you a playwright instance, second one just screenshot + raw HTML).
Have you looked into Wallabag?
> they are incapable of even the simplest "out-of-distribution" deductive reasoning

But the link demonstrates the opposite- these models absolutely are able to reason out of distribution, just not with perfect fidelity. The fact that they can do better than random is itself really impressive. And o1-preview does impressively well, only vary rarely getting the wrong answer on variants of that Alice in Wonderland problem.

If you would listen to most of the people critical of LLMs saying they're a "stochastic parrot" - it should be impossible for them to do better than random on any out of distribution problem. Even just changing one number to create a novel math problem should totally stump them and result in entirely random outputs, but it does not.

Overall, poor reasoning that is better than random but frequently gives the wrong answer is fundamentally, categorically entirely different from being incapable of reasoning.
>They came into this with the assumption that LLMs are just a cheap trick. As a result, they deliberately searched for an example of failure, rather than trying to do an honest assessment of generalization capabilities.

And lo and behold, they still found a glaring failure. You can't fault them for not buying into the hype.
Thanks for the details! Interesting.
Nitter.net Is Back
Zedeus put Nitter online again.
It is difficult to gauge the size of the Cloudflare effect.. if the usage statistics the site owner is collecting.. are also not collected for those undesirables.
Consistently hiring personally-loyal non-competent people with sketchy, crime-adjacent backgrounds, with histories of highly flexible loony tune views, isn’t an accident.

It isn’t at all difficult to recognize. It shouldn’t be hard to understand either. It is a very effective way to centralize power by replacing institutions with pawns.

Nor is the chaos being inflicted on those same institutions by targeted and random decrees. That many are vague and unbalancing is intentional. The aim isn’t to improve them, right-size them, or accomplish any national mission, etc. That would be a disaster if that was his goal. It is to kill any resistance to Trump in a way the constitution really has no effective response for.

As his power centralizes he will use his increased power to go after the next level of “threats” to his unmitigated power.

Where this stops, isn’t predictable. But given the chance, he won’t stop.

Regardless of your politics, it is an interesting historical moment, and worth seeing clearly. Trump is largely competently centralizing power to a degree we have not seen since Washington was given the greenfield mandate in which to oversee the raising up of our Constitutional institutions. An ironic difference from now.

If you want to understand the challenges and means of accruing power (with non-partisan, non-current-event nuance, and as it applies in any form of government), I recommend:

The Dictator's Handbook: Why Bad Behavior is Almost Always Good Politics [0]

It says “Dictator’s” but the book covers every type of government and the principles and resulting plays apply to all.

And there is always Machiavelli.

[0] https://a.co/d/gWKzfuz
Well, no it's not just not liking panics — it's that panics can leave memory in an inconsistent state. std::sync::Mutex does poisoning, but many other mutexes don't. And beyond that, you could also panic in the middle of operating on an &mut T, while state is invalid.

Tearing down the entire process tends to be a pretty safe alternative.
Evergreen talk.
The article sort of jumps straight from Faraday's law to special relativity.

I would think it's at least worth mentioning that Maxwell's equations did unify the electric and magnetic forces prior to relativity.

They aren't always taught as completely separate things, even in classical physics.

I would also say, this is a great example of how once we have a word, or a an explanation for a thing, it pretty much becomes invisible to us.

The magnetic phenomenon still amazes me, at 65 years old. It's what as a child, and a youth, inspired me to study electrical engineering.

Holding two permanent magnets near each other, and physically feeling the force between them, even though they don't touch each other, really frikin amazes me! Still!

Just drop everything you've ever learned or thought you knew, and hold those two magnets, and wonder at how do they know the other one is near?

Reality is just so much more amazing than make believe. It's so sad to see so much of the modern world lost in make believe...
Trump’s funny in that he has a habit of advocating for fairly progressive things and then being corrected by the Republicans around him. I’m pretty sure he ran on universal healthcare in the first election for a short time.

Either way I’m not going to decry a good idea just because of the source but I’m skeptical.
That's a great question and it's worth pointing out the nuanced difference: the server here has no interface exposed to the public internet. No public IP address, no hostname, etc. There's a whole class of security risks that are significantly reduced (e.g., mishandled credentials) by simply not allowing something to be directly accessible from the public internet (brief rant: I'm old enough to remember that putting databases on the internet was a bad idea, though lots of data platform providers are ok with that and now we're re-learning those lessons all over again).

As for the comparisons to wireguard and similar: there are some similarities. The main difference is this is a virtual point-to-point TCP connection rather than a virtual IP network. It's designed to specifically connection two things and only two things. There are times when you want to connect two networks to each other, there are times where you only want to connect two things within those networks. Just a question of reaching for the appropriate tool for the job.
sure, but this was 20m from a major city with a large black population (23%).
Ok that’s actually kinda hilarious — hopefully some blogger picks up that tidbit. I bet there aren’t many people using “ai” for “automotive industry” anymore!
Excuse me, how are people supposed to get there? Parking should be provided for 100% of the occupancy.
Actually, this reminds me very strongly of Rebol [0] and related languages (e.g. Red [1]). They work as you describe at the end: whenever a function is encountered, the interpreter inspects the following arguments, without any need for parentheses. Since these languages are homoiconic like Lisp, it’s possible to use functions as if they were macros (achieving it at runtime using a rather strange ‘binding’ system).

[0] https://en.wikipedia.org/wiki/Rebol

[1] https://www.red-lang.org/
Where would you type that command in?
I wonder under what parameters they allow functional and then expand to create expressive gesticulation. You’d need to train or program the motions one way or another, so defining this range is critical.
Soooo nonconsensual.

Maybe bluesky is right… are we the baddies?
For it's 30th anniversary, the BBC released a free to play version:
https://www.bbc.co.uk/h2g2game

It is not easy; but there are hints!
https://www.bbc.co.uk/programmes/articles/3tmVKGc4dR463kWs0g...
This looks cool, nice job.

Maybe add a color-legend to the front page? I didn't know what the colors represented at first.

It's kind of choking on a larger db (3.6GB, 942719 pages) - maybe you can paginate the pages.
Mining LLM Pre-Training Data from Codebases
Studying probability right now and seeing how the powerset mobius function immediately implies the inclusion-exclusion formula is pretty cool. Thanks for this!
This is the weapon of a good programmer. Not as clumsy or random as continuous integration or “move fast and break things”; an elegant weapon for a more civilized age.
I am a hobbyist Scheme programmer, and I can chime in and say that Clojure stack traces are among the worst I’ve ever seen in my life. Chez errors aren’t the best in the world, but anything beats those JVM ones, imo.
Meta AI's latest research: improved LLM reasoning with Latent Tokens
One thing to be cognizant of: if you're planning to run this sort of thing against potentially untrusted URLs, the browser might be able to make requests to internal hosts in whatever network it is on. It would be wise, on Linux, to use network namespaces, and block any local IP range in the namespace, or use a network namespace to limit the browser to a wireguard VPN tunnel to some other network.
Cool :) I am a scientist, so having an easier way to parse the abstracts would be most welcome. Keep up the good work.
Advances that don't get wide adoption may as well not exist. Except for a few privileged people. Capitalism has been shown to drive wider adoption of advances more so than a lack of capitalism.
I'm not sure if you replied to me by mistake or not, but this thread was about the out of context quote that even Snopes did not agree with the presentation of, that was from Trump about drugs rather than 'race-mixing' as was implied here by the poster who deliberately left out the context under the guise of being too lazy.

This appears to be a 'source' claiming one of the DOGE people that Musk hired made a comment perceived as racist in the past. I'm not sure what that source is supposed to add to a conversation that has nothing to do with anybody in it, so I have to assume you meant to reply to someone else.

I think you are lost, but hope you find your way!

EDIT: Just so no one else has to jump through the paywall hoops, here is the 'source' in a readable format:
https://archive.is/k1FGs

tl;dr - A DOGE staffer made a racist comment and is no longer with the staff as a result. Not sure what that is supposed to do with taking Trumps quotes out of context deliberately, but I'll save you a few clicks ;)
not sure what agreements and with which companies, I have audi etron and am not able to charge at tesla charging stations
Other than the Bible, that would be Dune and Starship Troopers. I can't really put my finger on how specifically they influenced me, but I often find myself recalling scenes and quotes from those two books when discussing deeper topics with family and friends.
Hilarious illustration of carbrain thinking.
But it is still dishonest to declare reasoning LLMs a scam simply because you searched for a failure mode.

If given a few hundred tries, I bet I could find an example where you reason poorly too. Wikipedia has a whole list of common failure modes of human reasoning: https://en.wikipedia.org/wiki/List_of_fallacies
The bike shed needs another coat of taupe paint though
Is the fragmentation due to FIPS 140-2 alone? Or are there other differences?

Why couldn't the crypto changes be rolled into mainstream Go?
No real information, just a marketing spiel.
Ah, you didn't catch the last line:

> And finally, don't take the four-story limit too literally. Occasional exceptions from the general rule are very important - High Places (62)

https://www.iwritewordsgood.com/apl/patterns/apl062.htm
When you say "validated module" do you mean Golang module?
I want an expressive robot lamp now.
The document that quote comes from is hardly a definitive discussion of the topic.

“[…] it tends to divert the research effort into directions in which science can not—and hence should not try to—contribute.” is a pretty myopic take.

--http://www.cs.utexas.edu/users/EWD/ewd08xx/EWD898.PDF
Is the latter part your second paragraph a serious?

“We've got so much more value out of harnessing greed and activating selfishness that it might be all we need to run a prosperous society”

1. who is this we? are you in the circles of mister jeffrey bezos? if you are talking about the U.S. lower to middle class, I doubt it.

2. When you look at “we” at a global scale where every person matters equally, cause we are all people, DEFINITELY not. No question about it. Forms of slavery are used to keep the entire Western world afloat, technology can only be this cheap because of the people slaving away for pennies in these far away countries.

3. If we were to harness greed to our full extent once again, all together, slavery would make a worldwide comeback. Just think of how profitable it is. If you don’t “care” and just want profit, it’s like the best way to make money.
There are people who own penthouses they've never seen. At some point practicality just goes out the window.
Mining startup hiring software engineer
I'm guessing that conservatives, for whom free markets and unfettered business decisions are almost holy, will rise up as one against this.
Original source: https://www.nature.com/articles/s41560-024-01698-1
*dysfunction
A16Z hires acquitted former Marine Daniel Penny as an investor
They flat out refuse to show what the origin server sent, unless you run some Javascript. Which is sufficient to no longer care about what the browser states in the request headers.
The subset of Tesla Superchargers with a MagicDock are usable by any CCS EV. You can find them on the Tesla charger map by filtering by "Open to other EVs"

https://www.youtube.com/watch?v=xT2SlIikNRo
Shrug. If you want something curated that's always going to mean someone is curating it.
EffectTS? :)
To be fair, QA is seen by a lot of folks as license to not fully test their code themselves.

So it's not necessarily that QA was useless, but that it was actively harmful
Please don't follow the original comments suggestion; I feel that "easily digestible" is not compatible with what makes the idea shine in the first place.
Your suggestion delegating such functionality to a local LLM is quite nice as a choice but adding it as a core functionality is quite antithetical to leverage the arXiv part, without which everything reverts back to a bland and generic whateverTok format.

Although the suggestion seems to be aware of the fact and provides both a good reasoning and a quite good solution (progressively deepening explanations), the implicit information and nuance lost in a summary by an unreliable LLM would undeniably turn this from a useful and interesting idea to a cool party trick no one uses for more than 5 minutes.
I'm not sure the US 'First Amendment' is relevant here? DeepSeek is in China.
> Trump sanctions International Criminal Court, calls it 'illegitimate'

> President Donald Trump has signed an executive order sanctioning the International Criminal Court, accusing it of "illegitimate and baseless actions targeting America and our close ally Israel".

> The measure places financial and visa restrictions on individuals and their families who assist in ICC investigations of American citizens or allies.

> Trump signed the measure as Israeli Prime Minister Benjamin Netanyahu was visiting Washington.
Universities usually do both, and it makes some academical sense for it to be the same.
The company was always bad, but took a nosedive around the time their CEO was found killing elephants for sport 15 years ago.

The fact that people are still using them is disappointing.

———-

also for pedantry’s sake, it’s “piqued” your curiosity
Netanyahu gifts Trump a golden pager during US visit
They openly allow you to pay to put your songs in playlists, but they're marked as sponsored songs and users can opt out. Supposedly that's them following the rules; there are rumours of shadier deals going on as well, but there always are in the music industry.
Every second programmer is considering moving to trades.
Or based out of Arizona, home of Tombstone and the OK Corral.
People growing up with expressive robots might feel sad if(!) they understand that this behavior is artificial later in their life.

I read an interesting article on how young people will not be able to tell what a computer or program really is because so many things are „smart“ now and support speech and gestures as user input.
This might be a bit of a shameless plug, but because you ask :)

Regarding no sbt, I would highly recommend to have a look at the mill build tool https://mill-build.org. I personally find it very pleasant to use as a replacement for sbt, mostly because of the following points:

- it uses regular Scala code to define a build

- it isn't DSL-heavy like sbt, which means it's A) easy to debug by simple searching, and B) anyone unfamiliar can get a vague idea of what's going on at a first glance

- it is designed around a generic task graph and isn't centered around the JVM world (disclaimer: I'm helping with development, and recently first-class support for Python and JavaScript projects was added)
It's worth noting that the "tower in the park" modernist ethos of building very tall towers to create lots of green space was largely a bust.

Parks need a certain level of activation, and developments like these tended to fall below those thresholds. If not active, parks become ill-maintained, desolate, and foreboding. In the worst case scenario, they become havens for crime, since there are no witnesses or bystanders to help out someone getting mugged.
Autonomous Revenue Scaling: Redefining Company Scale in the Age of AI