skysight-inc/HackerNews huggingface dataset:
They may have more bombs than they have manpower. It's about which resources you choose to expend. Also the is has far more precision weapons than anyone else.
There's a massive jump in that logic, which is basically equating a large neural net to being exactly the same as a singular human being. If you ask me that is clearly not the case. They operate in entirely different ways and have very different properties.
I think with formal analysis, whole bug classes can be eliminated. Add to that a rigorous programming style, and 'bug-free' code is within reach.
There will remain bugss that make it through, but they will be rare, and will need a chain of mistakes.

Currently ways of coding to this kind of standard exist. But they are stupid. It involves things like no dynamic memory allocation, only fixed length for-loops, and other very strict rules. These are used in aerospace, where bugs are rather costly and rare.
I hope these containers weren't/aren't labeled with a #2 recycle code.

> The company claims the resulting containers are fully recyclable.

But crap, they probably are. Which means everyone using recycled HDPE is potentially exposed to PFAS leachates as well.

> EPA’s order that it has modified its fluorination process over the past 2 years, resulting in a more-than-90% decrease in PFAS impurities. PFAS are undetectable in nearly all of its fluorinated plastic packaging, the company says.

But are they undetectable following the recycling process? Are new PFAS impurities formed in this process?
A fix for what exactly?

Manually visit every DHCP server in existence and do exactly what listed in mitigations?

>> The TL;DR version is:
Disable DHCP DNS Dynamic Updates if you don't need them
Client records should be safe if you configure a weak user as the DNS credential
Managed records can’t be protected from spoofing with any configuration; use static DNS records for sensitive non-Windows hosts, if possible
Do not use DNSUpdateProxy; use the same DNS credential across all your DHCP servers instead

Automatically do that with a patch and hear millions of 'M$ broke my shit again, M$ is shit'?
> Apple claims iMessage is E2EE, do we have proof they aren't siphoning the messages from the client once it's been decrypted?

Actually it is documented by Apple themselves that they receive the encrypted messages and the key to decrypt them when iCloud backup is used (unless you and the person you are messaging have specifically enabled their "advanced data protection" feature). They have decrypted messages in response to law enforcement requests.
The repo is a proof of concept. The key provided is used for illustration purposes and worked for the proof of concept. Nobody believes Apple would not revoke that key. But you don't need to talk down to the author for their age like this when they've made clear this is a proof of concept.
I totally respect that decision and mostly stay away from partisan or rage bait media myself. There's 3 reasons I make an exception for If Books Could Kill:

1. Entertainment value - their banter is just funny. I don't have to agree with 100% of what they say to just enjoy funny banter.

2. They care about Methodology - Michael Hobbes in particular is great at pointing out when news media misrepresents a study by drawing conclusions the study's methodology in no way supports. For this episode talking about how terrible crime statistics in America often are is relevant. Which leads me to #3...

3. They just read the source material. Most of this story is based on just reading the original "ORC" report and showing how devoid of substantiated facts it was. Sure, some types of crime are up! Crime in some places is up! They don't deny that, but they contextualize it. The report that started the national media cycle is quite silly when examined directly.
Helmets are absolutely not meant to crumple. It's not only blunt impact a helmet protects you from. Its also the penetration of your skull by pointy hard objects.
Can you please not post in the flamewar style? It's not what we're going for here, and you can make your substantive points without that.

https://news.ycombinator.com/newsguidelines.html

Edit: it looks like we've had to warn you about this multiple times before:

https://news.ycombinator.com/item?id=32039759 (July 2022)

https://news.ycombinator.com/item?id=27225044 (May 2021)

https://news.ycombinator.com/item?id=22938445 (April 2020)

https://news.ycombinator.com/item?id=21808005 (Dec 2019)

We have to eventually ban accounts that keep breaking the rules like this. I don't want to ban you, so if you'd please review them and stick to them from now on, we'd appreciate it.
Sure. They have every right to do what they're doing. I'm just mocking Apple because I think their implication that they're the only trustworthy entity is ridiculous. We have no reason to trust them any more than we do Beeper or any other company.

