skysight-inc/HackerNews huggingface dataset:
Respectfully, to expect to use AI to solve a problem created by using AI, is wishful thinking.

We haven't even solved the email spam problem, and that started 30 years ago! We have simply accepted that the largest players in the business (MS, Gmail, Yahoo) will decide on our behalf which emails we will actually see. If you want to start your own email service, fine, just keep in mind that the big players might think you're a spammer.
> “This was made possible with the participation of 42 accredited investors”

Same impression here
Interesting, for once this doesn't have anything to do with the GDPR. It's by 16 (US) individuals, filing the complaint in SF.
You also lose knowledge gained through building the PoC.
Emacs. Either native or WSL, both are fine.
That was normal 25 years ago.

These days that puts you in a "suspicious person without phone on them at all times" category.
Well, it was too good to be true. Reminds me of the early days of music sharing and Napster.
I'd hope so, because I calculated the 350 from the other 3 numbers xD
https://news.ycombinator.com/item?id=36519256
Hard to understand how this is a crime, or how they came up with 3 billion dollars of damage.

Seems like if it's legal for a person to do it should be legal for software to do for the most part.
If you want true accuracy you're going to need to track the car 24/7 which would be unpopular.
W is for East. What a country!
> then you have to explain why they have not already done so

That may be easy: there is a lot of competition in the market. If one company raises their rates too high above others, it is very easy to switch. Lots of people switch every few renewals, chasing a cheaper price.

With the individualized data, they can selectively raise their rates and either take more in from those customers, or get them (and just them) to flee. All without having to wait until _after_ an accident.
> I don't think it's wrong to take yourself down in a crazy unproven sub, even if you die.

I take your point and I dont quible that in hindsight the mission was reckless.
But just to bring some more information to the debate, OceanGate had previously taken the Titan to this depth to visit the Titanic. So, it was "proven". The german entrepreneur who is in this [1] article claims to have visited Titanic twice in the same sub.

[1] https://nypost.com/2023/06/21/former-titanic-sub-passenger-d...
Indeed, Racket is a platform for active academic research in both computer science education and programming language theory.
A few questions:
1. Given the existence of FOSS alternatives, is it important that these apps live as part of AOSP? It seems to me that this is an improvement as a bad default is worse than no default.
2. Given the apps were not maintained by Google, did anyone else volunteer to maintain them? Has anyone tried to upstream an alternative app to AOSP which will be maintained?
If I really didn't want to be interrupted I'd read at the library, a cafe or at home rather than a public house. If I wanted to read with the bustle of people around me then I'd probably opt for the bus station.
AR Startup Brilliant Labs Gets $3M Seed Funding from Oculus and Siri Co-Founders
> by not having nearly as many externalities (pollution) as gas drivers

Depend where you get your electricity from. Also most of car pollution comes from tires and brake dust, which EV create more of given their weight and torque

https://www.theguardian.com/environment/2022/jun/03/car-tyre...

See, we can play this silly game all day long or just all chip in.
That’s a very cute argument, but it doesn’t pay for the roads.

Also, having lived in a city I can tell you that brake dust and tire wear is also a big part of car pollution.

Unless you want 100% toll roads, we need to come up with fair-ish way to tax EV road use.
It means a resilient electrical grid will be large and made up of a variety of generation and storage methods in a variety of locations.

We already do this with other forms of energy production; coal, oil, and gas burning plants need to go down for maintenance, which means we build more capacity for that too.
Using ChatGPT to Create Software Tests
I imagine it would have a detrimental effect on most things, except maybe power generation behind thick concrete walls
Nothing enrages me more than an iOS app whose password requirements don’t work with iOS’s default password generator. Apple should fail their app testing.
While I also want to believe that everyone gets to where they're going via Google, I'm squatting a domain for a really popular site in an esports niche I follow as a little experiment to test the hypothesis... apparently according to Cloudflare it's served 562 Unique Visitors / 2.58k Total Requests in the last 30 days.
Would love to hear your hack if you're willing to share.
Apple Watch 8 is rated at 18 hours mixed usage. My Venu 2 is rated at 20 hours with the GPS on the entire time. My experience bears that out. I lose about 5% an hour battery when tracking my bike rides. Mixed usage, I'm getting 5 days out of it.

