MurphyA/hacker-news huggingface dataset:
by genrilz | 2025-05-07 21:17:26+00:00
Actually, the x86 'ADD' instruction automagically sets the 'OF' and 'CF' flags for you for signed and unsigned overflow respectively [0]. So all you need to do to panic would be to follow that with an 'JO' or 'JB' instruction to the panic handling code. This is about as efficient as you could ask for, but a large sequence of arithmetic operations is still going to gum up the branch predictor, resulting in more pipeline stalls.

[0]: https://www.felixcloutier.com/x86/add
by briandw | 2025-05-07 21:17:32+00:00
Looks good but it has the same issues that i have with mypy. Packages that don't include the type hints blow-up my process. In mypy i've come to terms with strategically ignoring packages or finding a package of type hints. Mypy is runs cleanly on my project but I get >800 errors with TY, mostly things like:

lint:unresolved-import: Cannot resolve imported module `pydantic` --> vartia/usr_id.py:4:6 | 2 | from typing import Optional, Any 3 | from enum import Enum 4 | from pydantic import BaseModel, ConfigDict

looking forward to the release version.
by prmoustache | 2025-05-07 21:17:44+00:00
> And because I'm a software developer with a flexible work schedule paid hourly, the act of going to grab the food myself and not working for 30 minutes would cost me way more than delivery costs

That doesn't make sense. Quite the opposite being flexible + paid hourly means that you are free to take a decent break.

Not taking proper time for a pause in the middle of a shift is both incredibly unhealthy and extremly unefficient as we can't be at 100% for long hours at a time.

Having said that anyone can prepare a decent meal in just a few minutes, there are literally tons of recipes where you just have to crudely cut stuff and throw them in a baking dish and in the oven or cook in a wok. + when you are working at home you can always eat some dinner leftovers + a bit of pan.

Your prices seems fine but I guess that is only because your delivery services are still in the pre-enshittification phase where they are competing for monopoly and actually losing money.
by rustc | 2025-05-07 21:18:01+00:00
Plausible uses the same algorithm and they have a page written by a lawyer claiming this is GDPR compliant: https://plausible.io/blog/legal-assessment-gdpr-eprivacy

Edit: Found more discussion here: https://github.com/plausible/analytics/discussions/1963#disc...

> To summarize, I believe the EDPB has made their position very clear on this in their 2023 guidelines: Plausible's fingerprinting is subject to Article 5(3) of the ePD. Plausible has made their position very clear in their blog post, leaning in the other direction. Until this is tried out in court, I don't believe that there will be any definitive answer.
by msc1 | 2025-05-07 21:18:06+00:00
From wikipedia:

EMDR has been characterized as pseudoscience, because the underlying theory and primary therapeutic mechanism are unfalsifiable and non-scientific. EMDR's founder and other practitioners have used untestable hypotheses to explain studies which show no effect.[55] The results of the therapy are non-specific, especially if directed eye movements are irrelevant to the results. When these movements are removed, what remains is a broadly therapeutic interaction and deceptive marketing.[52][56] According to neurologist Steven Novella:

[T]he false specificity of these treatments is a massive clinical distraction. Time and effort are wasted clinically in studying, perfecting, and using these methods, rather than focusing on the components of the interaction that actually work.[57]
by 9dev | 2025-05-07 21:18:26+00:00
pgbackrest only looks scary because it’s so flexible, but the defaults work great in almost all cases. The most complex thing you’ll need to do is creating a storage bucket to write to, and configure the appropriate storage provider in pgbackrest's config file.

When it’s set up properly, it’s solid as rock. I’d really recommend you check it out again; it likely solves everything you did more elegantly, and also covers a ton of things you didn’t think of. Been there, done that :)
by daedrdev | 2025-05-07 21:18:27+00:00
In reality simply that the US lets you pay people for blood plasma, an the market does the rest.

