skysight-inc/HackerNews huggingface dataset:
I am a webdeveloper with 5 years experience writing code, 2 years python and last three 3 years working in Ruby on Rails. Interested in new opportunities and very open to learning new technologies and languages.

Location: Amsterdam, Netherlands

Remote: sure or hybrid

Willing to relocate: no

Technologies: Python, React, Ruby, Ruby on Rails, REST APIs, PostgreSQL, JavaScript, Google Vision, PowerBI, Azure

Resume/CV: on request

Email: See profile
Until someone gets mineral rights to your wilderness and goes to strip mine away
What is a type system except a bunch of proofs? You can encode some program correctness properties into types. Elevating the ones you happen to be able to encode and calling them "safety" and the rest "correctness" is just marketing.

I am not creating a gold standard because as far as I am concerned, it is all just correctness. There aren't morally more and less important correctness properties for general programs: different properties matter more or less for different programs.

>Without any mutation of any kind, you can’t even allocate memory in the first place (how do you think a memory allocator works?).

data L t = E | C t (L t)
data N = Z | S N

nums Z = E
nums (S n) = C (S n) (nums n)

You cannot express a reference cycle in a pure functional language but they still have allocation.

However I don't know why I brought this up, because you can also eliminate all memory leaks by just using garbage collection - you don't need to have immutable and acyclic data structures.

>Again, Box::leak is 100% safe and requires no unsafe at all. Same with std::mem::forget.

#[inline]
pub fn leak(b: Box<T>) -> &'static mut T {
unsafe { &mut *Box::into_raw(b) }
}

They are implemented using unsafe. There is no way to implement Box without unsafe.

If you retain a reference in a global then it is NOT a memory leak! The variable is still accessible from the program. You can't just forget about the value: its name is right there, accessible. That is not a memory leak, except by complete abuse of terminology. The concept of "inaccessible and uncollectable memory, which cannot be used or reclaimed" is a useful one. Your definition of a memory leak seems to be... any memory usage at all?
I am shocked by this myself, but facts are facts.

There's also a great social net, free education + student allowances, and plenty of work. I have got no clue what the original poster of the main comment meant by broken economy.

Absolute lies and disinformation coming from the ex-allies of ours.
> Fuchsia isn’t trying to replace Android. Its survival for over a decade—through layoffs and with hundreds still working on it—says a lot.

Says a lot about managing to cling onto another product as a dependency to save the team from cancelation. Gotta thank the Directors for playing politics well. (Dart also played that game.)

Does not say much about necessity. Won't be surprised if it gets DOGE'd away at some point.
Oh, the leadership keeps saying that MacOS is separate from iOS and they care about MacOS.

And then they keep adding iOS UIs into MacOS, produce horrible laggy iOS-optimised software for it, and call it a day.

Actions speak louder than words.
The analogy makes no sense. Small docs aren't like small code commits. Small doc commits are like small code commits, and I agree you don't want to commit walls of text. But that's because commits are deltas - they can be small, because they're not standalone - they make no sense without the underlying (large) codebase being available to the reader.

So where the article proposes:

> Self-contained context

> Include all the necessary background so the reviewer doesn’t need to dig into other docs for clarity

That means, by necessity, that your "small docs" will either be so shallow and context-free that they're not worth writing down in the first place, or will be 90%+ context copy-pasted from one "small doc" to another, at which point you might want to just merge them into one bigger doc and introduce a hierarchy. So, just like code.

(And reviews are always the bottleneck for code, too. Similarities abound.)
The Case for Minimal WordPress Setups
Yeah, that’s a bad assumption. Cheap EVs tend to use chemistries with a poor energy to weight ratio, but those chemistries are relatively long lasting (in particular see LFP). I’d bet on a cheap electric car made today lasting longer than a high end one 5 years ago for this reason.