Apple said their GOAL was 18 hours (mixed usage). Good grief.
8000 token essays are, but beyond that it can't keep coherence.
So, basically Sturgeon's law, where 80% of everything is crud, and now we got a huge crud heap, but also lot's of shining gems besides it?

I'm not that sure about that, mostly because I'd say that the actual quality of something is orthogonal to the featuritis exhibited quite often. For one, all the shiny new features of something might actually be very good. And a change breaking compatibility might be the good design choice - getting it right the first time or having to drag Sisyphos' rock along for eons shouldn't be the two possible outcomes.

It's a trade-off, especially when you consider the other 80/20 split here, where 80% use only 20% of features, but different 20%...

In our days of easy release cycles (just tag a release, finish a sprint etc.) and easier communication (issue trackers, emails, social media) and contribution (open source, pull requests), we're just upstreaming more workarounds and library additions that would've happened in your local projects.

I have an easier time accepting this in libraries. They're malleable, maybe even ephemeral objects you handle when working on your project. Maybe a bit loosey-goosey these days, never mind the tendency to hop between frameworks/libraries, but well, we never got our true component system where you can just extend existing libraries that then remain untouched.

But languages operating in the same way still rubs me the wrong way. I'd prefer to have a more solid foundation, not mutating turtles all the way down. But after C++ unleased the feature genie, it's hard to put it back into the bottle again.
I keep seeing articles being pushed that the victim's families have no case. But with the whistleblower lawsuit, the conversations and tweets, the CEO seems to have just skipped engineering warnings and worked harder at convincing people. He convinced people that dangers he knew of weren't dangers. I don't think that can get waivered.

Then one of the articles has a sub-title saying that the families will have a hard time finding a lawyer to take the case. I'm pretty sure the billionaires can find a lawyer for this if they choose. They could have lawyers lined up around the block working on contingent for the high profile nature of this and the possibility of getting work with billionaires.

The only thing holding back lawsuits would be the lack of potential payoff.
Canada is crumbing and desperately trying to solve the problem with immigration.

Do yourself a favour and don't fall for it.
Because most, if not all, users of a paid engine are real people it could be possible that the quality would actually be better in the long run since there would be less manipulation.
After years of worrying about the worst-case scenarios for climate change and then Covid, I ran out of worry. I'm nothing but excited about generative AI, even if it does take my job. Beyond the financial anxiety, I wouldn't want to do a job that AI could do as well because of a law. That's just mandated busy work.
If someone can't even get an insurance quote, that is a very bad sign by itself that what they're proposing is already too risky.
All 5 of them are now world famous. That is worth something I imagine.
Cars get totaled by much smaller hail. I’ve hidden under a bridge when a green storm came by.

And Nebraska is mostly empty so much falls on nothing.

Roof insurance pays out and crews come from as far away as Arizona to feast and the cycle continues.

These big hailstorms seem to be once in ten years or so.
Yes :) I don't think there are many of them in a simple echo program, and I guess the runtime is compiled when it's shipped.
Show HN: Web Developer Tools
You could say the same about Elon Musk or Nokola Tesla or many others. Just sounds like pure survivorship bias to me. "This crazy innovator died so clearly future innovators should listen to the experts!".
> Rust has Design by Contract capabilities via the contracts crate

And C++ has reflection using boost ;)
That's pretty cool, it might be possible to apply some redundancy to it.
It’s cheaper to just replace the panels if it happens (and probably get a capacity upgrade)

Even clear glass heats up so it takes some of the energy the panel wants.
Do you eat red meat ? sugary drinks ? do you exercise ? Do you have XYZ gene ?

You're costing X times more to the system because you're diabetic/obese/predisposed ? You should pay more!