There are similar arguments made for kidney donation. Paying people a set amount kidneys is exploiting the poor, but most those who need kidneys are not well off and there is an enormous shortage causing massive shortages, so some argue that we should pay since society would be net better off.
by spyrja | 2025-05-07 21:18:36+00:00
The issues that the GP is grappling with are largely due to the fact that they are trying to "construct" real numbers from a stream of bits. That is always going to lead to bias issues. On the other hand, with this particular algorithm (assuming a truly random source) the resulting number should be more or less completely uniform. It works because we are partitioning the search space itself in such a way that all numbers are as likely as any other. In fact, that the algorithm terminates rather predictably essentially proves just that. After one million invocations, for example, the average number of iterations was something like 57 (with the minimum being 55 and the maximum outlier 74). Which is to say you could pick any number whatsoever and expect to see it no more than once per ~2^57 invocations.
by dcow | 2025-05-07 21:19:26+00:00
I think modernity has complicated things. The proprietary vendor signing all the binary components to prevent tampering is different from the platform package manager and kernel requiring signed packages/pages. If you have the proprietary blob and a bunch of modified third party dynamically loaded components, you (or the platform) can re-generate your own signature over the modified composition to execute it in {context that requires signed code execution for security/integrity}. The LGPL is addressing the former. I don’t see a spirited problem with the latter.
by ajb | 2025-05-07 21:19:49+00:00
I'm skeptical of these devices that say they are safe based on CE or FCC testing. (zenbud says it has been CE tested). That's consumer product testing, not health-device testing; I would like to see some evidence that long-term use of a nerve stimulation device causes no long term damage. I don't believe that CE or FCC tests show that. It's disingenuous to have a press release saying "Yay! We passed CE testing!" as if that was like FDA approval.
by hmac1282 | 2025-05-07 21:20:27+00:00
This reminds me of when Tsoding (streamer with programming content, often low level) tried to use BetterC for coding. The verdict after a streams was that BetterC seemed more of a bait-and-switch tactic than an actually useful thing.

https://www.youtube.com/watch?v=_kRsbu82zqs

Although Tsoding liked D as language, but BetterC was really a disappointment.
by mistrial9 | 2025-05-07 21:20:40+00:00
references to a Temple involve a holy Temple that is not possible on this Earth, also coinciding with physical structures that make it possible to emerge?

Evangelical beliefs and others start to be more of a political topic, subject to survey? A basis of the practice is that it is done in the open and lawfully, so Church leaders might be fairly plain about what they actually believe, when asked?
by YeGoblynQueenne | 2025-05-07 21:21:17+00:00
I'm sorry but I think that when I replied to your comment it didn't have the "in the general case". I might have missed that, but I thought you meant it's impossible to do it at all.

Btw:

>> OP specifically asked for a program that would derive code from logical specifications, not a run-of-the-mill compiler where you have to write the code yourself (albeit on a higher level).

There's nothing "run-of-the-mill" about compilers and if your high-level language is e.g. FOL, then a compiler that transforms it to low-level machine code is, still, a program synthesizer, and v.v.
by slau | 2025-05-07 21:21:54+00:00
In fairness, this is only the “tutorial” page. Stock published an intro video to the entire project a few days ago where he goes into depth about the Harmony remote, why he loved it so much and what he’s trying to replace. https://youtu.be/Pe_ozZkrRAw

I find it odd he doesn’t link to it from his tutorial page, though.
by ndriscoll | 2025-05-07 21:21:56+00:00
The point of trying to determine aptitude is exactly that it does not measure current ability to perform specific tasks or possession of specific domain knowledge, but rather general ability to learn/flexibility to be given new tasks.

One of the places where software has succeeded is that the industry gets away with quietly trying to test for intelligence while ostensibly making it look work related (algorithm puzzles, "wanting to hear how candidates think"). IBM straight up gave me math problems (like solving systems of equations under time pressure) when applying to my first programming job in addition to some basic whiteboard coding. This is part of why it's possible for smart people without CS degrees to break into the field.

Basically any job where you're not acting as a human automaton benefits from general learning ability, so if degrees stop working or stop being allowed, people will no doubt look for another proxy.
by YeGoblynQueenne | 2025-05-07 21:22:11+00:00
>> Think of higher level specifications which do not imply any details of the implementation.

