skysight-inc/HackerNews huggingface dataset:
I'm not trying to shut any sector down. You can read previous remarks here: https://news.ycombinator.com/item?id=42412718 for all manner of comments like "why would he commit suicide?" and other assumptions.

ALL I am saying is that a person's claims that they are not suicidal are very rarely meaningful when investigating what appears to be a suicide. People say that every day to get out of mental health holds, etc.

And parents who can't believe that their child would commit suicide is also rarely meaningful. It doesn't point to a conspiracy because of how well they know their child.

I think you're almost spinning my comments as trying to shut down any semblance of conspiracy. Like I said, read HN articles on this and the Boeing whistleblower and you'll find several claims that they "could not" have been suicide because the person involved "previously promised they were not suicidal", or similar. That's all.
AirPods desktop user experience for Windows and Linux
You just submitted this 8 days ago (https://news.ycombinator.com/item?id=42458771) are there major differences?
They have a library that allows you to write and verify formalized C code more easily. And they have actually written parsers for some common file formats in this, which have been used in some major projects; and that's good, because efficient parsers for complex file formats is one of the places where you really want to use C for its efficiency, but it's also really easy to make a mistake that leads to exploitable memory safety vulnerabilities.

Now that Rust is becoming more popular, it would be nice to be able to re-use these formally verified parsers in Rust, where your entire language is memory safe. The formally verified parsers can still be helpful, because the formal verification can ensure that you also won't crash (in safe Rust, you can still crash, you just won't be subject to arbitrary memory corruption).

But just using the C libraries from Rust is unsatisfactory, now you need to go through an unsafe interface which introduces a potential place to introduce new bugs. And there are existing C to Rust translators, but they generate unsafe Rust.

So this demonstrates a way to translate from C to safe Rust, though with constraints on the existing C code. It's both useful in that it means that you can translate some of these already formally verified libraries to safe Rust, and this research could be used as part of later work for a more general tool, that could potentially translate more C code to safe Rust while falling back to unsafe in cases that it can't reason about.

Anyhow, not all academic work like this ends up being used practically in the real world, but some of it can be, or some of it can be put into practice by other tools later on. Rust came about that way; much of its reason for existence is trying to put decades of academic research into a practical, real-world usable language, since there was lots of academic work that had never really been used in industry as much as it should be.
Yep. Really very sick of these content platforms throwing up their hands and waving all responsibility on everything. We would never entertain newspapers violating copyright or fake news bullshit.
Oh! Really?
Show HN: Site for running Lua snippets. No login or ads
Uses WebAssembly. Three .lua dependencies are included that you can load with `require(xyz)`. You can see which ones using `os.execute("ls /lib")`
They go into significant detail about their sample handling as well as documenting potential sources of contamination here: https://www.plasticlist.org/methodology
I was helping a relative still in college with a project, and I was struck by how lackadaisical they are about cut-and-pasting huge chunks of code from chatgpt into whatever module they are building without thinking about why, or what it does, or where it fits, as long as it works. It doesn't help that it's all relatively same-looking Javascript so frontend or backend is kinda mixed together. The troubleshooting help I provided was basically untangling the mess by going from first principles and figuring out what goes where. I can tell you I did not feel threatened by the AI there at all, if anything I felt bad for the juniors and feeling like this is what we old people are going to end up having to support very soon.
Same as current ones - each gov does their own thing & are largely mutually blind aside from info their spooks/police/taxman may share. Chances of this being widely coordinated are slim.

Everyone is quite keen on maintaining sovereignty on matters like this aside from tightly integrated blocs like EU
Biscuits and Gravy, my people's comfort food
Hello from the USA. My people are a simple people. Our food is very comforting and cheap. Lots of people claim we 'don't have a culture or traditional foods' but that is not true. Biscuits and gravy are one of our staples (Ignore the sacrilege at the end of the Wikipedia page above mentioning tomato gravy). Hopefully it can bring you some comfort and something new to try. What are your peoples simple comfort foods?

Another traditional comfort food for us:

https://en.wikipedia.org/wiki/Tomato_soup combined with https://en.wikipedia.org/wiki/Grilled_cheese

And this is our traditional medicine. We use it as a cure for all sicknesses:

https://www.campbells.com/chicken-noodle-soup/

https://www.coca-cola.com/us/en/brands/sprite or
https://www.7up.com/

https://en.wikipedia.org/wiki/Saltine_cracker

Edit: Warning, the black spice used for biscuits and gravy can be a bit much spice for us, so use it in moderation unless you have a wild side!
Show HN: Find Native Speakers to Practice Languages With
Hey HN!

I made a web app that helps you find serious language partners.

You make new friends while helping each other.

No more excuses to learn your next language: https://iLang.io/members
How I learned to stop worrying and embrace contextuality
As someone who sees this, I have on multiple occasions heard, "He seemed like he was struggling, but the past few days/weeks things seemed to be better and he seemed much more calm and doing well."

Oftentimes, sadly, that's because the person has made the decision to end things, and that gives them some sense of relief for the pain they are going through.

I found the best summation in one of the most unlikely places, the show Nip/Tuck: "I think that if a person is in a great deal of pain, physical or spiritual, and they've exhausted all their options, I wouldn't judge them for it. I'd say a silent prayer and hope death brought them the peace of mind life never could give them."
Hey @scyzoryk_xyz I laughed out loud and could understand the tongue in cheek sediment before the edits. When I was younger dreamed about becoming rich and buying a whole subdivision and moving my family and friends into the compound. Obviously, that was before I actually had a wife and children. Compromise is the only way relationships work with family and friends.

Good thing is you have more than enough HN Karma to burn so don't worry about the down votes, most people will get ‘it’ and gave you an upvote to offset the ones who did not.
Thank you. I hope you write up findings from your own research.

To your point, I wasn't pretending that this work is novel or something that the AI community should take seriously. If anything, my point was that you can just do things.

I also feel like in the SWE community folks are generally concerned that LLMs are getting considerably better at doing our jobs. This was a poetic attempt at trying to regain some agency and not just let life happen _to_ you.
There was a lesser known Obamaphone program where the government did exactly that. it's not a bad idea.
I went to an upmarket oceanside resort last year. The entire music playlist was 12 minute remixes (possibly AI) of repetitive upbeat ambient.

It was sending the staff crazy to listen to it all day.
I owe this entire team a beer - but I don’t see Russian River or Lagunitas on the list. Anyway, let me know and I can meet you at Toronado.
This is accurate (from a former employee). They were not at odds, the platform was simply never sufficient on its own to do the books. Bookkeepers were required to fill the massive gaps.
I guess it might be hard to keep being a taxi driver when your brain gradually subsymptomatically deteriorates because of illness that will eventually kill you.
YAML is bad, first and foremost, because the language is hideously awful. Anything that can interpret Norway’s country code as a bool, or certain numbers as sexagesimal, has not been well-thought out.

As to what else, I continually fail to see what’s wrong with SQL. It’s incredibly easy to read, in plain English, and understand what is being done. ALTER TABLE foo ADD COLUMN bar INTEGER NOT NULL DEFAULT 0… hmm, wonder what that’s doing?

For people who say you get too many .sql files doing it this way: a. Get your data models right the first time b. Build a tool to parse and combine statements, if you must.
Technically he was disqualified from the rapid event and withdrew from the blitz event.
Wikipedia lists Intel 3 is roughly the same tech level as TSMC 3nm [1], but without listing transistor density. Intel is producing the Xeon 6 using Intel 3 [2]. So arguably Intel has a more advanced process in the USA than TSMC, which is doing 4nm in the USA next year. Intel's production is probably not very high.

[1] https://en.wikipedia.org/wiki/3_nm_process#cite_note-74