That's how it sounds, and if we want to live like that we can go back to cavemen times, because we didn't built societies to play this silly game
According to https://stratoflow.com/efficient-and-environment-friendly-pr...

Racket ranks far ahead of languages like TypeScript, Python, and Erlang in terms of energy usage, but trails languages like C, Rust, Ada, Java and Common Lisp.

I think, however, there are probably other factors in your computing solution that has a bigger energy impact, like what processors you run on, the architecture of your program, etc.
If by "better" you mean "more profitable search engine, the user be damned", then sure.

As a user, I've found Kagi is much better than free search engines. With DuckDuckGo, I often found myself reverting to Google. With Kagi, almost never.
I’m sure it’s not the case that any random person can get a quote for something like this, but in the case of Titan the people who can afford the $250k ticket probably can.
That makes sense. I initially read it as "absolute value." Which, admittedly, doesn't make sense for an array, but is a reasonable interpretation at first blush.
Unfortunately, IMHO Clojure’s maintainers hold an iron grip on the language and actively limit the growth of an ecosystem around it. See “Open Source is not about you”.

It’s too bad, because itself is really terrific.
Well.. I don't really know. I know that the copper drain plumbing in my house was failing and needed replacing and it was a lot younger than many abs installations in the world that are just fine?

It certainly could be the case that something like spray foam degrades over very long periods of time.. but you'd have to figure the savings from the enhanced insulation value over that period would more that pay for its replacement.
Well, at least it’s not Rust am I right fellas? Hahahah

(I like Rust.)
> Insurance companies may think you’re a higher-risk driver if you’re accelerating fast, braking aggressively, making sharp turns, using your phone while you drive, coming home at 3 a.m., taking dangerous roads or simply driving a lot.

Is there any proof that any of these behaviors actually correlate with tangible risk? (I mean, I can understand that "simply driving a lot" increases risk.)

Personally, I'd be more interested in cars with cameras using machine learning to build a risk profile of other cars. I'm not the only person who sees dangerous behavior all the time. It would be interesting if I could sell a stream from my cameras to a company that builds risk profiles based on observed behavior.
1T/300M is 3K which isn't much if your the writer that gets replaced.

One problem is everything is copyrighted.

$0.001 per word
Agree. Apple’s default password generator has always seemed to strike a sane balance - plenty of entropy, technically contains special characters (-) but nothing that needs escaped, and very typeable or readable.
You are conflating lack of regulations with lawlessness. If literal anarchy was the alternative, then you'd have a point.

Anyways, the device in question would simply not have existed if there wasn't for competition. His comment is thus evidence of its content being false.
I'm a recent Kagi subscriber. Glad to see there's a generally positive reaction to this. I'm still trying to break the anxiety of "I only get a certain amount of searches per month" but I am glad to be a part of the service.
Call me cynical but I don’t see why the EU would push this apart from attempts to snoop and control peoples expenses.
Yep that pdf can be made using ms word
> The compiler still cannot tell when our loops will terminate (yes, this is possible).

Isn't this just the halting problem? Sure, for simple cases compiler could do it (in Java I guess my IDE will do it since the compiler doesn't care), but in the general case, how would a compiler figure this out?
Slint 1.1 Released for This Rust-Tailored GUI Toolkit, New Royalty-Free License
Just checked on MacTracker -- yes, the 5,5 Pro had firewire; it's immediate predecessor was the Macbook (no pro) 5,1, which didn't have FW but had the removable battery -- the 5,5 added Firewire.
To some extent. "Mistakes were made" as they say. But its a lot more nuanced than that.

Metal fatigue is understood because we have a mechanistic understanding of what it is, how fatigue accumulates, and how different metal crystal strictures respond to fatigue.

We know, for example, that metals like aluminum will always fail from fatigue given enough loading cycles, no matter how small the applied stress.

We also know that other metals, like iron and titanium, have a "fatigue limit" below which fatigue doesn't accumulate and these metals can endure infinite loading cycles.

We have, to some extent, the ability to repair metal fatigue.