In that case you're talking about inductive program synthesis, i.e. program synthesis from incomplete specifications. Program synthesis from complete specification is what we call deductive program synthesis.

Both are quite possible within the limits of undecidability of sufficiently expressive languages. My question to the OP was why did they think it's not possible at all, but I may have misread their comment.
by thewebguyd | 2025-05-07 21:22:11+00:00
> Because telemetry is a privacy invasion

I wish his was a major reason for more folks to dump windows, but the majority of "normies" don't even know what telemetry is or that windows is sending data, let alone what data it sends.

Windows will fall, eventually, but not because of some sudden end-user awareness of its enshitification, it will fall because overall desktop/PC sales are falling as more and more people continue to use and have only mobile devices as their primary computing device, whether phone, tablet, or maybe a Chromebook.

The last niche for computers are devs, gamers, and users of pro tools (video & photo editing, audio production, CAD, etc.). Time will tell who wins these spaces, but I sure hope it's not going to be windows.
by ImPostingOnHN | 2025-05-07 21:22:18+00:00
> Nobody has classified genuine effort as fake. But what good is genuine effort when it can be done much more easily without it?

This was previously stated: the good being done is 100,000 people can feed their families. What good is going without that? You'll enrich some private equity dudes and make a lot more people unemployed and a lot more families unhappy.
by screye | 2025-05-07 21:22:21+00:00
Israel did want peace with Gaza (Gaza specifically, not West Bank). After the 2005 Gaza disengagement, Israel did a lot to normalize relations with Gaza. They wanted peace until they gave up all attempts to do so, after October 7th.

Peace implies disengagement by maintaining long-standing borders. India wants peace by maintaining Line of Actual Control (LAC). Be it China or Pakistan, India has never been the one to escalate first. When engaging with nations that want peace, India has been able to resolve complex border issues. Eg: Srilanka[1] and Bangladesh [2].

Russia and China do not want peace because they are invading past their effective borders into lands they do not control.

All wars are not defensive. All countries are not the same. Each war is different, and it is fair to impose different judgements on the participants of each war.

[1] https://en.wikipedia.org/wiki/Katchatheevu

[2] https://en.wikipedia.org/wiki/India%E2%80%93Bangladesh_encla...
by ben_w | 2025-05-07 21:22:39+00:00
Diet and exercise would work, if not for the fundamental problem: most people cannot apply those methods.

Why they can't, I am unsure. Is it because hunger is a stronger drive than long-term planning? Is it because food is, like many other products and services sold in a capitalist economy, incentivised to develop in maximally addictive ways even without a deliberate choice by any supplier? Is it because advertising really does influence people? Overuse of antibiotics makes people hungry? Something else entirely?

Whatever the cause, people can't apply those methods. Which means they don't work for most people — not that they can't work for most people, they just don't.
by drilbo | 2025-05-07 21:23:07+00:00
>You probably want to replace Llama with Qwen in there. And Gemma is not even close.

Have you tried the latest, gemma3? I've been pretty impressed with it. Altho I do agree that qwen3 quickly overshadowed it, it seems too soon to dismiss it altogether. EG, the 3~4b and smaller versions of gemma seem to freak out way less frequently than similar param size qwen versions, tho I haven't been able to rule out quant and other factors in this just yet.

It's very difficult to fault anyone for not keeping up with the latest SOTA in this space. The fact we have several options that anyone can serviceably run, even on mobile, is just incredible.

Anyway, i agree that Mistral is worth keeping an eye on. They played a huge part in pushing the other players toward open weights and proving smaller models can have a place at the table. While I personally can't get that excited about a closed model, it's definitely nice to see they haven't tapped out.
by foxyv | 2025-05-07 21:24:36+00:00
Browsing for books on amazon.com is a bit of a pain on a small touch screen. Usually I get out the laptop and use the browser on it. The biggest pain point is when I finish a book and want the next in the series. I'll usually read about one book a day so it gets a bit annoying. I've mostly switched back to my really old Kindle.
by prmoustache | 2025-05-07 21:25:17+00:00
Some time I just go to the restaurant next door BECAUSE it is more comfortable than being in my own home: I don't have to set the table or clean it afterwards, wash anything or make sure they are correctly put in the dishwasher, or manage the trash etc and I can meet people there I wouldn't necessarily want in my own home, at least at that exact moment.
by pjc50 | 2025-05-07 21:25:19+00:00
This.