Some brands (in particular Tesla has done this) even use LFP in low-end versions of a single model, and NMC in high end.
Anthropic's valuation triples to $61.5B in bumper AI funding round
"I didn't have time to write a short doc, so here's a long one"
Do you use recover() a lot? I have never used it much, I guess it is important in some cases but I don't think it's used that much in practice, or is it?
Not stopping an aggressor is an actual fueling endless war. Looks like people forgot "deals" with Nazis, "Peace for our time" history lesson.
I don't want any goddamn reports!
The Wonki Collective | London, UK | Hybrid | Full-time | Full Stack Software Engineer | £70,000-£110,00 +equity (depending on experience)

Hi there, want a role with real impact? Join our mission to empower food manufacturers to eradicate supply chain food waste. We've raised our pre-seed and are backed by a £1.9M government grant to build an innovative AI driven software to support with the identification and intelligent reallocation of food. We’re looking for passionate problem solvers who have experience building and scaling web applications.

As our first FS software engineer you get to use your favorite tools and build from scratch (working with our data scientists to integrate our optimisation models).

Send your CV and a 60 second video about why you want to work with us to dini@thewonkicollective.com :)

Full job post here: https://www.linkedin.com/jobs/view/4165291061
I'm not an expert but it seems it also lowers PFAs.

> In this randomized clinical trial of 285 firefighters, both blood and plasma donations resulted in significantly lower PFAS levels than observation alone. Plasma donation was the most effective intervention, reducing mean serum perfluorooctane sulfonate levels by 2.9 ng/mL compared with a 1.1-ng/mL reduction with blood donation, a significant difference; similar changes were seen with other PFASs.

https://pmc.ncbi.nlm.nih.gov/articles/PMC8994130/
They didn't actually change anything, they just tried to clarify what had made people panic about things they never intended to do.

At least, that's how I read it. IANAL.
The thing is you can calculate when there will be short falls and you can amount to that perfectly.
We now know the weather pretty much 1 day before it happens. adjusting that 1% of course amounts to maintaining natural gas facilities but it's really not that big of a deal.
It's really surprising then that you had such a bad experience with PS3 emulation specifically at least, the i5 9400F was a go-to recommendation there for a very long time, basically ever since that processor's release (6 years ago).

It was in last August they bumped their system requirements to the i5 10400F. Nearly all of the games marked "Playable" in their compatibility list should be plug-and-play territory, with mint performance.

What were the games you tested with classified as? Did you try to seek help on their community space(s)?
Even if it does...are you registering companies for hobby projects?
While I agree that it's Tim Cook's responsibility to set the course and influence the culture, I doubt a new CEO will be able to so.

I'm not saying nobody can be like Steve Jobs, but Steve Jobs was an anomaly when it comes to C-Levels, and even when it comes to management in general, at least from reading things like www.folkore.org and interviews with people who worked with him.

And I'm not even talking about talent or vision or whatever, it's just about saying no to pointless features that are there for someone's ego or so that someone can get a promotion.
Some of it’s probably genuine. The oil industry has been pushing this particular lie in various forms for about half a century (comically, it’s a claim that they would sometimes make about _nuclear power plants_), and it has sunk deep into the culture.
There is no reason why YCbCr should be visually worse than RGB if the conversion is accurate
Game changer is getting right up there with the worst of engagement bait. Since I'm on the topic, way too much "everyone missed" and "everyone gets wrong" in titles recently.
It's not just the OS itself, where some of the slowness can at least be explained by the silo-ed nature of development and the large amount of moving parts. But even when MS gives a small-ish team free reign and a fresh start, the software is just agonizingly slow and buggy.

An example: new PowerToys https://github.com/microsoft/PowerToys/

The FancyZones "window snap" UI takes upwards of half a second to activate when dragging a window and the Zone Editor is at around 5s. All in all it is only very slightly less buggy than 3rd party tiling WMs like komorebic.

