MurphyA/hacker-news huggingface dataset:
by tguvot | 2025-06-12 21:39:20+00:00
i have no idea what you are talking about here. i didn't deny anything.

But if you want to talk about denial, here is prominent PLO leader denying existence of Palestinians: https://en.wikiquote.org/wiki/Zuheir_Mohsen . I guess he is racist ?

Also Mosab Hassan Yousef famously denies existence of Palestinians. Is he racist as well ?
by tgma | 2025-06-12 21:39:24+00:00
> Pretty much no large companies except AWS (thank you Byron Cook!) use them at a large scale.

I don't think that's true at all. I suppose that depends on what you mean by formal methods and in what context you're concerned about those. Off the top of my head this comes to mind from Microsoft: https://learn.microsoft.com/en-us/windows-hardware/drivers/d...
by alephnerd | 2025-06-12 21:39:45+00:00
A similar thing happened at Uber before the 2021 re-org. At one point they had 3 competing internal chat apps from what I've heard from peers working there, and having previously worked for a vendor of Uber's, I noticed a significant amount of disjointedness in their environment (seemed very disjointed EM driven with no overarching product vision).

Ofc, Gergely might have some thoughts about that ;)
by aeonik | 2025-06-12 21:39:46+00:00
I ran into a weird joystick bug the other week, and I wanted ChatGPT to figure out the exact code flow of how a specific paramter is set.

I had it analyze different related libraries, and it zeroed in on SDL and Wine codebases, and it found the exact lines of code related to the logic error in Winebus.

It really helps me dig deep for certain hard to track bugs.
by vel0city | 2025-06-12 21:39:55+00:00
> How do you decide to vote if you completey go out of the loop?

I tend to stay pretty well informed without watching cable news or constantly reading political gossip on social media. When I hear things like "the Supreme Court issued an opinion today..." I go read the opinion. When I hear "Trump signed an executive order saying..." I go read the executive order. When I'm talking with people about inflation, I go look up the BLS data among other things. If people are talking about what's actually happening on the ground some place, I will end up having to find some reports reporting things and ultimately have to weigh the fact they're choosing where to point their cameras to my understanding of what is actually true.

Some of these things are hard, like the "big beautiful bill" is 1,116 pages long. I'll jump to the things people around me are talking about, like work requirements for Medicaid and SNAP, and read those sections. I might go look up some direct commentary from trusted sources about it for deeper analysis, and probably try and find some real statistics to compare.

We have so much actual real data and original sources to go read, I don't need someone else to tell me what they think of it for me to have an opinion.
by 29athrowaway | 2025-06-12 21:40:17+00:00
There should be a "build" button that pulled all the legal codes for the target jurisdiction and other legally binding documents and checked if everything checks out.

And to achieve this you would have to create a machine readable format for legal documents, and have a library of them already converted to it.

Then you could have a linter that highlighted that you made a logical mistake or did something wrong from the perspective of a legal guy.
by wat10000 | 2025-06-12 21:40:45+00:00
The M&Ms were for cases where the show was likely to be considerably more demanding than what the venue normally handled, and they needed to make sure that the people running the place actually stepped up for it.

The organizations doing aircraft maintenance are always handling life-critical stuff. You don’t need a weird test to see if they’re paying attention.

It’s not like this stuff is just decided ad hoc and planes fly with broken IFE equipment because of bad culture. This stuff is worked out by engineers and regulators. There’s a list of stuff that needs to be working for the plane to be allowed to take off. If something on that list isn’t working, you don’t fly, even though the plane may be perfectly capable of it. And I guarantee the IFE equipment isn’t on that list.