People assume that hunger is the same for everyone, and that can be used to simply rank the level of willpower people are exerting against the drive. But it's not. Some people have different appetites which leave them skinny or permanently hungry. Some people can and do eat a lot more than others for less weight gain.

This is why the drugs are so effective: they're appetite suppressants.
by cjbgkagh | 2025-05-07 21:25:28+00:00
Your logic is scattered and incoherent. You still haven't pinned down your definition of metabolic disorder, as mentioned my definition includes those caused by auto-immune. I explicitly stated that poor quality of food eaten too regularly is causative in many cases, genetics and lifestyle also plays a factor. You're hung up on the number of calories, my position is that is entirely secondary to what those calories are and the cadence of intake. There needs to be a gap in the intake for the natural GLP-1As to take effect. The point of having a mental model is to help make wise choices to optimize an outcome - your model is reductive and far too simplistic and elides many important factors that should be considered. Your position was more tenable in the absence of the data we now have. GLP1-As work, people know it works, and no amount of 'diet and exercise' is the one true path to enlightenment religiosity is going to cause people to unlearn it. I understand the strong desire to blame people for their choices, empathy is painful, and I understand the assumption that there is a price for everything - that nothing comes for free. But that presupposes a prior optimal homeostasis which for a variety of reasons we did not have. Modern diets / lifestyles created a problem that now modern medicine can help with. As a side benefit the medication works for those with my genes where diet and exercise simply wouldn't work. And in my case it's not a modern ailment, people with my genetic profile have had a rough life since before Hippocrates.
by Slow_Hand | 2025-05-07 21:25:30+00:00
James Brown had that vertical integration once he hit his stride in the 1960’s.

It wasn’t uncommon for him to take the band in for a late night studio session (after a 3 hr show). The song would be recorded and mixed on the fly. Then a copy would be sent to his vinyl pressing plant, which could turn the physical copies around in a day. At the same time, the radio stations he owned in the Augusta GA, area would start playing the latest cut. Just in time for it to hit stores and be available for purchase.
by dathinab | 2025-05-07 21:25:36+00:00
IMHO they created type annotations, not a type system

and how you use the type annotations to indicate a type system is inconsistent and incomplete (e.g. NoneType vs. None for inconsistency and a lot of mess related to mataclasses (e.g. Enum) and supporting type annotations for them for incomplete)

the fact that even today something as fundamental as enums have issues with type checking _which are not just type checker incompetence_ is I think a good way to highlight what mess it is