[2] https://www.intel.com/content/www/us/en/products/details/pro...
It's hilarious how McDonalds ends up being the safest premade meals you can get (outside a big tech company cafeteria) at least from a scary plastic chemical standpoint. They actually have the resources and a big enough PR problem to spend the money to send their stuff to labs and get it tested. Everyone else solves the PR problem by just labeling their food organic and healthy instead. https://justine.lol/tmp/healthy.jpg This is all of course assuming no one discovers anything horrible about DEHT in the future, which is the new chemical they're leaning into. I get maybe 10% as many Google Scholar hits on DEHT compared to its terrifying well-studied cousin DEHP.
I've been using soundcloud since forever and pray it never goes, plus with soundcloud paid you get access to a lot of music that isn't just "soundcloud dj music"
See https://news.ycombinator.com/item?id=42518508.
LuaJIT was about factor two slower than the V8 in 2020.
Mixin is a trait/mixin and bytecode weaving framework for Java using ASM
Can someone please summarize (for those of us who don't know the full story) why the government(s) that bought these trojaned trains isn't ripping the train vendor a new orifice, and pinning medals on the hackers who exposed this?
I was shocked to discover during my 2024 year in review I had only completed a single book.

Obviously still read loads (internet) but that realization hit kinda hard & don’t think they’re equivalent for mental wellbeing

On the plus side Ive got a good nye resolution line up!
It’s a shame LAN parties aren’t much of a thing anymore, given how powerful of a gaming computer you can pack in a mini-ITX case these days and the complete ubiquity of flat panel displays. You wouldn’t even necessarily need a wired network (though still desirable).
Well, they're the maintainer of DivestOS...
> But, yeah, let's call it joint Russian-Ukrainian to shift the blame towards Russians.

No, I mentioned it because a joint Russian-Ukrainian exercise is unthinkable now.
I don't want to be a downer, but given the pervasive amount of plastics in food, it seems essentially impossible to have a meaningful impact on overall plastic consumption for anyone who depends on a supermarket/restaurants for sustenance.
Is this fab on par with TSMC's fabs in Taiwan? I am not up to date with the various processes.
This is just straight up demonic possession. I hope he gets better.
On mobile, the one I use has a share button that lets you open the comment in a browser.
Congrats. How did you decide the amount of exercises and when do you log it? How much do your exercise file grow?

I can't count how many times I have thought about something like this and have decided to build one for myself which includes my liquid, meals, workout, and fun cardio habits. I will be using indexDB for when I'm offline and just a small database.
Every decision has tradeoffs, but I watch the HD netflix and it works flawlessly.

Would I trade all of the advantages above for the (to me) near imperceptible difference in quality? Nope.

Wait days for physical media to show up, or drive around and find a store? What is this? 1952? No thanks.
Note that if you're on iOS, it's possible that the HTML page doesn't work at all because when it's opened from the filesystem, it's displayed by a viewer which doesn't support JS instead of Safari.
So... manufactured poverty?

You're just saying it's desirable that some people be at the bottom even in a scenario where the opposite could be feasibly achieved. All on some theory that the human mind (or at least some instances of it in the population) simply... won't be able to take it without going insane?

We should need a much, much higher standard of proof for what could result in unnecessary pain and suffering for years. Especially when this:

> some people just aren't psychologically suited to the modern world, whether that involves delaying gratification or rejecting low effort, high dopamine stimulation.

...is not a proven fact, and is, with respect to social media, highly contested and inconclusive.
TSA on What Netflix's 'Carry-On' Gets Wrong About Airport Security
Honestly what else are you going to make it out of? Metal? What about rust? Horrible idea to make it out of metal.
Interesting. That’s definitely something actionable
Probably having an off day and intentionally disqualified himself.
"I always assumed emails are case sensitive"

Wikipedia has a good summary on what is valid. https://en.wikipedia.org/wiki/Email_address

From the second paragraph:

Although the standard requires the local-part to be case-sensitive,[1] it also urges that receiving hosts deliver messages in a case-independent manner,[2] e.g., that the mail system in the domain example.com treat John.Smith as equivalent to john.smith; some mail systems even treat them as equivalent to johnsmith.[3]

You'll find the footnote links at the Wikipedia article, I'm not going to paste the here.
So yes, if my email address is my username, then I would expect it to work the same in uppercase or lowercase. If my username is "like an email address, but not an email address" then you make the rules for your site.
On mobile, the one I use has a share button that lets you open the comment in a browser and not have to login to the apo, though you miss some customizations like notification on comment replies.
Oh, the cat's eaten it.
Is Intel 3 manufactured in the US or Ireland? https://www.intel.com/content/www/us/en/newsroom/news/new-fa...

Also, it depends on the metrics but TSMC’s N4 is a mainstream foundry logic node. Who is using Intel 4/3 outside of Intel?
From O1:

Summary of Confirmable vs. Speculative
• Confirmed by reputable sources:
1. Dates of the events (Las Vegas shooting: October 1–2, 2017; Khashoggi’s murder: October 2, 2018).
2. Alwaleed bin Talal was a major investor in the Four Seasons (including the top floors at Mandalay Bay).
3. Saudi authorities arrested Alwaleed bin Talal and other elites in November 2017 in a sweeping “anti-corruption” operation.
4. Alwaleed bin Talal eventually lost significant wealth or leverage as a result of that crackdown, though precise figures remain undisclosed.
• Not confirmed / purely speculative:
1. MBS staying in the Four Seasons above the Las Vegas shooter.
2. The Las Vegas shooting as a deliberate “distraction” from an assassination attempt.
3. Khashoggi being part of such a plot, or his execution date tying symbolically to the shooting.

Re speculations unconfirmed by reputable sources: a good place to start would be rumble. There’s much more to this interpretation of events, and I’m not wed to it by any means, but it has the virtue of explaining countless strange or unexplained aspects of the shooting.
I once had a Kinko's employee, in consultation with the manager on duty, refuse to slice the binding off a textbook because "copyright".

They were, however, willing to three-hole punch the resulting pages if I removed the binding myself.

Later that day at another, nearby Kinko's, an employee, who happened to be the manager on duty, cut and punched the pages with no questions asked other than "have you seen our selection of binders and report covers?"

This was around 2008, so many years after the corporate consolidation, subsequent acquisition, and rebranding as FedEx Kinko's.
It's a bit runny.

Oh, I like it runny.

Oh dear, the cat's eaten it.
The author of this title needs more Camembert.
I am also on my phone and found it weird that wasn't a single online demo
> That said, there are now many open source tools that allow you to plug in an API key and get a similar experience.

Yup - and the price differentials are huge. API key and deepseek…you’re spending cents a month.

So the subscriptions are mostly creature comforts like voice and websearch etc
Metrics alone don't tell you if a strategy is working in the long term. It was no doubt a highly informed opinion, but still an opinion.
No. TSMC's 4nm processes are part of the 5nm family. 3nm has been shipping for over a year, and is only fabbed in Taiwan for now and the next few years.
GNSS does in fact work fairly well even in conflict zones, but I'm not sure why you're trying to make this point. Everything is vulnerable to some level of warfare and civilian infrastructure is almost never designed with the expectation that it'll operate in a conflict zone. Are you suggesting we individually airgap all the networking equipment with local atomic clocks behind 10m of specially reinforced concrete instead?

Even the most secure civilian facilities (data centers) are fine sticking 2-3 receivers on the roof and calling it good.
My DoorDash drivers can barely tie their own shoes. So yes, probably something to this.
You might not like the take, but all I am doing is pointing out human nature and a basic role government provides.

If you don't enforce laws/proper behavior/provide safety, you get vigilanties. If you don't provide answers, people go looking, and gullible people settle for the first thing they find.
Here is a list so far:
- Designing data intensive applications

- Just Enough Software Architecture

- Domain Driven Design - Tackling Complexity in the Heart of Software (Eric Evans) I recommend this one more than Vaughn Vernon's DDD.

- Clean Architecture (Robert Martin)

- Fundamentals of Software Architecture: an Engineering Approach

- Design Patterns (Gamma et al)

- Site Reliability Engineering: How Google Runs Production Systems

- Refactoring: Improving the Design of Existing Code (2nd Edition) (Addison-Wesley Signature Series (Fowler))

- Refactoring to Patterns

- Patterns of Enterprise Application Architecture

-Head First Design Patterns Building Extensible and Maintainable Object Oriented Software and I

- https://www.youtube.com/watch?v=odxOPxYJdjg

- "Architecture Modernization: Socio-technical alignment of software, strategy, and structure"

- Software Architecture in Practice

- Documenting Software Architectures: Views and Beyond

- Head first: Software Architecture
Well for one, I am in the US. Secondly if you owned a house you can rent it out - you don’t have to sell it. It’s a better deal especially in the Bay Area since property taxes are capped.

Thirdly, I move to find better deals on rent - many places I’ve lived don’t have rent control so moving is really the only option to keep costs as low as possible. I moved states because of a job, but within the Bay Area it’s the only way to keep up a desirable savings rate.

Also, try commuting from SF to SJ every day. It’s an incredible waste of time, particularly if you don’t live near the Caltrain (and now BART) corridor.
If you have been affected by this, don't go from one tech bro service to another. Find a company ran by a tax professional. There is no viable automated solution for bookkeeping and tax now. These are customer intensive fields that require inquiries and clarification, things that AI isn't adept at. This is my field and while I do use software to automate some work, it still hallucinates and can transpose items or be unable to read data. I do suggest doing a tax extension right away and letting your employees know. Depending on the state of your books, you may need to hire spmeoen to review them and process any 1099s and W2s you need to get out.
Every round trip from the USA to Ukraine gets six stamps for me. I’m going to have to renew about five years early on this passport. I’ll get the fat passport next time.
In the case of the blind driveway situation, there's a safe, marked speed for roads with blind driveways on them. A driver (human or AI) going that speed can avoid a car pulling out from it. The assumption for higher safety is that the impatient emotional human that's late for work who's husband just left them is speeding excessively, while the AI isn't.
You can just smell the sweat, ozone, phenolic resin, and pizza grease on those photos, even after all these years.
> I am using the #1 recommended product on Buyer's Guide[1] for others who are interested.

I’m reading their “review” but I don’t see anything other than common ChatGPT affiliate link blog spam. The “review” is just generic filler content about water filtration, not even about this product. These websites just collect products with profitable affiliate links, run the description of the product through an LLM to get it into a standard format, and then drive traffic to their list to collect affiliate revenue.

This website hasn’t reviewed anything. They’re just tricking people into clicking links to buy expensive products that will give them affiliate ad revenue.

Please don’t encourage the proliferation of these website by linking to them or endorsing their rankings.
Is this sarcasm?

Rust is fine to consume, but there are also metals that don’t corrode in water.
New friends?
These people:

https://www.nbcnews.com/news/rcna185537

should not have their salary and/or bonus' based in anyway on the labor of the people they guard.
I'm also vegan and buy mostly organic products and cook at home. I get your point, though. There's only so much we can do. The tofu I eat daily comes in plastic containers, unfortunately.
Taiwan has a law barring the export of technology more than one generation behind:

https://www.taipeitimes.com/News/biz/archives/2024/11/08/200...

The article mentions that Arizona was set to ramp 4nm, which is presumably what they have now.
I’m not familiar with this buyers guide site. Is it critical rankings by a human or some sort of automatic ranking / SEO spam?
https://github.com/esp32-open-mac
My father see his college and high schools friends in teashops almost everyday. They just sit, sometimes eat. All come and go. No long term planning. Just phone calls.
He was not. He was unmatched from round 10. He could continue to play after that if he corrected his attire.
But they don't have to target individual musical acts or individual songs for replication to drain their purses. Time spent listening to Spotify's own-brand lo-fi is time not spent listening to playlists full of expensive third-party musicians, including musicians in whole other genres. And if they did want to make and promote close covers of individual songs then they'd probably call humans: people are already very good at that (many such covers exist already) and (IANAL!) the legal risks are probably smaller and better-understood. After all, copyright defences of unlicensed generative AI seem to rely on the notion that its output is transformative, but presumably it would be hard to make that claim when you ask an AI to produce a near-exact replica of a song you put into its training data.