The PowerToysRun utility input is extremely variable, takes between 1 and 20(!) seconds. A lot of the plugins shipped with it simply don't work or have no suggestions/hints once you enter their prefix. The search relies on WindowsSearch, which is about 500x slower than https://github.com/sharkdp/fd and has not improved since Win7. Who cares, nobody ever searches for files, right? As a whole, PTRun is simply worse than https://github.com/Flow-Launcher/Flow.Launcher which uses the same UI kit as far as I can see. WTF?
The login screen and start menu both require a key press to start the process (enter pin or start typing search term) and both then drop all subsequent keystrokes for an indefinite period until they’ve finished initialising, displaying, and maybe phoning home and loading ads. It’s infuriating. It turns a simple open-loop “press win key, type search term, enter” into “press win key, wait for visual confirmation, type” which adds both computer latency and your own reaction time to the overall time taken.
Has someone automated this yet? I mean archive every post then post the archive link if the post is "hugged-to-death"?
They're essentially owned by Google through a contract both cannot refuse, because it keeps the "Google isn't a monopoly" narrative while allowing Mozilla to stay afloat, therefore I wouldn't expect them to do anything that could harm the agreement with Google, like real competition.
Too much Russia Today narratives here
The webpage is nigh unreadable. A snowstorm, in March, over dark text on a dark background, with unstyled code.

Look for the snowflake on the top right and click it to restore the default look.
It still doesn't make sense unless that info is going via mozilla's servers. Software running on your PC doesn't need permission to process and send data that you are giving it, to send it to the places you intend.
This was discussed before on HN.:

> in some places, the LEGAL definition of “sale of data” is broad and evolving. As an example, the California Consumer Privacy Act (CCPA) defines “sale” as...

And then they go on to describe what a common-sense definition of a sale is. There's nothing broad or slippery about the example, so yes, they basically say "we're going to sell your data"
I programmed in Go for 5 years (stopped 2 years ago) and didn't even know the language had recover() until 5 minutes ago.

I used panic() all day, but never recover. I use panic for unrecoverable errors. I thought that's why it's called "panic".
What percentage of the world's countries will still respect the US's extradition treaties in 4 years?
With that logic, any country too small to fight its neighbors should be taken over, their citizens killed, their women defiled. What planet are you from?

Would you like to live in a world where the strong can do anything they want? Or do you want to live in a world of laws, where alliances protect groups of countries who want to provide their citizens with safety, economic prosperity, etc.
> So what sex should we describe them as?

Females, they produce large gametes as part of their reproduction strategy.

You have twice argued for secondary characteristics to determine sex when reproduction strategy more than adequately describes the reproduction process, and we can then rely on our understanding of secondary sex characteristics (which can include behaviours) and their distribution (bimodal in humans) to apply them to things like whether mum or dad raise the children and oh, my, how interesting that is.

> The words they use are sex-related traits and genes associated with sex, in order to describe how traits and genes can then go and provide a variability in sex

They do not produce a variability in sex but in traits and behaviours associated with sex. Reproduction strategy, basically, gamete size, determines sex. That's that.

> I would not use the word masculine to describe a fish or a bird

And?

> Sex identification of animals is diffused enough that its only a rough approximation to what kind of gonads that they have

I will repeat, reproduction strategy is the determiner, for 95%+ (probably 98%+) of animals - that means gamete size. Gonads are a very good determiner, but they are still a trait and that means that in a small number of cases (around 0.018%[1]) they are ambiguous. That does not, in any way, contradict their actual sex as determined by gamete production, the fruits of emerged *reproduction strategy*.

I suggest you stop looking for a way to get around reality, whether that be by sophistry or ignorance.

[1] https://www.leonardsax.com/how-common-is-intersex-a-response...
More common than you'd think...
I cannot reproduce that Notes crash.
Seems like Intel got caught with their gyatt hanging out. That said, Ben's plan seems unworkable: why would any company want to use worse accelerators, with the stipulation that their work is open source? Creators unilaterally have their work thrown down the skibidi toilet–but only if the chips are American? Who is going to check that?
A modestly sized list of WiFi networks (30-40 items) slows down and stutters while scrolling on a M4 MBP. SwiftUI is a performance disaster, and I refuse to use it outside of toy single screen projects
SEEKING WORK | REMOTE | WORLDWIDE