or that `Annotated[]` was only added in 3.9 and has a ton of visual overhead even through its essential for a lot of clean definitions in modern python code (where for backwards compatibility there is often some other way, which can be de-facto wrongly typed but shouldn't be type linted, have fun type checkers).
by Sohcahtoa82 | 2025-05-07 21:25:44+00:00
> Maybe we should be asking people in shape what works

The answer has been mentioned in other parts of this thread:

They simply don't feel the hunger that obese people do. Some people eat a larger than normal lunch and then won't feel hungry at dinner time and will either just have a snack or skip the meal entirely.

Others, like me, can put down a 22 oz steak and then still feel hungry again just two hours later.

It's not a matter of habits, it's about what their body tells them. My body is always telling me to eat even after eating an irresponsibly large meal, and ignoring those signals difficult. Those people that are in shape don't have that problem. Their body is telling them to eat less.
by Kimi_livekit | 2025-05-07 21:26:03+00:00
LiveKit | Remote | Full-Time | Livekit.io | VoiceAI | webRTC | Real-time communications | AI At LiveKit, we build open-source APIs to power the future of computing. We are a company of engineers building software stacks for other engineers.

Hiring: >>Infrastructure Engineer: https://jobs.ashbyhq.com/livekit/cc4d5e84-d6a5-4924-825b-7e9... >>Infrastructure Engineer: https://jobs.ashbyhq.com/livekit/cc4d5e84-d6a5-4924-825b-7e9... >>Infrastructure Engineer: https://jobs.ashbyhq.com/livekit/cc4d5e84-d6a5-4924-825b-7e9...

We have other roles open as well but really are prioritizing looking for the best, most awesome infrastructure engineer you know!!!!

What we are looking for: >Passion for building something truly impactful >>Remote company, first principles, global presence!

cofounders: Russ D'sa, CEO and cofounder: https://www.linkedin.com/in/russelldsa/ David Zhao, CTO and cofounder: https://www.linkedin.com/in/davidzhao/
by Jtsummers | 2025-05-07 21:26:06+00:00
Yeah, this line made it click:

> Now this is starting to look like Professor of Programming Languages code!

A lot of tier 2/3 CS schools with programming language courses (a survey of multiple languages across various paradigms) teach Prolog this way (and I've seen some fantastically terrible examples of Lisp code coming out of those same courses). It's unfortunate because, at these schools, this is often the only formal course where students branch out of C/Java/C++/C#/Python/JS (and they may only get 2-3 of those over the rest of their courses). It leaves the students with a gross misunderstanding of the languages and dread when they see them again.
by itsanaccount | 2025-05-07 21:27:18+00:00
I love a "you people."

You're arguing against someone with a "belief system" you seem to know, but I don't know who that is. I've displayed a single preference here, which is anti-police. You can expand that to, I don't like people who wield too much power. I don't like gangs. If I was in a country run by a criminal gang, I wouldn't like them either.

If a perfect theocracy arose that imposed moral law perfectly to "protect us poor public," I wouldn't like them either.

You won't see many positive positions from me, I don't tend to believe in many positive things. I do believe making a list of the biggest bastards and working against them, in my time. That list changes, and when I eventually die off, there will be more people like me who do the same, with their own lists. I don't think we have any colors except those we prefer ourselves. There's no one running us, there's no one in charge. And I think over time you might be surprised how effective that can be.
by rowanG077 | 2025-05-07 21:28:34+00:00
Recently I started a python project and I wanted to do it the "proper" way. mypy + pylint. But even on this small 15-20kloc program these tools are way to slow to do anything in realtime. It takes double digit seconds to have feedback. Way to long for an LSP. I'm honestly appalled the state of affairs is this bad. What the hell do people do with moderately or even large sized code bases?
by dekhn | 2025-05-07 21:29:17+00:00
I work with live tardigrades under a microscope and you could easily squish them with a little metal pick, or by pressing on the glass coverslip.

Tardigrades are very different from amoeba. They have a well-defined cuticle exoskeleton surrounding a liquid space, about 1000 cells, while an amoeba is single cell and highly deformable.
by const_cast | 2025-05-07 21:29:23+00:00
That's not a solution, but it's what you should be doing. A solution is legislation, any other "solution" is a lie and we should actively disregard anyone who claims otherwise.

> it’s a model that hurts both worker and consumer

Yes, it is. But by not tipping, you're objectively hurting the worker more. Notice my choice of words here - objectively. That means don't bother trying to argue against it.
by ngiyabonga | 2025-05-07 21:29:54+00:00
Just pasted the whole thing into the system prompt for Qwen 3 30B-A3B. It then:

- responded very thoroughly about Tianmen square

- ditto about Uyghur genocide

- “knows” DJT is the sitting president of the US and when he was inaugurated

- thinks it’s Claude (Qwen knows it’s Qwen without a system prompt)

So it does seem to work in steering behavior (makes Qwen’s censorship go away, changes its identity / self, “adds” knowledge).

Pretty cool for steering the ghost in the machine!
by _carljm | 2025-05-07 21:29:58+00:00
We're looking forward to hearing what your experience is! There's a certain amount of roughly-constant overhead (e.g. reading all the files), so generally ty will look relatively faster the larger the project is. For very large projects we've seen up to 50-60x faster or more. We haven't really put a lot of work into targeted optimization yet, so we aim for it to get faster in the future.

It will certainly be slower than Ruff, just because multi-file type analysis more complex and less embarrassingly parallel than single-file linting.