We build airplanes from aluminum knowing their aluminum hulls and wings will fail (whereas if it were built with Ti fatigue failure could be eliminated) because metal fatigue is very predictable and we can withdraw a hull from service after a regulatory determined number of landings.

So yes, until we developed our current understanding of fatigue, people died. But, often, this was from a callous disregard to traditionally accepted safety factors by cowboy "innovators".

(Im a materials eng. PhD in polymers w/ background in Eng. Phys. Im not a metallurgist for what its worth)
If Schrems is on the case, they may as well give it up now.
The last one seems odd, being nice is not a maximization problem it's an optimization problem. Too nice and you're a doormat too mean and you can't get a long with anyone. So be as nice as you need to be I say.
True, but there is a way to prove the detractors wrong without killing people: lots of testing.

They just put people on this thing way too soon.

Take space launch for example. Every significant part of a rocket is tested to destruction multiple times unless it’s already flight proven, then the whole rocket is flown many times before we consider putting people on it. Still dangerous, but this makes it not totally insane.
It's okay. Bad textbox fields like this are everywhere :-)
It seems like it could be a "waste" to make a hash or sorted list only to throw throw it away after one use. Depending on what's required.
It’s true that doctors are limited in what they can do without a physical exam. But a lot of doctors’ appointments are for things that can be handled remotely, such as renewing a prescription.
Verification of onchain protocols seems like a great fit.
Yeah, baseball sized hail is not a normal thing in my area. Marble sized hail is the normal large size with pea sized hail more frequent. So when the weather alerts start telling you a storm has a history of tennis ball to baseball sized hail, it's one you look to avoid. The marble sized hail is enough to ding metal. Golf ball sized hail will damage trees and smash glass. I've never personally experienced baseball sized hail, but on the day that I ever do, I'll have to question what I did to piss off god to that point.
Contracts for C++ have been proposed:

https://www.reddit.com/r/cpp/comments/cmk7ek/what_happened_t...

Not sure if / when they will land:

https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2022/p05...
> OceanGate had previously taken the Titan to this depth to visit the Titanic. So, it was "proven"

This reminds me of an old joke about an optimist who falls from a 40 story building. As he passes the 30th story he thinks to himself, 'so far so good!'
Like operating motor vehicles, carrying guns in some US states, sueing people and companies, submitting content to wikipedia, writing children's books, and writing and voting on laws?

Surely, there is some pretty large subset of things where "if it's legal for a person to do it should be legal for software" does not hold up?

So how about the default is "not allowed"
I think you are on the path that is how this will actually be used: It gets added in little bits.

I could be rigid enough with my types to prove more than I do. I don't because the payback isn't worth the effort. When it is worth the effort, then people will (gradually start to) use it.

> When doing embedded work, I use some of these to make sure algorithms stay within the limits in a way that they won't compile if they don't.

Could you be a bit more specific here about what you do, why you do it in embedded (and not elsewhere), what it protects you from, and how it does so?
In that case, I'm glad that it's covered.
It's usually the result of deprecations that have warnings for several releases before being turned into errors. But there have been a few more deprecations lately than previously. In at least one case (disabling "alias this" for classes), I think Walter expressed some sympathy since there isn't always something obvious to do instead.
Truly awful situation, but at least it seems he sought and is getting professional therapy. He can rightfully be proud of his accomplishments at such a young age, and no horrible individuals in the community can take that away from him.

At this point, he should probably take a total sabbatical, including from HN and all social media, travel and recover.
That's a good point, an analogy with Elon and FSD sort of works.
I've had a Steel HR for 6 years (Nokia branded) that I bought of eBay for £50. Steps and activity tracking works well, sleep tracking mostly works. Battery still lasts a month easily, has shown no signs of degradation.
Quite a lot of folks in Ukraine aren't exactly known for strictly complying with every regulation. There's undoubtedly a huge number of military age men that left regardless, especially among software devs.
so nuclear power plants are safe. got it.
Congratulations! Father of two here. As a new dad I found that I didn't know the first thing about babies, but newborns smell great, no kidding. Based on your desire to learn about the process, you'll be a great dad.

