skysight-inc/HackerNews huggingface dataset:
You contradict yourself here. Interfaces are useful for the same reason having private data is a good idea: separating the contract from the implementation. Interfaces are a description of what the consumer of the interface needs, not a description of some commonality between implementations. Interfaces can be useful even if you have no implementations.
Could you give concrete examples of situations where your freedom is restricted in France?
Do you have ideas for what would make a better experiment? The methodology for a literature search comparison, while simple, is the best I could come up with. We developed ~250 multiple choice questions which require a deep dive into a paper to answer, ideally with very convincing distractor answers. Then we gave 9 evaluators (post-docs and grad students in biology) a week to answer 40 questions each, without any limitations on their search. The evaluators were incentivized by providing a base pay per question completed, with a 50-100% bonus if they got enough questions correct.

Under those circumstances, the evaluators had an answer precision of 73.8%, and the AI system (PaperQA2) was 85.2%. Both the evaluators and PaperQA2 could choose not to answer on a particular question. If you look at accuracy, which takes into account not answering a question, evaluators were 67.7% and PaperQA2 was 66%. So in terms of overall accuracy -- humans still did a touch better. But when actually answering, the AI was more precise.

In terms of literature synthesis comparison, I think the methodology was pretty solid too, but would love more feedback. We had PaperQA2 write cited articles for ~19k human genes, of which there are (non-stub) Wikipedia articles for ~3.9k. It's worth noting that this is a particularly technical subset of Wikipedia articles. We sampled 300 articles that were in both sources, then extracted 500 statements from each (basically a paragraph block). These statements could be compound, or even multi-sentence statements. These statements were shuffled and obfuscated such that the origin could not be determined from the statement alone.

The statements were given to a team of 4 evaluators, who were each asked to evaluate if the information was correct as cited, i.e. did the source actually support the statement. So they had to access (if they could) and actually read all the sources. After we got the evaluator gradings back, we could compile and map each statement back to its origin for comparison. Under these circumstance, the PaperQA2 written articles were 83% cited and supported, while the Wikipedia articles were 61.5% cited and supported. Wikipedia had comparatively more uncited claims, so if we eliminate those and only focus on the cited claims themselves, then PaperQA2 had 86.1% of claims that were supported by the source and Wikipedia had 71.2%. We did an analysis of every single un-supported claim, and on Wikipedia, claims are often attributed to arbitrary or really broad sources, like a landing page to a database.