Location: Serbia, GMT +1

Remote: Yes

Technologies: React, Next.js, JavaScript/TypeScript, Node.js, Astro, TailwindCSS, Jest, Cypress, Prisma, PostrgreSQL, MongoDB, Docker, C#/.NET

Resume/CV: Available on request

GitHub: https://github.com/nemanjam

LinkedIn: https://www.linkedin.com/in/nemanja-mitic

Email: nemanja.mitic.elfak [at] hotmail.com

I am a full stack developer with a Master's degree in Computer Science and 4.5 years of professional experience with JavaScript. My top skills are React/Next.js and I am also good with Node.js backends. I have decent experience with C# and .NET but currently it is not my main focus. I have a decent understanding of DevOps technologies (Linux, containers, IaC, automation) for a developer. I also have interest an in Python and FastAPI.

Here are some of my projects:

1. Comprehensive project: full stack Next.js, Prisma, unit, integration, e2e tests, CI/CD.

https://github.com/nemanjam/nextjs-prisma-boilerplate

2. Latest project: HN job ads aggregator, Next.js, SQLite (GitHub and demo links are in the first post)

https://news.ycombinator.com/item?id=42373936

I have experience working remotely for startups within globally distributed multicultural teams.

I have detailed resume available upon request. You can check out my other projects at https://github.com/nemanjam . You can tell me about your project via email: nemanja.mitic.elfak [at] hotmail.com or connect with me on LinkedIn: https://www.linkedin.com/in/nemanja-mitic .
Nuclear weapons are a scary prospect, that def plays into what can be done. Finding that line is not something that is easy.
Grok is having various issues when connected from Seoul!
Makes me think of arguman[1] and kialo[2]. I discovered arguman maybe 10 years ago and have been thinking about it ever since. It's non-functional now but the source code is available. Maybe it's just my wishful thinking, but if we could map out every detail of an argument, maybe we could make progress faster, as a species. If this were incentivized well (like for instance polymarket), maybe with crypto rewards or something, this *could* take off.

[1] https://github.com/arguman/arguman.org - the website exists but is non-functional now

[2] https://www.kialo.com - feels like a dumbed-down version of arguman
Universal truth
They are already drafting an end to sanctions, which is unbelievable.
Perhaps the only good thing he's done so far is unite Europe, but it remains to be seen if we've actually been roused into action. The US has shown itself to be an unreliable ally and we need to be able to fend for ourselves now.
I honestly don't understand the insane levels of hate that Mozilla gets on HN and certain other corners of the internet. More than the most evil corporations on earth. I can only assume some of it is politically driven.

Firefox and Thunderbird are two of the last bastions of functional, accessible FOSS software in their respective spaces. The software landscape would be a lot more bleak without them.

It's important to hold Mozilla to account given their role (and this TOS roll-out was clearly a screw-up whatever way you look at it) but the amount of people jumping in saying that they are irredeemable now, that we must now stop using their software even if they backtrack on this, is counterproductive. And honestly I suspect a lot of the people saying that have also been saying it for years before any of this happened.
I have been saying this for years: consistent deterioration of ACs/DoDs. There is no limit to scrum and especially the constant refinement to ACs/DoDs.

Yes, you may implement a solution more efficiently by not overengineering it. But at some point constant seek to reduce "complexity" so that more features fit into sprint (funny how story point measure complexity, not time, but sprint is sized in both time and SP capacity) is bound to hit feature completeness. Once you cross over that metaphorical Rubicon it's game over - quality starts to slowly go downhill.