Listen to your wife, she's better prepared than you are. Just try to enjoy the ride.
> I wouldn’t guess the main AI problem was “it generates convincing low-quality blogspam”.

Why not? This is the lowest-hanging fruit there is, and the open web's sole method of monetization has been ads.
I’m guessing that change will be eliminated by congress. It’s sort of an unthinkable disaster that will find a compassionate ear on both sides of the House.
Hah, this is new... are you really blaming the sun for the heat?
lol, yeah, been there.
Google Logging Library
New comers 5 years experience systems engineering. Just like your typical entry level job listing.
Well, Musk is an interesting example. I don't see him strapping himself to one of his rockets until he is darn sure it's not going to blow up.
> Internet archive snapshot the whole page while google only index the first few kb of text data

Is that a good way to build an index?
First they came for the graphics artists, but I did not speak out because I was not a graphics artist.

Then they came for the writers, but I did not speak out because I was not a writer.

Then they came for me, and there was no one left to speak for me... well, except ChatGPT.
Yes, that's true, but in general programming is not easy, especially when there is something at stake (so probably most professionally written software) and as i'm work as an enterprise troubleshooter mostly in banking/insurance/trading, the depressing amounts of javascript/typescript code I encounter that should never have been put in production, while I hardly ever encounter bad f#, ocaml, rust, haskell or c++ (modern versions). Sometimes it's not excellent, but it's never as bad as the vast majority of nodejs running projects. The programmers of the latter are far more rigid, because it's hard to do anything, but when you do, you get rewarded. People learn JS in 2 days, slap on :any and blam, typescript gurus, get a job, create a system that processes millions$ and then leave for the next 'adventure'. People who invest in rigidity create better software. But yeah, they are far thinner in the 'get shit done fast' arena.

So yes, I agree, if you want something done quickly and don't mind if it expires a few months later, you don't grab haskell, rust and definitely not a dependently typed language or proof assistent.
Maybe.. I’d wanna try a few more times
Ask HN: What are my options for working in the US as a European?
Dear community,

thank you for inspiring me to improve my life. Today I am living the life I dreamed of 10 years ago. Except I am living in Europe and not the US. What are my options to migrate to the US?

About me:

- I am in my late 30s.

- I don't have family so I am flexible and willing to work long hours.

- I hold a master's degree in computer science from a respectable northern European university, but my grades are undeniably average. - I have only a couple of years experience as software developer.

- A pro forma marriage for a spouse visa is not an option for me.

In my research of obtaining a working visa I have identified the following options:

- DV: I have applied for the Diversity Visa for a number of years and will continue to do so, but I can expect to be dead before I succeed.

- H-2B: I always search through the "Who's hiring" threads for "visa", but it seems nobody is sponsoring H-2B visas anymore.

- F-1: I have savings so I am considering if I can get another degree: either a one year master's or a three years Ph.D. in a related field such as software engineering, and get access to the US labor market on a F-1 visa. My understanding is that this is popular among the Indians and the Chinese. I know of nobody in my country of origin who have done this, so I don't know where to start. Do I just call a random US university?

- TN-1: Through Canada/Mexico: By gaining permanent residence in Canada I can eventually apply for citizenship, provided I have been living in the country for at least three years (1095 days) within the five years preceding the citizenship application. Once citizenship is attained, I can move to the USA through the TN-1 visa, given I obtain job offer at an US employer.

Would these work and do you know of any other approaches?

Thank you for reading.
I believe it’s both really. My understanding is the end caps are bolted to a titanium flange, not the carbon fibre hull directly. The titanium flange the caps are bolted to is epoxied to the hull.
interestingly the entire country of Maldives falls inside the marked area, a country with islands 2m above sea level.
Nobody is assuming "extensive maintenance checklists" are _preventing_ serious malfunction. They do however reduce the risk for such events to occur to an acceptable level.

The likelihood for a malfunction is never zero.