Frequently broken passenger amenities indicate bad customer service but it doesn’t reflect on safety.
by quesera | 2025-06-12 21:40:52+00:00
Exactly. I have enabled TouchID for a couple of banking apps, and I am dreading the likely need for the password reset dance when the time comes (it's been years).

I use a password manager, but I've always kept the actually important passwords in wet memory only. When I used the web interface regularly, that was not a problem. However... :-/
by piker | 2025-06-12 21:41:09+00:00
One thing it does is cast the PDF to grayscale to render for speed (lawyers rarely care about the color of a legal doc in PDF), so perhaps I'll make that an adjustable setting which will trade off speed for clarity. Otherwise, it uses PDFium for PDF rendering so it should come out just as well as what you see in a Chromium-based browser.
by yusyusyus | 2025-06-12 21:41:42+00:00
I have really strong opinions against the device-secured biometric stuff. On my own devices, I will never use it as it dramatically lowers my security posture.

Further, the development of this ecosystem is to the exclusion of alternative OSes. Windows Hello and whatever apple wants to call their suite of biometric goo is elevating them to a place in my life that is unacceptable by virtue of the unwarranted trust granted to them.
by lproven | 2025-06-12 21:42:05+00:00
Yes, but as the comment below notes, the 386 has hardware-assisted DOS multitasking: basically, V86 mode is a hardware-enforced real mode VM.

CP/M-86 was late -- years late, and MS-DOS got control of the market in that time. It didn't help that when CP/M-86 arrived on the IBM PC it was 5x the price of DOS.

So, to make a more compelling product, DR merged CP/M-86 with MP/M to make Concurrent CP/M. The intent was multiple users on terminals, not multitasking on one PC, but it could do that.

Concurrent CP/M got an MS-DOS emulator called DOS-mode. This was later built in and Concurrent CP/M became Concurrent DOS.

(Later that bit was effectively spun out to become DR-DOS.)

Concurrent DOS 286 ran in protected mode on 80286 machines and could multitask DOS apps in protect mode, which even OS/2 couldn't do. But this depended on a feature of pre-release 286 chips that Intel removed before release, crippling the new OS.

(With it unable to multitask DOS on early shipping 286s, DR retargeted CDOS 286 as a real-time OS, renaming it FlexOS. That survived for decades. It's still supported by IBM and Toshiba today I think.)

So when the 386 came along it did a big rewrite. CDOS 386 supports hardware-assisted DOS multitasking, including on terminals, but on the console too. No GUI, no windowing, only (by default) 4 full-screen virtual consoles, just as Linux has 7 vconsoles by default accessed with Alt-F1...F7. (Ctrl+Alt+F-keys in X11.)

Including in graphics mode. At work in my first job, I ran MS-DOS COMMAND.COM on top of CDOS in one session, so it reported it was MS-DOS 3.3, but in the background the machine was running FRACTINT generating Mandelbrots for hours. No CPU heatsinks back then, no power management, no fans, so the PC was no louder running flat-out.

It could even handle FRACTINT's fancy direct-VGA-register-writing graphics modes, which reliably crashed OS/2 2.0.
by ty6853 | 2025-06-12 21:42:39+00:00
Even though I am staunchly against this, it seems useful to the people that senators from time to time are reminded of what happens to the common man when they do this. It is all too easy for them to become complacent to the plight of the common man, because when they protest nothing happens to them.

Hopefully now that they are subject to the overbearing criminal 'justice' machine that is a creature largely of their own making, they will do something about tuning it down.
by graycat | 2025-06-12 21:42:59+00:00
I derived some math, new at least to me, based on my pure math background, e.g., Rudin in measure theory some functional analysis, probability based on measure theory from Neveu, tightness in probability once used in some statistics for computer science, presented at NASDAQ, some optimization via the Kuhn-Tucker conditions, some stochastic optimal control, etc.
by kubanczyk | 2025-06-12 21:42:59+00:00
> just like English speakers are used to having to know and specify the gender of everyone around them, including cats and dogs

Welp, you have no idea. In German and in Slavic languages you'd have to know and specify the gender of every single noun. Is a coat the same gender as a beer, or different? Is orange the same gender as capitalism? Every. Single. Noun.

And they have three genders, obviously.
by abe_m | 2025-06-12 21:43:10+00:00
We have OpenCASCADE, GCAL and Solvespace. The later two are missing quite a few features relative to OpenCASCADE. Then there is Parasolid, ACIS, and whatever they call the kernel in CATIA. There are a few around. But perhaps there aren't that many ideas for innovative features for people who are interested in the area to create something new.
by JoeJonathan | 2025-06-12 21:43:51+00:00
Funnily enough, você itself was once more formal, having been a contraction of "vossa mercê."

I'm surprised to hear that your family did not use formal language even in prayer. May I ask what religion(s) you grew up practicing? Catholic prayers often use antiquated, formal language (like "vós"). I don't know enough about Candomblé, but at least Nagô Candomblé is pretty highly formalized in the sense that Yorùbá is the liturgical language.

The "Doutor/Doutora" thing bothers me. I see it all the time with my in-laws empregadas, who use it to refer to my father-in-law (who's an MD) and my mother-in-law (who isn't). It feels weirdly obsequious in that context, even though there's a very clear power and class hierarchy.
by amalcon | 2025-06-12 21:43:57+00:00
The fundamental issue is that a liberal democracy can't indefinitely survive a majority of the people prioritizing other things over continued democracy and rule of law. This is almost by definition. Democracies have failed in that way before, and they will do so again.

A strong liberal democracy, however, can endure that condition for longer than a weaker one. The US is a strong liberal democracy. The goal must, therefore, be to get out of the danger zone before it's too late. That means changing the hearts and minds of your fellow citizens.

(If you're asking how to do that... I am not remotely the right person to answer)
by iwontberude | 2025-06-12 21:45:01+00:00
The problem is when they tried to make iPad apps available on macOS by default, developers revolted and made it an opt-in. Now Apple has to weigh losing a large amount of their app catalog and cannibalize MacBook sales. It's hardly an obvious win for anyone. Allowing dual boot with the caveat that macOS will inexplicably be missing the iPad apps the user was previously using won't really jive well either.
by legitster | 2025-06-12 21:45:04+00:00
> “Padilla didn’t want answers; he wanted attention,” White House spokeswoman Abigail Jackson said. “It’s telling that Democrats are more riled up about Padilla than they are about the violent riots and assaults on law enforcement in LA.”

Even if this was true, the pot is calling the kettle black. But that's kind of giving them the benefit of the doubt here:

- They were in his district uninvited

- Why even hold a local press conference if you don't allow questions?

- In a room full of cameras, how is there not a single video of the supposed "lunge?

- He is literally on the Senate committee that is supposed to oversee border security. Noem not knowing who he is is either incompetence or an outright lie
by ammaramehdghani | 2025-06-12 21:45:46+00:00
Great question—this is exactly the pain we wanted to eliminate. Candidates get their own dedicated workspace where they set up their profile just once—it’s a modern, intuitive flow where they can upload their resume, profile picture, set preferences, and fill in any info recruiters actually need.

Once set up, they can apply to any job shared with them by a recruiter in one click—no need to re-enter the same details again. And if they update their profile (say, new experience or skills), those changes instantly reflect across the candidate pool of every recruiter they’re connected with.

No redundant form-filling, no duplicating what’s already in a CV or LinkedIn—just one clean profile that stays up to date and works across roles.

I hope I answered your question. I am happy to answer any other question you might have. Thank you.
by haswell | 2025-06-12 21:46:00+00:00
I'm old enough to have lived through the era of standalone authenticators. The downsides of that approach are also numerous.

I understand where you're coming from though, and I think this is where OS features like Focus Modes come into play.

When I'm in a "Work" mode, I literally don't see notifications from most of my apps. They don't show up in the notification center, or on app icon badges, or anywhere.

This takes a few minutes to set up, but once it's in place, it's fantastic. I also do this for other aspects of my life: Photography, Research, etc. When I'm in those modes, I don't want to see anything except for the apps that are specific to what I'm doing. It's worth the effort of setting this up IMO, and extends far beyond just work.
by closewith | 2025-06-12 21:46:13+00:00
> You are projecting your own judgements into my words.

No, I'm reading your words as you write them.

Deciding that Ahmedabad is "right on the edge" of the "the equatorial old world" is racist unto itself. It shows staggering geographic and cultural ignorance.

Some self-reflection is in order, because if you speak like this in real life, people may not call you out directly but everyone will think less of you.
by amrocha | 2025-06-12 21:47:08+00:00
You’re in a thread arguing that it’s ok for “western governments” to have cyber weapons but not Iran because Iran is morally inferior. If you don’t believe that then admit it and apologize for the confusion. Don’t try to move the goalposts.

>This kind of personal attack is beneath the level HN aspires to

Sophistry is also beneath that level.
by alexvesa | 2025-06-12 21:47:08+00:00
We’re building a system to detect AI-generated voice fraud using Mel spectrograms, data augmentation, and the ASVspoof dataset. Part 1 covers dataset prep, augmentations, and why time masks + pitch shifts matter. Code & details inside.

https://thehyperplane.substack.com/p/audio-deepfake-fraud-de...
by CamperBob2 | 2025-06-12 21:48:19+00:00
What will really bake your noodle is when you realize that just because the model's answer is wrong doesn't mean it didn't use reasoning to reach it.

Is your reasoning always perfect? No? Ever get partial credit on a test question in school? Yes? Well, maybe don't expect perfection from a model that didn't exist 5 years ago, that was considered impossible 10 years ago, and that would have gotten you burned as a witch 15 years ago.

Nobody claims that o3-pro is AGI, or even that it is going to lead up to AGI.
by spion | 2025-06-12 21:48:30+00:00
What you think is an absurd question may not be as absurd as it seems, given the trillions of tokens of data on the internet, including its darkest corners.

In my experience, its better to simply try using LLMs in areas where they don't have a lot of training data (e.g. reasoning about the behaviour of terraform plans). Its not a hard cutoff of being _only_ able to reason exactly about solved things, but its not too far off as a first approximation.

The researchers took exiting known problems and parameterised their difficulty [1]. While most of these are not by any means easy for humans, the interesting observation to me was that the failure_N was not proportional to the complexity of the problem, but more with how common solution "printouts" for that size of the problem can typically be encountered in the training data. For example, "towers of hanoi" which has printouts of solutions for a variety of sizes went to very large number of steps N, while the river crossing, which is almost entirely not present in the training data for N larger than 3, failed above pretty much that exact number.

[1]: https://machinelearning.apple.com/research/illusion-of-think...
by edanm | 2025-06-12 21:49:51+00:00
I'm not sure what you're talking about. Israel kept a small buffer zone around the border, but other than that, I'm not sure what "layered security exclusion zones" you mean.

And Israel didn't just randomly shoot at unarmed civilians, it shot at people approaching the border. Given that Gaza was controlled by a terrorist organization with a stated goal of carrying out attacks on Israel, and given what happened on October 7th, I think it's hard to say Israel wasn't justified in guarding its border to the extent it did. Had it guarded it better on October 7th, a whole lot of bloodshed on both sides could've been saved.
by WhyNotHugo | 2025-06-12 21:50:18+00:00
One of the issue why compile times are so awful is that all dependencies must be compiled for each project.

20 different projects use the same dependency? They each need to recompile it.

This is an effect of the language not having a proper ABI for compiling libraries as dynamically loadable modules, which in itself presents many other issues, including making distribution of software a complete nightmare.
by masto | 2025-06-12 21:50:55+00:00
First some feedback (I see the author is interested), and then a personal take on how I deal with this stuff.

As someone who has spent decades procrastinating, reading about systems to get things done, trying many of them, working with coaches and mentors, and teaching project management, I like to think have a cultivated interest in the topic. I’m very happy that the author found something that works for them. I’m not a gamer, so I didn’t find the comparison particularly relatable. What I did find relatable was the point about getting the dopamine hit (I know that’s debated, but let’s use it as a metaphor) off crumpling up the paper and throwing it away. That’s something I always found gratifying about a physical board full of sticky notes, and it’s just not as rewarding to mark a ticket done in Jira.

In my personal experience of ADD, novelty is a major motivator. A system like this has the appeal of all sorts of new sources of stimulation - physical objects, a new electronic toy, software to write, etc. The problem is that once that wears off, if I’m only doing it for the novelty, I won’t stick with it. I need to engage some of the other sources of motivation (interest, challenge, urgency).

Also, I would love to see someone write an article like this where they keep it entirely in the first person. In other words, focus on “my experience” and “I do this” and “this works for me”. I experience a sort of automatic pushback when I read things like “this will help you” or “you need to”. It may be linked to demand avoidance, or just my belief that there is not a single productivity system or hack that works for everyone. “You need to” try things out, reflect on your own personal struggles, and tailor the solutions to fit. Also, I’m not sure if I would ever call it a cure.

Something I’ve found very helpful is an app called Llama Life. It is not free, so stop reading if that’s a deal breaker. I think of it as kind of a pomodoro timer that someone cleverly fixed for me. I find pomodoros appealing, but they never worked for me. With Llama Life, I stack up what I plan to do for the day along with a guess at how long each task will take. The first benefit this has is that I know what I’m meant to be working on. And when the timer goes off, if I’m not done, I can snooze or extend it, or cut my losses and move on. The other thing I like is that it shows me the total amount of time I’ve allocated, and when each item ends. This helps me to avoid overcommitting: when I look at the end time and see 9:30 at night, I’m forced to reevaluate and cut some things. Anyway, I’m a happy customer.
by mandevil | 2025-06-12 21:51:05+00:00
I'm not even talking about Down Detector's own infra being down, I'm talking about actual legitimate complaints from real users (which is the data that Down Detector collates and displays) because the app they are trying to use on an unaffected cloud is legitimately sending them an error- it's just because of SaaS dependencies and the nature of distributed systems one cloud going down can have a blast radius such that even apps on unaffected clouds will have elevated error rates, and that can end up confusing displays on Down Detector when large enough things go down.

My apps run on AWS, but we use third parties for logging, for auth support, billing, things like that. Some of those could well be on GCP though we didn't see any elevated error rates. Our system is resilient against those being down- after a couple of failed tries to connect it will dump what it was trying to send into a dump file for later re-sending. Most engineers will do that. But I've learned after many bad experiences that after a certain threshold of failures to connect to one of these outside system, my system should just skip calling out except for once every retryCycleTime, because all it will do is add two connectionTimeout's to every processing loop, building up messages in the processing queue, which eventually create backpressure up to the user. If you don't have that level of circuit breaker built, you can cause your own systems to give out higher error rates even if you are on an unaffected cloud.

So today a whole lot of systems that are not on GCP discovered the importance of the circuit breaker design pattern.
by dmitrygr | 2025-06-12 21:51:36+00:00
> You'd expect hacker types (folks who hang out here on HN) would be 100% behind an open-source operating system

Nope

I work on embedded security which is why there is no IoT shit at home.

I am forced to be tech support for my family, which is why they have iPhones and why i support locked-down hardware - less pain for me removing sideloaded shit than when they had Android devices.

I am bored of maintaining things - i just want them to work, which is why my WRT54G is gone and I use UniFi gear.

And I am tired of "slightly annoying, but i am supporting open source", i just want my laptop to wake up from sleep every time and last a while day, which is why I use a MacBook.

If it was open source IN ADDITION to doing everything else i want, sure. Being open source by itself is NOT a feature i am willing to pay for with any inconvenience. And being locked down IS a convenience when you are managing devices for people with no digital hygiene (aka: family)
by mountain_peak | 2025-06-12 21:51:44+00:00
Kind of a silly personal anecdote, but growing up, my father had a unique "strained" nostril breathing pattern and bad sleep apnea + COPD. I became 'hyper aware' of people's breathing patterns - to the point where people at work had fun with it - standing behind me breathing normally. I could identify who it was > 90% of the time (they were not trying to breathe quietly or differently). I often thought of people's breathing signature as sort of factor to identify them by. I certainly didn't think I was the first person to note this.

More interestingly, I'm also able to pick out people who have early signs of "decreased health" based on their breathing pattern at rest - I don't think it's overly difficult.

This study appears to cover both aspects - creating a breathing fingerprint and estimating BMI. I certainly wasn't aware of breathing differences associated with cognitive state. Bravo to the researchers for formalizing all of this - hope some positive interventional techniques are driven by these findings.