If Apple actually cared about security they'd implement an open protocol that is provably secure. Imagine if they supported something like Matrix. But that's clearly not their primary concern here. It's just a convenient excuse to maintain their walled garden.
Waxed cups are still sold for cold drink use: https://www.webstaurantstore.com/search/wax-paper-cups.html

I remember them being pretty common. But that has probably changed over the years as you indicate.
ERROR: Failed to resolve citation [1].
a quick search shows soy wax being used in some containers still. today i learned that "mosquitocide" is a word, and soy wax is a thing. Thanks HN =)
> In fact the internet was invented at CERN…

In fact, it was not.
Oh, that is great.. I was using dasel to convert yaml to json first ha ha.
Citation needed on "breaking privacy". You have at least 2^64 IPv6 addresses per household, cycle through them and stop worrying about IP tracking.

Oh, and I can give citation on how NAT breaks something. Until the day we can magically remove application-level gateways[0] I consider NAT a fundamentally broken hack.

[0]: https://en.wikipedia.org/wiki/Application-level_gateway
Please make your substantive points without swipes (like "What are you talking about" and "your schtick"), no matter how bad another comment is or you feel it is.

https://news.ycombinator.com/newsguidelines.html
Seems more likely marketing got involved.
This is how a company whose failing business model collapsing fast would act. I never liked Stock photo sites since their inception - they always followed dark patterns, spammed the entire search results with keywords that had nothing to do with them. If you searched for something "free" they would show you images of something that was NOT free. But hey, "royalty free" is close enough, I guess?

They went on to sue Google Images that allowed the spirit of open web - where you could simply right click and save any image - from doing so.

And now that AI can pretty much produce stellar quality images with just a single line of text input, they don't have anything else to do other than drag everyone into litigation.

I'm a photographer myself (Sony A7C2/24-70mm G-Master) and I have learned to accept that this is going to be the future. And though there will always be a market for real photographers, AI will take over bulk of our jobs. And the programmer in me who spent ages trying to find the perfect background image for my website says that's not really a bad thing.
It's well-known in these areas that these sales are done through ships in the Mediterranean. The same US warship that captured the Somalis last week (initially they claimed to have caught Yemenis) could be focusing on those ships that take off from Turkish ports instead (or, really, in addition)
> Antitrust doesn't really enter the picture.

I don't think this is true. Google Meet, Youtube, etc all perform worse on non-Chrome/Chromium based browsers.

I do think that the world's most popular browser, being owned by the same entity that owns Youtube, actively working to block adblockers (adblockers which, do *not* harm Chrome but do harm Youtube) is something for regulatory bodies to take into consideration.
TV, documentaries, movies and music videos are video content just the same. Even most sports is consumed in video format.

Only served via a different platform (or not really anymore for some like music videos).

People wanting to be streamers/youtubers is the same as them wanting to be any other celebrity.

To be able to show some valuable content, there has to be something valuable happening, and hopefully that still directs enough people to be astronauts, engineers and scientists (so eg NASA can live stream their flying to Moon or something).

All I am saying nothing has changed, really, other than the platform and accessibility.
> so he could very easily scramble a team of around 20 experienced Lean users

What have you to say about methods such as these:

"LeanDojo: Theorem Proving with Retrieval-Augmented Language Models" (2023) https://arxiv.org/abs/2306.15626
https://leandojo.org/

https://news.ycombinator.com/from?site=leandojo.org

