MurphyA/hacker-news huggingface dataset:
by anuramat | 2025-08-22 05:35:58+00:00
meanwhile you're not even doing it statistically, you're just (deterministically) parroting the same argument that was already bad taste 10 years ago

quantum mechanics is just linear algebra, chemistry is just quantum mechanics, biology is just chemistry, and thus human intelligence is just linear algebra, so what's the problem? what else do you want from a mathematical framework, other than the ability to describe the system you need to describe?
by alexey-salmin | 2025-08-22 05:36:06+00:00
The very same link sheds some light on that question too:

"Time magazine reported that throughout 1981 and 1982, the Israelis reportedly set up Swiss bank accounts to handle the financial end of the annual multi-million dollars arms deals between Iran and Israel during the Iran–Iraq War."

The vast majority of arms dealing is state-controlled, all terrorist groups combined aren't big enough to make a dent.

And in any case, the original claim was "money laundering for terrorism" not the other way round.
by EasyMark | 2025-08-22 05:36:12+00:00
you can use a reasonable amount of force to prevent people from taking property (or if you're acting as an agent thereof) in Texas. But still you can always be taken to civil court and be at the mercy of whatever judge. I imagine in San Francisco you will almost certainly lose to the criminal who was stealing something if you use any amount of force other than to defend yourself unless you're a cop
by raggi | 2025-08-22 05:36:18+00:00
reddit is a user hostile company, have been forever, always will be. they take rights over your content, farm things about you, sell data, do invasive things in the mobile apps, use creepware cookies, etc.

Excerpt from the user agreement:

When Your Content is created with or submitted to the Services, you grant us a worldwide, royalty-free, perpetual, irrevocable, non-exclusive, transferable, and sublicensable license to use, copy, modify, adapt, prepare derivative works of, distribute, store, perform, and display Your Content and any name, username, voice, or likeness provided in connection with Your Content in all media formats and channels now known or later developed anywhere in the world. This license includes the right for us to make Your Content available for syndication, broadcast, distribution, or publication by other companies, organizations, or individuals who partner with Reddit. For example, this license includes the right to use Your Content to train AI and machine learning models, as further described in our Public Content Policy. You also agree that we may remove metadata associated with Your Content, and you irrevocably waive any claims and assertions of moral rights or attribution with respect to Your Content.

People put their heads in the sand over reddit for some reason, but it's worse than FAANG.
by nicbou | 2025-08-22 05:36:19+00:00
Seeing my old home city stirs something in me! Oh how I miss it sometimes.

I am not sure I agree with this method, especially for younger people who have never experienced the things they want. When I was twenty, circa 2015, I would have seen myself working for Google.

What 30 year old me knows is that I am happier with tons of free time and agency, not tons of money and a big title.

People often like the general idea but are not ready for the process that leads there. They might not even like what the goal feels like! A lot of kids these days want to be an influencer, until they learn what it entails. A lot of people want FIRE, but are not ready to work 70 hour weeks in their prime years.

One thing that helped me not get lost is something Quebec did right with its education system: make people try different things, not just things that are immediately relevant to their career. CEGEP was a ton of fun. Take unusual lessons, try new hobbies, read outside of your habitual circles. It’s easier to plan your future without tunnel vision.
by 0xDEAFBEAD | 2025-08-22 05:36:21+00:00
I cancelled my subscription a while ago, but it appears the print edition is still being advertised online: https://subscribenow.economist.com/summersale/

>Barnes and Noble hasn't had a new issue since mid-July.

Twice a year, during the summer and around xmas, they ship a really thick issue with lots of extra articles and then take a few weeks off. Perhaps this is their summer break?
by 6r17 | 2025-08-22 05:36:24+00:00
I really want to see the benchmarks on this ; tried it like 4 days ago and then built a standard epoll implementation ; I could not compete against nginx using uring but that's not the easiest task for an arrogant night so I really hope you get some deserved sweet numbers ; mine were a sad deception but I did not do most of your implementation - rather simply tried to "batch" calls. Wish you the best of luck and much fun
by austinshea | 2025-08-22 05:36:46+00:00
Some stuff is going to be provider-specific.

Let me explain why we’re not talking about an 80/20 split.

There’s no reason to treat something like a route53 record, or security group rule, in the same way that you treat the creation of IAM Policies/Roles and their associated attachments.

If you create a common interface for your engineers/auditors, using real primitives like the idea of a firewall rule, you’ve made it easy for everyone to avoid learning the idiosyncrasies of each deployment target, and feel empowered to write their own merge requests, or review the intended state of a given deployment target.

If you need to do something provider-specific, make a provider-specific module.
by pezezin | 2025-08-22 05:37:40+00:00
My dad was a big fan of Trinitrons. Both our first TV bought in the mid '80s, and the second one bought in the early 2000s after the first one died, were Trinitrons, as was our 17” PC monitor.

Last year I got bitten by the retrogaming bug and ended up getting now one, but two 17” Trinitrons, one for a MAME machine in our office's cantine, and one for my retro PC. Even after 25 years those beasts look gorgeous, old games really look great on them.
by motorest | 2025-08-22 05:38:15+00:00
From the article.

> The past few years have been terrifying for Soares and Hendrycks, who both lead organizations dedicated to preventing AI from wiping out humanity.

Just to state the obvious: there is a monumental conflict of interests in this sort of organization. Of course those who present themselves as solutions and even paladins defending us against a problem will have a vested interest in convincing everyone there is indeed a problem, and it is huge, even if said problem does not exist at all.
by hobofan | 2025-08-22 05:38:43+00:00
As someone who has worked on package managers quite a bit in the past, and for that examined prior art across package managers, that's because Cargo is doing things very well on almost all fronts. Partially because of their RFC process and partially because they have the luxury of being a "newer" package manager that doesn't have to live with ecosystem baggage going many decades back.

There are/were definitely some weaker spots with Cargo (e.g. private registry support was meh for some time), but if one were tasked to build a package manager and were only allowed to pick a single one to take inspration from, Cargo is definitely the way to go.
by thayne | 2025-08-22 05:40:07+00:00
I don't think this is necessarily a "crime", I could see this being useful.

An example that uses a similar approach would be if you had a metaclass that overrode __instancecheck__ to return true if a string matched a regular expression. Then you could create (dynamically defined) classes that used that metaclass to use in match statements to march a string against multiple regexes. Unfortunately, I can't think of a good way to extract any capture groups.
by somenameforme | 2025-08-22 05:41:30+00:00
They can't say anything more than 'yeah we were totally fired'. So it comes down to motivation, witnesses, history, etc. The farmers have been running this farm for decades with an upstanding record, and have zero motivation to want to get rid of the employees they hired unless those employees could not competently do the labor they were hired to do.

By contrast the workers themselves signed up for some of the most brutal/specialized farm work (which they may not have understood had they lied and never actually done it before - it's one of the highest paid crops for laborers), zero witnesses to their claims (and in fact they could only get 3 of the 17 workers to even claim that they were fired), and were able to carry out a freeroll for a crop year of salary by saying 'Yeah uh we were fired.' Anonymously. Through a translator. Provided by some NGO. Online. While in Mexico. At home.

In the end if one has to make a probability judgement, this is not even remotely close. And indeed this is why the farmers are cheering having their constitutional right to a fair trial granted - they're going to win this literally 100% of the time to the point that this is practically fit for summary judgement. Again the only thing particularly weird here are the government's actions.
by pjmlp | 2025-08-22 05:41:48+00:00
Except most people that call themselves Engineers without a degree aren't Leonardo Da Vinci, or any of the others listed by you.

Exceptional individuals that made an impact to mankind, regardless of which kind.

There are schools for special developed kids with advanced cognitive skills for a reason.

Also there is a huge difference between being immersed in an engineering degree between 3 to 5 years almost every single day with compulsory assignments, depending on the country, and occasionally watch a couple of videos, or read one or two books.

This all without getting into the soft and ethical skills that engineering degrees also require.
by robinzfc | 2025-08-22 05:42:04+00:00
The purpose of math is indeed to increase our understanding, but the correctness of proofs is a precondition for that. A wrong proof does not increase understanding, although it may create such illusion. Proof assistants provide scalability to correctness checking and this way they contribute to understanding.

Some proof assistants contribute more directly to understanding by making proofs easier to study.
by defrost | 2025-08-22 05:42:14+00:00
> But How?

Typically by hiring them .. although their provenance might be sketchy..

eg: https://www.cybersecuritydive.com/news/us-charges-oregon-man...

^ Oregon man arrested for running ~70,000 device DDOS-for-Hire botnet; the distributed attacking computers were mostly compromised IoT gadgets - fridges routers, toasters, doorbells, etc. with weak security that were probably scanned and p0wned via Shodan (or similar device mapping project).

More legally there are many "free software" deals that offer services for people via installed software that comes with a side order of background web crawling in the fine print of the WALL-O'-TEXT Terms Of Uses agreement.

Enterprising middle people gather up bots and offer them for hire to web crawlers, large scale companies will farm their own bots via their existing user base.
by LegionMammal978 | 2025-08-22 05:42:52+00:00
With respect to the content or other materials you upload through the Site or share with other users or recipients (collectively, “User Content”), you represent and warrant that you own all right, title and interest in and to such User Content, including, without limitation, all copyrights and rights of publicity contained therein. With respect to the content or other materials you upload through the Site or share with other users or recipients (collectively, “User Content”), you represent and warrant that you own all right, title and interest in and to such User Content, including, without limitation, all copyrights and rights of publicity contained therein. By uploading any User Content you hereby grant and will grant Y Combinator and its affiliated companies a nonexclusive, worldwide, royalty free, fully paid up, transferable, sublicensable, perpetual, irrevocable license to copy, display, upload, perform, distribute, store, modify and otherwise use your User Content for any Y Combinator-related purpose in any form, medium or technology now known or later developed.
by degamad | 2025-08-22 05:42:55+00:00
But in any context in which the attr() function is used, the type information is inherent, right?

min-width: attr(foo) /* implicitly requires type to be length */ color: attr(bar) /* implicitly requires type to be color */

Unless you wanted to use a shorthand property like border, but restrict the attribute to only one part of it?

border: 1px attr(bdrcolor type(<color>)) /* needs explicit type to prevent specifying border-style */

But that would be easier and cleaner to specify separately?

border-width: 1px border-color: attr(bdrcolor) /* implicitly requires type to be color */

In what scenarios does adding the explicit type information help, rather than having the parser infer the type of the attr() based on the context of the call?
by Ballas | 2025-08-22 05:43:14+00:00
There is definitely a divide in users - those for which it works and those for which it doesn't. I suspect it comes down to what language and what tooling you use. People doing web-related or python work seem to be doing much better than people doing embedded C or C++. Similarly doing C++ in a popular framework like QT also yields better results. When the system design is not pre-defined or rigid like in QT, then you get completely unmaintainable code as a result.

If you are writing code that is/can be "heavily borrowed" - things that have complete examples on Github, then an LLM is perfect.
by Seattle3503 | 2025-08-22 05:44:49+00:00
> For example when submitting a write operation, the memory location of those bytes must not be deallocated or overwritten.

> The io-uring crate doesn’t help much with this. The API doesn’t allow the borrow checker to protect you at compile time, and I don’t see it doing any runtime checks either.

I've seen comments like this before[1], and I get the impression that building a a safe async Rust library around io_uring is actually quite difficult. Which is sort of a bummer.

IIRC Alice from the tokio team also suggested there hasn't been much interest in pushing through these difficulties more recently, as the current performance is "good enough".

[1] https://boats.gitlab.io/blog/post/io-uring/
by manarth | 2025-08-22 05:45:22+00:00
> Isn't the guideline karabinered to your suit

No, there are no lines attached (to minimise the risk of entanglement). In good visibility with pre-laid lines, you'll often not touch the line.

In poor visibility you'll gently hold the line. If there isn't a pre-laid line, the lead diver will have a reel which they progressively release, and tie-off at intervals (to any useful protrusion).

https://divingadelaide.com.au/basic-reel-and-guideline-use-f...
by alexey-salmin | 2025-08-22 05:45:35+00:00
> Get some sort of job in the company, do something illegal, threaten your manager with going to the feds, since at this point they are criminally liable for your act.

Not if the manager goes to the feds himself.

> But i still think morally its important that we punish people for things they actually did (or failed to do), not just by mere association.

Well imagine you're a CEO and you not only didn't setup protections against wrongdoing but rather created a system of incentives that makes it beneficial to close your eyes to things.

In the Dieselgate the engineer went to jail, in Skyguide the air traffic controller got stabbed, the executives walk free.
by raggi | 2025-08-22 05:45:40+00:00
No. I don't think "novelty" would be relevant in such a case. How much risk you have depends on many factors, including what you mean by "use". If you mean sell, and you're successful, you're at risk. That would be true even if it's not the same as other content but just similar. Copyright provides little to no protection from legal costs if someone is motivated to bring a case at you.
by moepstar | 2025-08-22 05:46:38+00:00
> even sold by Amazon

Honest question: after all the reports of co-mingled inventory, plain fakes etc. being sold by Amazon - for years i might add - do you really consider Amazon being a reliable source for anything that is not some unimportant trinket?

I went from spending > 10k€ per year to less than 5%, probably not even that, on there, all by their own fault.

And i see no reason to buy there anymore:

- the default assumption of having the best price on the web went out of the window years ago

- next (or 2) day delivery - does not happen anymore in most cases, Prime or not

- even finding (!!) what you're searching for is a total sh.t show

- for years, Amazon is now a front for chinese cr.p shipped by the boatload

- the once useful review system has been and is being gamed, it is beyond broken these days and should not be trusted (basically forget everything that scores 4.5 or less, read all reviews and ensure that the review you're reading is not for some other variant of the item you're looking for or that the review you're looking at hasn't been swapped one item for another, because that's a thing as well on there...)

I mean - buying things on Aliexpress is more trustworthy, for crying out loud - yet, most people can't seem to be bothered. scratchinghead
by tovej | 2025-08-22 05:47:13+00:00
Citation needed, and I call bullshit. Unless you mean that they hallucinate useless algorithms that do not work, which they do.

LLMs do not have an internal model for manipulating mathematical objects. They cannot, by design, come up with new algorithms unless they are very nearly the same as some other algorithm. I'm a computer science researcher and have not heard of a single algorithm created by LLM.
by AIorNot | 2025-08-22 05:47:24+00:00
I’ve built 2 SaaS applications with LLM coding one of which was expanded and release to enterprise customers and is in good use today - note I’ve got years of dev experience and I follow context and documentation prompts and I’m using common LLM languages like typescript and python and react and AWS infra

Now it requires me to fully review all code and understand what the LLM is doing at the functional, class level and api level- in fact it works better at the method or component level for me and I had a lot of cleanup work (and lots of frustration with the models) on the codebase but overall there’s no way that I could equal the velocity I have now without it
by hitekker | 2025-08-22 05:48:36+00:00
Your point on coherence is similar to the perspective of an ex-C++ maintainer. This video came out a decade ago https://www.youtube.com/watch?v=KAWA1DuvCnQ&t=2530s and I feel his lesson went unheeded. It's relevant to the bigger and more dangerous concept of Conceptual Integrity by Fred Brooks.
by reeddavid | 2025-08-22 05:50:21+00:00
I think this comment references something many people don't realize: Even items that say "Ships from Amazon, Sold by Amazon" could be counterfeit, because the inventory from third party sellers is co-mingled with Amazon's own inventory.

If you see "Ships from Amazon, Sold by RandomCompany" you might worry about counterfeits. But the "Sold by Amazon" item might also have been sourced from (or counterfeited by) "RandomCompany".
by abullinan | 2025-08-22 05:50:28+00:00
I had a line of freshman out my dorm room door in college because I was one of three kids with a PC in my dorm and the only one with a printer. My good ol epson mx80. I charged each procrastinator a beer for last minute print jobs because the computer center was a 20 minute walk from the dorms. I drank a lot that year. But the funny part is the vast majority of engineering and compsci students didn’t have a personal computer. Let that sink in.
by Tor3 | 2025-08-22 05:51:53+00:00
"I cannot help but read this whole experience as: “We forced an engineer to take sales calls and we found out that the issue was that our PMs are doing a terrible job communicating between customer and engineering, and our DevOps engineer is more capable/actionable at turning customer needs into working solutions.”

I disagree - there are real limits on how PMs and others can describe how customers feel about products. At my workplace I've always argued for rotating engineers through customer support now and then. As someone who did customer support AND development at the same time, I noticed the wall between developers working in isolation and others who also worked customers. You can work from specifications alone, and they may well be perfect specifications validated by customers, but if you're not actually seeing what they do you can't really understand.

Working with customers now and then simply translates to better products and also less maintenance issues, which is _better_ for said developer.
by JZerf | 2025-08-22 05:53:04+00:00
I also like the aesthetics of OS X versions prior to 10.10. It is hard to find programs that still support older versions though. To make things easier I'm using the more modern macOS 10.14 but installed a few things to make it look more like 10.9.

The file and instructions in https://forums.macrumors.com/threads/mavericks-window-contro... change many of the UI elements to look like those in 10.9.

Menu Bar Tint (https://manytricks.com/menubartint/) can make the menubar look like the one in 10.9.

macOSLucidaGrande (https://github.com/LumingYin/macOSLucidaGrande) can change the system font back to Lucida Grande like 10.9 used. One annoyance with this though is that the '*' character won't show up in password input fields.
by rohit_2002 | 2025-08-22 05:53:59+00:00
Most screen time apps either lock you out completely or give you so much flexibility that they’re easy to bypass. While working with teams and individuals, we noticed the real challenge isn’t just “blocking apps” but finding a balance between productivity and freedom. With Kaizen Protect, we tried to design a tool that helps people take control of their digital habits without feeling restricted. Along the way, we learned a lot about behavioral design, attention management, and the psychology behind why existing tools often fail. I’d love to hear thoughts from this community on how others have approached digital wellbeing.
by giantg2 | 2025-08-22 05:55:11+00:00
Technology has created more complications and lead to less need for others, eroding the social fabric of communities. While it has been beneficial to certain subgroups or specific circumstances, overall it seems to a social negative.

Technology has also lead to less reliance on others, less real interaction, and disconnected cause and effect. So our jobs and lives seem less impactful than the past.

This might be an area the Amish get right. They generally seem like a content, if not happy, group. They have family and community with jobs they can see the impact of. It may be a simpler life filled with more hard work, but it seems wholesome.
by theshackleford | 2025-08-22 05:55:34+00:00
> I get trying and improving until you get it right. But I just can't make the bridge in my head around

> 1. this is magic and will one-shot your questions 2. but if it goes wrong, keep trying until it works

Ah that makes sense. I forgot the "magic" part, and was looking at it more practically.
by kev009 | 2025-08-22 05:56:41+00:00
It wasn't just CGI, every HTTP session was commonly a forked copy of the entire server in the CERN and Apache lineage! Apache gradually had better answers, but their API with common addons made it a bit difficult to transition so webservers like nginx took off which are built closer to the architecture in the article with event driven I/O from the beginning.