(here's the paper fwiw: https://arxiv.org/abs/2409.13740)
Implying an memoryless distribution (eg exponential) https://en.wikipedia.org/wiki/Memorylessness

In the absence of other information it might be as good a basis as any?
> Amazon needs to breakup its own sales vs warehouse/shipping business if it wants to be able to do things like that.

According to the fundamental dictates of capitalism, you have this backwards.
I appreciate the effort, but without any legal backing these signals are just going to be ignored like robots.txt. Hell even if they were legally binding they'd probably still be ignored if scrapers thought they could obfuscate the paper trail enough to get away with it.
chmod -R is too convenient lol
early teaser!
> I’m going to lose all faith in the people of this country.

Why would you still, at this point, have any faith in them? lol
once upon a time everything in /sbin was statically linked

then only `sln` was statically linked (a variant of `ln`)

today most distros statically link nothing and you're up shit's creek in this situation
You can fix this scenario by incrementing the next_token when you commit the critical section instead of when you enter (if that's possible for your domain). This essentially makes it an optimistic lock instead of a pessimistic lock. Two threads can get the same fence token, but only one will be able to commit.

You can often rephrase and algorithm without a commit step into one that has one, although sometimes it can feel more complicated. E.g. instead of doing A and B in a critical section, commit an intent to do A and B, and then let an idempotent process execute that intent.
Particularly appropriate comment since in this case, everyone in the EU has had this for months, and the UK would as well if it hadn't Brexited. https://about.fb.com/news/2024/11/facebook-and-instagram-to-...
Problem with email in general is that very people people are incentivized to think of the long-term impact of spam.
You're not arguing in good faith, dude.
Lots of broken formatting on that page.

That education is just to teach us patience and punctuality for our upcoming factory jobs is hardly a new idea either.
It's amazing how long it's taken football to fall from fame for this reason, like boxing did.

Not certain it'll ever happen. At least not for the foreseeable future.
Is there any point to reading it beyond the insight you shared in one sentence?
I can actually just share the lens I made directly with you!

https://kagi.com/lenses/l7mPOuJp7zljHquBjsekFn6dM9Thw1A8

I'm not sure if adding that to your account will include the configuration I have set to access the lens with !guix, but if it does not, you might want to add it. The lens basically just uses this pattern for search result sources:

logs.guix.gnu.org/guix/, lists.gnu.org/archive/html/bug-guix/, lists.gnu.org/archive/html/info-guix/, lists.gnu.org/archive/html/help-guix/, lists.gnu.org/archive/html/guix-devel/*, guix.gnu.org

I don't think I can share the assistant directly, but if you have Kagi Ultimate, you can just go to the Assistant section in the sidebar of the settings page, and add a new assistant. You can set it to have access to web search, and you can specify to use the GNU Guix lens. You can pick any model, but I'm using Deepseek R1, and I set my system prompt to be:

> Always search the web for answers to the users questions. All answers should respond relating to the GNU Guix package manager and the GNU Guix operating system.

and that seems to work well for me. Let me know if you have trouble getting that set up!
Here is a non-zero null pointer: https://gcc.godbolt.org/z/Po5r5Pa36
I always mix those two. If it's on the funny side it's usually Chekhov
Use the full path of the bin dir in your rm rf
If the base models already have the “reasoning” capability, as they claim, then it’s not surprising that they were able to get to SOTA using a relatively negligible amount of compute for RL fine-tuning.

I love this sort of “anti-hype” research. We need more of it.
Next time I go to the market, I will ask 0.3 standard deviations worth of potatoes as that's apparently a concrete quantity now :)
MCP – Flash in the Pan or Future Standard?
I'd like to introduce the Hypervel framework. It was initially created to incorporate coroutines into high I/O demand projects in my team, while helping colleagues quickly adapt using their familiar Laravel framework. After internal testing in company projects last year, I've gradually completed the missing features and documentation over the past few months, so I've decided to officially share it with everyone.

Hypervel is a framework built on Hyperf's underlying components (similar to the relationship between Laravel and Symfony), with all of Laravel's core components restructured and integrated. It resolves the States Bleeding issues that occur during coroutine context switching, something not considered in Laravel's original design, allowing these components to seamlessly integrate into the Hypervel framework. Essentially, all the basic components documented in Laravel's official documentation have been completely migrated.

Some might wonder why we need Hypervel when Laravel Octane exists. Isn't this just reinventing the wheel? The fundamental reason is that Laravel's core design doesn't account for coroutine switching issues. While Octane reduces request costs by keeping the framework resident in memory, it doesn't support any Non-Blocking I/O features. If your system isn't I/O intensive, Octane can still be helpful, but for requests with heavy I/O demands and slower response times, Octane becomes ineffective.

For example, with the recent boom in AI development, more products are integrating LLMs into their services. Each LLM request might take several seconds, and you'll find that under high request volumes, your workers are quickly exhausted. Then you can only increase your machine resource by either vertical or horizontal scaling.

If you're a Laravel developer, you'll find Hypervel easy to use (though developers should have a solid understanding of common operating systems, I/O, and coroutine concepts to avoid pitfalls).

Here are the main features of Hypervel:

1. Provides the same elegant development experience as Laravel, reducing the learning curve for the new framework.
2. Extremely high performance, with QPS 10 times higher than Octane in non-I/O scenarios, and hundreds of times higher in I/O-intensive scenarios.
3. Coroutine support out out the box, with even PHP's built-in I/O functions automatically being hooked to support coroutines.
4. Support for object pools and connection pools.
5. Seamless two-way communication with your existing Laravel projects through Cache, Lock, and Queue.
6. Coroutine support not limited to handling HTTP requests. Queue and Scheduling can also leverage coroutines, allowing a single process to achieve the concurrency that would require hundreds of workers in Laravel

If you're interested in this framework, just give it a try.

For more details, please visit the official website: https://hypervel.org
I see, I guess if you can't set environment variables during build time that makes it pure-ish enough.
The heroic version of the story is now almost 40 years old[1]. (One HN mention with the link to a HTMLized version is here[2].) In both cases, the upshot is that as long as you have a running shell with root privileges, at least one existing executable file on the filesystem, and the means to overwrite that file with arbitrary binary content, you can write a small program which can recreate a skeleton system structure and dig yourself out of the hole.

The reason why this keeps happening is that in regular UNIX root is omnipotent and the filesystem is ultimately unprotected. Immutable systems and restricted execution environments may make this a thing of the past.

[1] https://www.wolczko.com/rm.txt
[2] https://news.ycombinator.com/item?id=7892471
I didn't have much luck with one of the readme examples:

# rm -f /tmp/foo; ./landrun-linux-amd64 --log-level debug --ro /usr/bin --ro /lib --ro /lib64 --rw /tmp touch /tmp/foo
[landrun] 2025/03/22 10:28:02 Sandbox config: {ReadOnlyPaths:[/usr/bin /lib /lib64] ReadWritePaths:[/tmp] AllowExec:false BindTCPPorts:[] ConnectTCPPorts:[] BestEffort:true}
[landrun:debug] 2025/03/22 10:28:02 Adding read-only path: /usr/bin
[landrun:debug] 2025/03/22 10:28:02 Adding read-only path: /lib
[landrun:debug] 2025/03/22 10:28:02 Adding read-only path: /lib64
[landrun:debug] 2025/03/22 10:28:02 Adding read-write path: /tmp
[landrun:debug] 2025/03/22 10:28:02 Applying Landlock restrictions
[landrun] 2025/03/22 10:28:02 Landlock restrictions applied successfully
[landrun] 2025/03/22 10:28:02 Executing: [touch /tmp/foo]
touch: cannot touch '/tmp/foo': Permission denied

Looks very interesting. I'm achieving something somewhat similar by running soeme processes under docker and mounting volumes ro, but could definitely see a usecase for adding landlock to more server processes.
Remind me again why I would want to pull consistency guarantees out of an actual datastore (which is designed to provide those guarantees) and force-fit that problem into a fancy caching layer?

The Kleppman critique about efficiency vs correctness is exactly right. Redis for efficiency is great as a work-saving optimization. Redis for correctness (assuming it is possible) asks a remote system to enforce behavior at a far remove from the place where correctness is evident, which is system state, usually data in a datastore.
not exactly correct. bubblewrap, firejail, and i not sure, but maybe even apparmour, all remove capabilities and create+join restricted fs/net namespaces, and then fork the actual thing you want to execute. so it's exactly the same concept, but those use the cap and cgroups.
Pavlova is also homage to some NZ band I think. Bandit is basically speaking the same lines.
The one you're not currently using, of course.
the only good part was the joke about "vibecoding" (shudder what a stupid term) being like a fart and attracting flies... ok investors

still, this "ai code tools will deprecate real programming" bullshit will one day be laughed at just like how most of us laugh at shitcoin maniacs

it just takes a lot of people way too long to learn
Scallop's examples have syntax for probabilistic programming, so probably not.
My favorite quote:

Music lovers buy hifi systems to listen to their music.

Audiophiles buy music to listen to their hifi systems.
> coop owned by the customers

I find it a bit hilarious that I, living in the reddest state in the union, have member-owned cooperative power [1] that is 100% wind while my parents in California pay 6x my rate for mostly natural gas [2] and wildfires.

[1] https://www.lvenergy.com/my-account/

[2] https://www.energy.ca.gov/data-reports/energy-almanac/califo...
I like this. I think genai could be used to fill in gaps in, for example, Wikipedia with a note that it's AI generated. If anything I think that's a good starting point.
This looks great! Do you think you might add an option to use the model linked here instead of Hyper3D?
I read in Friedrich Hund's Wikipedia biography that while he was in Jena in after WWII in East Germany, the head of the Thuringen state government awarded him in 1949.... a voucher for a pair of shoes (a copy of the letter is on Wikipedia) as recognition of his academic merits.

He ended up emigrating to the West in 1951, and thus avoided the bloody 1953 Soviet repression of unions demands in Jena. Question to Germans: Was the shoe voucher a more or less hidden message, or just typical postwar East German socialism?

https://upload.wikimedia.org/wikipedia/commons/c/cb/Brief_Eg...
Looks like it was possible to include the `x-middleware-subrequest` header in your request, tricking the state machine into thinking you'd passed auth already.

(Don't use the user input itself to encode state!)
> The company argues that it merely ships these goods for others — similar to UPS and FedEx — and should not be required to cooperate with the CPSC on recalls if those products are found to be unsafe.

So these other companies only pay Amazon for the shipping and nothing else, do they?
I read this and it offers no lessons at all. Just seems to be a retelling of the history. So the title of this article seems like click bait, unless I missed something.
namespace, specially user and net, are terrible to setup and use.

I'm not sure this is better, but assuming it is by the author into.
>According to the fundamental dictates of capitalism [...]

And what's that? vertical integration? that's hardly a "fundamental dictate". A few decades ago vertically integrated conglomerates (think GE) were going the way of the dodo, with "core competency" being the new MBA buzzword.
That might indeed apply to open source software.

If we instead adopt the view of free software (https://www.gnu.org/philosophy/open-source-misses-the-point....), the fact that OpenAI and other large corporations train their large-language models behind closed doors - with no disclosure of their training corpus - effectively represents the biggest attack on GPL-licensed code to date.

No evidence suggests that OpenAI and others exclude GPL-licensed repositories from their training sets. And nothing prevents the incorporation of GPL-licensed code into proprietary codebases. Note that a few papers have documented the regurgitation of literal text snippets by large language models (one example: https://arxiv.org/pdf/2409.12367v2).

To me, this seems like the LLM-version of using coin-mixing to obscure the trail of Bitcoin transactions in the blockchain. The current situation also reminds me of how the generalization of the SaaS model led to the creation of the Affero GPL license (https://www.gnu.org/licenses/why-affero-gpl.html).

LLM's enable the circumvention of the spirit of free software licenses, as well as of the legal mechanisms to enforce them.
Not all addicts admit it. Also the analogy that they were responding to was in regards to come / fentanyl.
I'm a simple man, i see Meta (and associated privacy violaters) take an L and i'm happy
Awesome to see, hope we see enough of this to make the business model non-viable
A serious body, doing serious work, but with a frequently hilarious social media account

https://bsky.app/profile/cpsc.gov
The major thing was realizing my wife and I care way too much about kids getting dirty in play. This came mostly from being overwhelmed by laundry and cleaning up (and sand, sand f-in everywhere).

The other big thing was, I grew so fixated about my own job and various adult stuff, that I actually kind of hated the playground, and often felt impatient when playing (wanting to get back to million unfinished adult things). I got stuck in a self-centered and rather sad mode of thinking, and with my wife going through her own hardships, we found it too easy to just let the kids do jigsaws or play with bricks, rather than playing with them or taking them somewhere.

The song broke me down, and broke me out of my various mental loops, long enough to realize how deeply unsatisfied I am with how I act as a parent. Not just in the usual, system-2 "I realize my performance is suboptimal, I vow to improve it" way. I actually felt the weight of everything, of how much we, how much growth and happiness I am denying our girls, and it flipped something in me permanently that night. Adult problems were still there, but I suddenly felt I really want to play more, and I absolutely want to take them to playground, which became priority more important than work, and generally made me stress a little less about everything. And so I did stay on the playground the next day, and I loved it, and things really got better and happier for everyone from that day on.

Specific things: we stopped minding the sand that much - which meant we started going to the other playground nearby, that's mostly built inside a big sandbox. Kids love it. And I started to engage with some of the more absurd imaginary stories my older daughter comes up with, to her great delight. And ever since, there was no more "can't do X/Y/Z, daddy needs to finish something for work" - I decided that, in Muffin's words, "this is unacceptable!"[0].

It's hard to put into words. It probably all sounds mundane from the outside, but inside of me, the change was as profound as it was unexpected. Switches flipped, priorities realigned, emotions purged.

This was a big thing for me. But there's a lot of smaller things I took away from Bluey, too, that I feel makes me a better parent. It's truly a special show.

--

[0] - https://www.youtube.com/watch?v=RqAlhCUgAVI
Even more reason not to have a chip that runs so hot it needs liquid cooling!
How Internet Access Widened the Achievement Gap
should ebay and facebook marketplace be responsible for cooperating with CPSC on recalls?
See "Meta torrented & seeded 81.7 TB dataset containing copyrighted data" (Feb 7):

* https://news.ycombinator.com/item?id=42971446

Also "Meta claims torrenting pirated books isn't illegal without proof of seeding" (Feb 21):

* https://news.ycombinator.com/item?id=43125840
I think it is not right to say that Larrabee and Phi are as distant as Larrabee and Zen. But, they did retreat a bit from the “graphics card” like functionality, and to scale back the ambitions to become something a bit more familiar.
Pure-Gas: List of ethanol-free gas stations in the US and Canada
Measles arrives in Kansas, spreads quickly in undervaccinated counties
She's Accused of Duping JPMorgan. Somehow, the Bank Is Feeling the Heat
I appreciate the hardware side but shuddered when I read the words “cake mix.”
But the idea of not changing the tax code because it might affect others, continuing to let the rich pay 0 taxes, is foolish.

There's an obvious wealth gap that's increasing and the people up top are getting even less oversight as we speak. As you say in your post, you don't know what the effects will be because it's not simple. But I see no compelling reason to continue with the oligarchy
Monsanto is part of a German company now which, inexplicably, paid a lot of money to buy being the defendant of lawsuits, see this sad chart...

https://finance.yahoo.com/quote/BAYN.DE/
Cholesterol-elevating substances found in coffee from machines at work
Love to see this! I’m a huge fan of Neurosymbolic methods, but more advanced examples might be needed to help convince folks to adopt or try Scallop. The three on the page feel very toy. An example rooted in NLP or working with an LLM front and centered might help

Very pleasant branding though. Great work! :)
Tracking the Economic Impact of the Trade War
Workflows/orchestration/reconciliation-loops are basically table stakes for any service that is solving significant problems for customers. You might think you don't need this, but when you start needing to run async jobs in response to customer requests, you will always eventually implement one of the above solutions.

IMO the next big improvement in this space is improving the authoring experience. In short, when it comes to workflows, we are basically still writing assembly code.

Writing workflows today is done in either a totally separate language (StepFunctions), function-level annotations (Temporal, DBOS, etc), or event/reconciliation loops that read state from the DB/queue. In all cases, devs must manually determine when state should be written back to the persistence layer. This adds a level of complexity most devs aren't used to and shouldn't have to reason about.

Personally, I think the ideal here is writing code in any structure the language supports, and having the language runtime automatically persist program state at appropriate times. The runtime should understand when persistence is needed (i.e. which API calls are idempotent and for how long) and commit the intermediate state accordingly.
The GP created HTMX, so possibly he would argue for an even simpler 2-tier or 2.5-tier architecture that addresses frontend complexity
From the output in the post I'm going to assume it's either a joke post or an LLM hallucination.
You're making me wonder about nuance. Since those ports are exclusively called HDMI, I wonder if you could call your unlicensed cable "HDMI compatible."

If your TV only supports 4k@60 HDMI 2, no need to go buy more expensive cables with specs you can't use. And even then, unless you're playing time-sensitive games, 4k@60 is probably all you need anyway.
Why should they apply? Because we are not a pure democracy. We are about the rule of law. An awful lot of what's going on seems to be about whether we have the rule of law or the rule of Trump. Do we have a president, or a king?

I want rule of law. I want the president constrained by the constitution, not able to do everything that comes into his head.
Wiki on the org behind the article: https://en.wikipedia.org/wiki/Tax_Foundation
Yeah, the title made me assume that he won a countersuit or got the company fined or something.

In reality, he just sent them a slightly-snarky response to their flimsy cease-and-desist, and they decided not to go forward with a lawsuit, which is probably how it would have played out anyway.