( https://westurner.github.io/hnlog/#story-38435908 Ctrl-F "TheoremQA" (to find the citation and its references in my local personal knowledgebase HTML document with my comments archived in it), manually )

"TheoremQA: A Theorem-driven [STEM] Question Answering dataset" (2023) https://github.com/wenhuchen/TheoremQA#leaderboard (they check LLM accuracy with Wolfram Mathematica)

"Large language models as simulated economic agents (2022) [pdf]"
https://news.ycombinator.com/item?id=34385880 :

> Can any LLM do n-body gravity? What does it say when it doesn't know; doesn't have confidence in estimates?

From https://news.ycombinator.com/item?id=38354679 :

> "LLMs cannot find reasoning errors, but can correct them" (2023) https://news.ycombinator.com/item?id=38353285

> "Misalignment and Deception by an autonomous stock trading LLM agent" https://news.ycombinator.com/item?id=38353880#38354486

That being said, guess and check and then develop a fitting casual explanation is or is not the standard practice of science, so

https://news.ycombinator.com/item?id=38124505 https://westurner.github.io/hnlog/#comment-38124505 :

> What does Mathlib have for SetTheory, ZFC, NFU, and HoTT?

> Do any existing CAS systems have configurable axioms?

Does LeanDojo have configurable axioms?

From https://news.ycombinator.com/item?id=38527844 :

> TIL i^4x == e^2iπx ... But SymPy says it isn't so (as the equality relation automated test assertion fails); and GeoGebra plots it as a unit circle and a line, but SymPy doesn't have a plot_complex() function to compare just one tool's output with another.
Entirely different culture than the american west and south. NYC is just about as far from the country as you can get on the north American continent.
Countries like China and Japan are de facto ethnostates. There's also countries with religious majorities like Saudi Arabia, Iran, Pakistan, and India, many of which are associated with an ethnicity. Saudi Arabia is named after the Arabs. You could make the argument that many European states have dominant ethnic groups like the French, though they are nominally secular nations.

The biggest cosmopolitan countries are the United States and Brazil if I remember correctly. Maybe Canada too. Europe is moving in that direction. Countries that have a diverse citizenry are more of an exception though. Not that I disagree with your probable view that we should all live in diverse secular democracies, I just think your claim that almost none of the world is ethnostates is somewhat suspect.

I agree with the idea that Israel would ideally be a single secular state, but navigating that transition while preserving it as the safest place the Jews of the world can go would be an enormous challenge. The situation sucks and resists simple answers.
I didn't ask where you live, but ok?
How is it lazier? I’ve not noticed any qualitative difference?
Light No Fire – A Fantasy Game from the Makers of No Man's Sky
I mean, bridges collapse. That hasn't meant we gave up on engineering bridges.
Point being, we have some risk tolerance, even for civil engineering.

Now we don't accept an engineer saying, "this bridge will probably collapse without warning", which we do accept with software. So there is a difference.
I believe users are downvoting your comments because they are breaking the site guidelines. If you wouldn't mind reviewing https://news.ycombinator.com/newsguidelines.html and posting more in the intended spirit, we'd appreciate it, and your comments should get fewer downvotes too. See also https://news.ycombinator.com/item?id=38579013.
Inhance claims their containers are recyclable, so a number of them probably do get recycled into new HDPE containers. How do you warn consumers about this without turning them off of all recycled plastics?
NetworkX has helped me with so many Advent of Code questions. Some where it was warranted, some where I made it work anyway because I like it!
i was trying to get this to work with mlc-llm. i'd appreciate any pointers
V. cool! It's off topic, but what do the algorithms look like in that task?
No experience with Dzogchen.

The Advaita teaching does not seem to recommend a specific practice. It provides pointers which may bring out awareness.

I’ve only interacted with books and satsang with Wayne Liquorman who I believe to be a carrier of the teaching.

My approach so far is as practical as it gets, through sincere inquiry and presence in the moment.
Outside of the insanity of the original story; I am most surprised of this tidbit

> Glauner and the victim met in August or September 2023 on hamster.com, a porn website with dating features, and
"had an online romantic relationship," the affidavit said.
The victim ended the relationship, but Glauner "continued to contact or try to contact" her, the document said.

I had no idea porn site dating features were not scams/phishint attempts themselves
> curl | bash enters the chat.

Along with setenforce 0.

And these people are telling me about security
any advice for switching to Linux?
What I appreciate about this episode is that they don't deny some crime statistics are up in some places. They don't deny that! What they do is add the context and nuance the national media coverage and political battles have lacked.

For example one statistic that they cover changed dramatically because the reporting criteria changed. Human behavior may not have changed in the least, but the statistic suddenly became sensational because of how it was calculated. The worst part is that it's clearly impossible in that case to know if human behavior did change! By changing what they measured they ruined any opportunity to make a meaningful comparison.
>and you should always at least be able verify the people who issued it exist and have the authority to do so

I don't think that would have helped in this case since although it was based on an affidavit from a fake police officer, the name of a real judge was used to approve the fake warrant.

What would have helped is Verizon calling the court and verifying that they issued the warrant.
Yes, as long as they can avoid shooting rockets at their neighbors. Which is sadly not the case right now
> siphoning the messages from the client once it's been decrypted?

If you got iCloud backup enabled then they absolutely siphone everything that happens on your phone. And the disgusting part is that when enabling a new iphone it automatically has it switched on. I remember the case with some terrorists that Apple have to the US authorities everything on the dude's iCloud backups, but the authorities weren't content with only the backups and wanted to crack the phone - so backups have their keys managed by Apple.
more specifically on a non-cuda gpu - mali on orangepi via opencl
I'll continue to restate the thing that made me immediately quit Signal forever - I made an account, and 10 minutes later, it had alerted someone I hadn't talked to in years that I had an account, simply because they had my phone number at some point in the past, and they messaged me.

For a nominally privacy focused app, for them to literally alert people to my new Signal account I'd gotten to securely message someone violated all trust I had in them. What's to stop someone from just adding a Contact for every single valid phone number on their phone and then getting an alert for any time anyone makes a Signal account? I may as well just use Facebook then.
What you say is true, but unless you have a way to eliminate poverty, the moral imperative doesn't provide a solution.

It doesn't make sense to outlaw poor people. And paradoxically, at least under context of international trade, the only sustainable way to get poor countries out of poverty is for richer countries to trade with them.
As someone who planted multiple trees on my farm and has been involved in this — definitely disappointing. None of my trees have made it to the phase blight typically gets them, and intend to keep them for the time being
No idea in this master plan, inorganic cities suffer eventually the oversights of their designers. As to how to monetize a city, check out Santa Clarita, or before that San Clemente/Mission Viejo, or before the families that own Long Beach or Vernon. Oil.
They acquired the spanish land grants by hook or crook, kept the oil/mineral rights and the commercial properties as leases and sold the houses plots off (except Vernon which has almost 0 residential). This lets them perpetually gain rent and oil money. Some are even worse like Lennar who puts 'runs with the land' deed provisions that each sale/transfer you must donate a significant percent to their "Charity" which is run by the corporate owners of questionable administrative overhead and goals.
But forget it Jake, It's Chinatown.
>Rich out of towners swooping in and buying local land

Exactly how the City of Houston was founded.
Yeah I clicked C# expecting it to be about alternative software to use in a C# tool chain. But it's actually all just software that is written in C#. That would be useful if I were looking for C# projects to contribute to, but I'm not, and that doesn't seem to be the intention of the website.
Drone is listed under CI. Drone hasn’t been truly “open source” in years. There’s an extremely limited open source core you have to compile yourself to use. Otherwise you have source-available highly restricted code.
Certain, specific individuals to whom broad labels like "rich people" and "1%" don't apply in any useful manner.

To put it another way, there's a reason naive, useful idiots like myself were (and are) led to harbor anger against "rich people" and "1%". That reason does not serve to benefit the commons like you and me, nor the so-called "rich"/"1%" people.
> We need to speak about money. As developers, we need to speak about the cost of not doing QA.

Yep!!
EU to Control AI, a Benchmark for other countries
The set of comprehensive rules that will govern AI in Europe could serve as a benchmark for other countries.
I'd add to that, the comments are fresh on resurfaced article, so if there is a new competitor or alternative it get's mentioned.
You left off the point that that only true if you had iCloud backup of iMessages enabled. If you didn't have iCloud backup enabled then they've always been E2EE.
> those that can afford to invest made a lot of money, but everyday workers are no better off

According to those graphs, even the bottom quartile saw a substantial increase in net worth during the pandemic [1]. Sure, this is much less in absolute terms than the higher quartiles, but as a percentage increase it's actually far higher (almost 1000% between 2019 and 2022).

This doesn't detract from your point that poorer people don't benefit much from capital gains, but I think it's still worth pointing out.

[1] https://www.federalreserve.gov/econres/scf/dataviz/scf/chart...
SMS doesn't go through APNS, that's not how cellphones work.
I did a research project on noise exposure in industrial settings and some of it extended to looking into the PPE for ears in these environments.
Most do not provide employee’s with adequate PPE for the level of noise in their workplaces. Nor do they educate their staff on the permanent damage they could experience if they don’t wear correct PPE. They grossly underestimate the level of sound, and the time employee’s are exposed to harmful levels of sound. They also do not understand that sound = vibration so it doesn’t just impact hearing, it can also cause nerve damage ie, “whitefinger” - especially with power tools etc. The other thing often overlooked in factories is the acoustics of the actual environment. Sound waves bounce off surfaces etc… it’s been ages since I did study the physics of it, so I’m not explaining it well but yeah - too much noise = bad. Factory work probably is the culprit.
I also had a similar idea when I built tech-diff (https://tech-diff.com/) but rather than being just a catalog of items, it shows what the feature differences are. This is what I would argue is more important when investigating alternatives.

But, this comes at the cost of the data being harder to obtain as it is usually deep within documentation or code. Maybe we can reach a feature specification of technologies sometime in the future.
As Antonin Scalia (Supreme Court Justice) said to the US Senate ..."learning to love the gridlock"

"And I hear Americans saying this nowadays, and there's a lot of it going around. They talk about a "dysfunctional government" because there's disagreement.

And the Framers would have said, "Yes, that's exactly the way we set it up. We wanted this to be power contradicting power -- because the main ill that beset us" -- as Hamilton said in The Federalist when he talked about a separate Senate -- He said, "Yes, it seems inconvenient, but inasmuch as the main ill that besets us is an excess of legislation, it won't be so bad."

This is 1787 -- he didn't know what an excess of legislation was."

https://www.youtube.com/watch?v=Ggz_gd--UO0
Thanks for this insight! It has pretty strong explanatory power. It also explains why rushed development can stall. It explains 'move fast and break things'.

There's even an added factor of learning more about what is really needed by putting a 95% done product into use.

Heck, it explains (stretching it here) space-x's success with an iterative approach to rocket design.
There was an ad hoc committee that changed the borders further, for example around Beersheba.
He might have been thinking of how aid to Israel in the US is illegal under a law which prohibits aid to nuclear states that aren't party to the non-proliferation treaty.
> The biggest benefit of a formalized theorem library is not [...] but [...]

[citation needed]

I think there are many benefits. Hard to claim that your favourite one is the biggest benefit.

In general, I think it's a bit weird that you are repeatedly (also other HN threads, and sibling comments in this one) making unfounded claims about Lean/mathlib, to the point where you are telling maintainers how their system works. And if they explain that you are misunderstanding the system, you ignore their correction and bring up the next (or the same) unfounded claim.

Disclaimer: I am a Lean/mathlib user.
Definitely. These cars are going to be awful for literally everyone.
Have you only read books you own the copyright to?

What’s the legal distinction between you learning and AI learning?
So, "output" is the only metric your company uses? And it has an unlimited appetite for "output?"

I work with an "AI-boosted" developer. He would be a 10x better developer if he stopped querying the chatbot and started reading basic documentation. We'd have a lot less spaghetti in "his?" codebase.

Where do you work? Maybe we can solve each others problem?
Digital Media Literacy in EDMO Round Table: ADMO
I think I'm on board with your POV here.

I guess it would have been more difficult for Apple to find the key/device ID used in this scheme had these not been available on the first few pages linked by a lot of articles claiming iMessage is broken.

Had this not been publicly posted, someone would've been forced to at least open a log file.