You will not notice it immediately. That edge case that was ignored may not surface for months or years. It may take several idiosyncrasies to line up for a feature to be declared FUBAR. At some point that technical debt does bite you back, but at that point the process (tm) has already optimized away most if not all opportunities for deep refactorings fixing previous rushes to deliver.
Hey, I didn't say it was a great reason! :P
Pg_auto_failover: PostgreSQL extension and service for automated failover and hi
I am also very hesitant on buying an EV. Next to spyware - which is also a problem on my phone, I struggle more with the problem of having a built-in obsolescence.
Any device with a dependence on an App, iOS is sooner or later going to force you to buy something new.

I love working and riding 20-30year old bicycles, sailboats, or even an old Toyota Jeep. Less dependency on software compatibility.
This is why Linux works and is good and most other kernels are slow and don't work. Linux has been optimised over the years based on how software actually works rather than fantasies about how it would work it we got to rewrite the world.
This is an amazing piece. It explains a lot behind the relative stagnation of technological innovation. Peter Thiel has been talking about this for a long time too - https://www.youtube.com/watch?v=jX07zPupNdc

I love the idea behind your website too - the PDF format works wonders for reading.
Show HN: Funny AI Generated Images
VoiceOver user here. I experience a ton of small to medium issues since my first OS upgrade. In my book iOS 5 was the last relatively bugfree version I used.

* Around iOS 8, the back button in Safari would crash voiceover. Bug was fixed with next OS update, so I had to deal with it for at least 8 months.
* Since roughly iOS 11, VoiceOver cursor will randmly jump away from the currently selected item. So you actually never know what you will invoke when double-tapping.
* My Apple Watch requires a different way of tapping for the first time I enter my passcode after battery was empty. This bug persists even after completely unpairing and re-setting up.
* With previous Watch OS, I accidentally tried to download the premium voice from within the Apple Watch App. Apparently, thats not how this is supposed to be done. However, the single attempt to use the watch app to do this, I coulld never successfully download the premium voice from the watch directly again. Something whent stuck, and the menu item doesn't even appear on the watch.

And these are just a small selection of things I could explain in a single paragraph. I could actually write a book about small to medium bugs I experienced with Apple Software in the last 12 years. For instance, sometimes you need to tap a boolean setting three times for it to toggle. If you have an eye for bugs, you see one per day on Apple devices...
Has anyone tried this on real hardware? I've searched for videos on YouTube but haven't found any.

Would love to see it running before I go searching for my old GameCube to try it myself :)
It seems like what is happening is not Firefox now making a pivot to the privacy unfriendly side, but Firefox has already been selling data, but in a manner that---for whatever strange reason---they didn't consider to qualify as "selling data", and hence the original Terms of Use included the promise of "We never sell your data". Then lawyers came along and told them that this just wouldn't fly legally, and they have to change their terms now.

Even now, Firefox still doesn't consider what they do "selling data", and they are forced to change the wording only because the laws are weird.

Frankly, I just don't see how sharing data to partners to make yourself commercially viable can be construed as not selling data. In their own words, what Firefox does is:

> In order to make Firefox commercially viable, there are a number of places where we collect and share some data with our partners, including our optional ads on New Tab and providing sponsored suggestions in the search bar.

We could argue about whether the laws are slippery or over-reaching, or how responsible or not Firefox has been handling user data. We could argue about how much anonymization and aggregation of data reduce privacy concerns.

But to argue that the above action is not "selling data" is in my view not a reasonable position.
Fair. I just really dislike when someone actively starts bullying others and talking down on them. Especially when the life in their own state is just, objectively, by most metrics, is worse.
I would say they are changing the promise, not breaking it. Breaking it would have been if they sold data with the old description (which is not the case, is it?).
Time to sue Intel for releasing chips that process our inputs as we request.
In most software there's no such thing as unrecoverable panic. OOM is probably the only such error, and even then it doesn't come from within your app.

For all "unrecoverable panics" you usually want to see the reason, log it, kill the offending process, clean up resources, and then usually restart the offending process.

And that's the reason both Go and Rust ended up reverting their stance on "unrecoverable panics kill your program" and introduced ways to recover from them.