MurphyA/hacker-news huggingface dataset:
by godelski | 2025-05-04 04:49:44+00:00
It is hard to answer because of exactly what ndriscoll said[0]

> It's like trying to argue about the distinction between U(1), the complex numbers with magnitude 1, and the unit circle, and getting upset when the mathematicians say "those are 3 names for the same thing". Or saying that writing C is programming but writing in a functional language like Scala or Haskell (or Lean) is not.

As ndriscoll suggests, it is tautological. I mean look at what I said. I really need you to hear it. I said that coding is math. So what I hear is "How programming languages helps with programming languages?" Why are you expecting me to hear anything different?

> What math says about zero based indexes?

Start at 0? Start at 1? Who cares, it is the same thing. The natural numbers, non-negative integers, integers, even integers, who cares? They're the same thing. And who cares about indexing at 0 or 1 in programming? That's always been a silly argument that's inconsequential.

> How do you prevent off by one errors?

By not being off by one? What's the question? Like being confused about if you start at 0 or start at 1 and how to get the right bound? It is a shift from one to the other, but they are isomorphic. We can perfectly map. But I really don't get the question. You can formalize these relationships with equations you know. I know it isn't "cool" but you can grab a pen and paper (or a whiteboard) and write down your program structure if you are often falling for these mistakes. This seems more about the difficulties of keeping track of a lot of things in your head all at once.

> How do you prevent buffer overflows?

By not going over your bounds? I'm so confused. I mean you are asking something like "if f(x) = inf when x > 10, how does math help you prevent the output of the function from being infinite?"

Maybe what will help is seeing what some of the Programming Languages people do and why they like Haskell[1].

Or maybe check out Bartosz Milewski[2,3]. His blog[2], is titled "Bartosz Milewski's Programming Cafe: Category Theory, Haskell, Concurrency, C++". It may look very mathy, and you'd be right(!), but it is all about programming! Go check out his Category Theory Course[3], it is _for programmers_.

Don't trust me, go look at papers published in programming language conferences [4]. You'll find plenty of papers that are VERY mathy as well as plenty that are not. It really depends on the topic and what is the best language for the problems they're solving. But you'll certainly find some of the answers you're looking for.

Seriously, don't trust me, verify these things yourself. Google them. Ask an LLM. I don't know what to tell you because these are verifiable things (i.e. my claims are falsifiable!). The only thing you need to do is look.

[0] https://news.ycombinator.com/item?id=43882197

[1] https://excessivelyadequate.com/posts/isomorphisms.html

[2] https://bartoszmilewski.com/

[3] https://www.youtube.com/watch?v=I8LbkfSSR58&list=PLbgaMIhjbm...

[4] https://www.sigplan.org/Conferences/
by the_real_cher | 2025-05-04 04:49:59+00:00
The best part about New Orleans is that it's an absolutely terrible investment. At any summer a massive hurricane could wipe it off the face of the planet.

Why this is great is because it makes it unattractive for rich real estate developers and rich gentrifiers from moving here and wiping out the culture by turning it into strip malls and suburbia like the rest of the country.
by kweingar | 2025-05-04 04:50:48+00:00
I don't think there was ever a sustainable route to a semantic web that would work for the masses.

People wanted to write and publish. Only a small portion of people/institutions would have had the resources or appetite to tag factual information on their pages. Most people would have ignored the semantic taxonomies (or just wouldn't have published at all). I guess a small and insular semantic web is better than no semantic web, but I doubt there was a scenario where the web would have been as rich as it actually became, but was also rigidly organized.
by pjmlp | 2025-05-04 04:51:36+00:00
Since GCC 14, that GNU Modula-2 is part of GCC.

Also XDS has been freely available for a couple of years now.

What I miss is that there is no modern equivalent of formating keywords on save, I helped with one plugin for Sublime Text on Oberon, maybe need to do the same for VSCode.
by pazimzadeh | 2025-05-04 04:51:49+00:00
I understand that. But maybe at 205 days you won't detect a change which would more easily detectable later. Maybe we don't know exactly what to look for, but if something breaks over the long term that would give a clue.

They also only looked at the health of one generation, along with the number of offsprings from that first generation. What happens after 10 generations? 100? Could there be cumulative epigenetic effects from deleting this gene?
by ivraatiems | 2025-05-04 04:54:12+00:00
I'm not sure how "we want ultra-high non-woke pure-meritocracy hiring standards and we'll aggressively filter out anyone who even smells like they won't pass those standards" is compatible with "we need butts in seats doing this work immediately." I also am not at all surprised that people do not want to begin working for a government which has made it clear it despises all of its workers. You really can't have it both ways. (And plenty of perfectly capable/qualified people, myself included, read all this "anti-DEI" stuff exactly the same way that the anti-DEI people read DEI itself, as a means of preselecting who is entitled to compete for jobs.)

The solution is not to "de-wokify" anything - nor is it to "wokify" anything. All of that stuff is a sideshow. The solution would be to offer massive incentives in order to get highly competent people to see ATC as a good career choice. That means big salaries, very flexible training timelines, and in general, willingness to spend a lot of money on the program to make it attractive. ATC is an intense job being done by people who are under a lot of strain. It doesn't sound appealing to most. That would need to change.

What am I missing here?
by wanderer2323 | 2025-05-04 04:57:06+00:00
ADC (Application Default Credentials) is a specification for finding credentials (1. look here 2. look there etc.) not an alternative for credentials. Using ADC one can e.g. find an SA file.

As a replacement for SA files one can have e.g. user accounts using SA impersonation, external identity providers, or run on GCP VM or GKE and use built-in identities.

(ref: https://cloud.google.com/iam/docs/migrate-from-service-accou...)
by pjmlp | 2025-05-04 04:57:45+00:00
For me it definitely never went away, as I mostly done Java (JSP, JSF, Spring), or ASP.NET (Web Forms, MVC), with sprinkles of JavaScript islands.

And what makes me like Next.js, besides the SaaS SDKs that give me no other framework choice, it is being quite similar to those experiences.
by bratwurst3000 | 2025-05-04 05:00:14+00:00
? this is people dying in the alps and show how safe mountaineering is.

„ For France, Soulé et al. reported approximately 25 fatalities per year, calculated for a 4 year period, with a slight predominance of traumatic (approximately 45%) versus non-traumatic accidents (approximately 35%) and nearly 20% disappearances „

The Mont blanc is in france and one of the most climbed mountains in the world.

I think this „ many people die while mountaineering“ is bragging or watching to much social media
by vasco | 2025-05-04 05:00:51+00:00
I haven't yet understood this pattern (and I tried using duckdb). Unless you're only ever going to query those files once or twice in your life, importing them into postgres shouldn't be that long and then you can do the same or more than with DuckDB.

Also as a side note, is everyone just using DuckDB in memory? Because as soon as you want some multiple session stuff I'd assume you'd use DuckDB on top of a local database, so again I don't see the point but I'm sure I'm missing something.
by EnPissant | 2025-05-04 05:01:59+00:00
>I loathe GitHub PRs because of this. Working at $dayjob the unit of change is the commit, and every commit is reviewed and signed off by at least 1 peer.

Because this is exactly what a squash merged PR is. There is no meaningful difference unless you say "but commits are done by good people and PRs are done by bad people".
by godelski | 2025-05-04 05:02:33+00:00
Oh, they did it much more than twice: https://news.ycombinator.com/item?id=43873381

But then again, isn't a good portion of this thread non-mathematicians arguing about what math is? I really thought ndriscoll put it succinctly[0]

> It's like trying to argue about the distinction between U(1), the complex numbers with magnitude 1, and the unit circle, and getting upset when the mathematicians say "those are 3 names for the same thing".

I fear the day some of these people learn about Topology.

[0] https://news.ycombinator.com/item?id=43882197
by teleforce | 2025-05-04 05:05:52+00:00
>I know this is where some people are going to go all “It’S NoT a $1,000 DoLlAr bOaT bEcAuSe YoU pAiD $5,000 fOr It!” on me. Well, the electric boat cost $1,080, which is what I paid to the factory. All the rest went to the container ship, the customs broker, taxes, US trucking, and other associated costs.
by swid | 2025-05-04 05:07:25+00:00
I think arguably there is no bug here, but the blog doesn't do a good job of explaining the issue and their fix may work because they remove the CTE and switch to `=`, but they prove they don't understand why the difference when they suggest "using id IN (...) might still be necessary"; if you do that, then the problem will return.

There are two factors here.

The subquery

SELECT id FROM task_queue WHERE queue_group_id = 15 FOR UPDATE SKIP LOCKED LIMIT 1

can return different ids each time you run it. If it was ordered, then it would always return the same id and if postgres optimized in a way that it runs more than once it would just get the same result each time anyway.

Otherwise, you need to force postgres to evaluate your subquery exactly once by materializing it. There are different ways this might be accomplished - the blog post does this incidentally by using `=`. But it is not the only way to tell postgres that.

For instance, like this. But it is fragile - without AS MATERIALIZED, it could be run more than once.

WITH candidate AS MATERIALIZED ( SELECT id FROM task_queue WHERE queue_group_id = 15 FOR UPDATE SKIP LOCKED LIMIT 1 ) DELETE FROM task_queue t USING candidate c WHERE t.id = c.id RETURNING t.item_id;
by BuyMyBitcoins | 2025-05-04 05:11:17+00:00
Yes, it is not a mandatory procedure. However that misses the point. As an elective procedure made without an immediate and compelling reason, it should be left to the individual to make the decision and no one else. It should not be done routinely and the decision is not to be made casually. Most American parents simply elect to have the procedure done because they consider it “normal” and don’t investigate much further, if it all.

As for UTI reduction, I should have framed this differently. There is a reduction, but is that reduction worth it? Tonsillectomies used to be routine, but now they aren’t and are only suggested if there is a chronic problem. Surveys have been conducted and found that an overwhelming number of intact men would not have the procedure done just to have fewer UTI’s. I for one, would rather treat such infections as they arise rather than amputate some tissue just so that I could deal with those uncommon infections less often.

>”We accept the practice for newborns under the logic that it will be less traumatic and less risky than doing it when they come of age later in life.”

It is said that it is less traumatic to do this at birth, but I question this. I suspect people only believe this because babies cannot articulate what is happening to them and none of us are able to remember anything from our infancy. I have no idea what babies “think” but if we agree that this surgery is traumatic and risky, I simply don’t believe one can argue that it is less traumatic and less risky for a human who is only a few days old. A newborn cannot possibly understand and contextualize the intense pain that it is being subjected to, both during the procedure and during the recovery. Whereas an adolescent or an adult opting for this procedure would be informed beforehand, give explicit consent, and be given sufficient anesthesia.
Show HN: Auto-commit tool to keep your GitHub streak alive (Mac)
by AshB4 | 2025-05-04 05:12:43+00:00
Hey HN

I built a little tool called Green Square Ritual. It’s a macOS automation kit that wakes your machine and commits to GitHub for you every day, so your contribution streak never dies — even when you’re taking a break.

What it does: Auto-schedules daily commits via cron

Wakes your Mac if it's sleeping

Logs everything (success/failure, errors, ritual.txt)

Supports “vacation mode” by toggling a simple file

Pro version has voice sass and a fake hacker trap that Rickrolls nosy users

Try it out: The Lite version is free/pay-what-you-want. It includes:

Fully obfuscated automation script

One-click setup .command file

A short PDF “Dev Spellbook” to walk you through install

Download here (no email or sign-up required): https://fleurdevie.gumroad.com/l/bbztz

Would love your feedback — especially around:

Making this Windows/Linux compatible

Adding commit message customization

Whether obfuscation is helpful or overkill

Thanks! – Ash (dev/designer/wizard in disguise)
by mike1o1 | 2025-05-04 05:15:19+00:00
Yes, unfortunately that is the big weakness of LiveView. It also suffers from what I call the elevator problem, where LiveView apps are unusable with unstable connections and flat out stop working in an elevator or areas with spotty connections.

However, Elixir and Phoenix is more than just LiveView! There’s also an Inertia plugin for Phoenix, and Ecto as an “ORM” is fantastic.
by peteforde | 2025-05-04 05:17:05+00:00
I was thinking about this further, and I wanted to say that you're confusing what you want with what "we" "need" to do.

I'm not trying to be argumentative so much as point out that different people/companies have different goals, motivations and values. There are many stops between avoidance and zealotry.

For the people/companies who were happy to pay for Greensock and happier to use it for free-as-in-beer, clearly there is something there which speaks to them regardless of how it is licensed. It's important to remember that freedom means people can absolutely choose a paid product, and that's no moral or ethical lapse but often an educated decision.
by vasco | 2025-05-04 05:17:30+00:00
Unless you propose slaves how are you going to choose the 5%?

Who in their right mind would work when 95 out of 100 people around them are slacking off all day? Unless you pay them really well. So well that they prefer to work than to slack off. But then the slackers will want nicer things to do in their free time that only the workers can afford. And then you'd end up at the start.
by Dylan16807 | 2025-05-04 05:19:48+00:00
They make it very clear that they are praising small commits, and squash merge commits are usually not small. Squashing is the opposite of what they want.

The preference they have is not exactly a problem with github PRs, but github PRs are much more likely to review a big pile of code at once.

The amount of code being reviewed at once is a meaningful and extremely objective measure, and that's the thing they're concerned with. Not who made it.
by LYK-love | 2025-05-04 05:20:22+00:00
> Radical islmaists are definitely a thing, but don't you think, the chinese government considers anyone extremist not ok with one party rule?

This issue is essentially one of trust. If a person cannot be trusted by others, then even if they list facts, others won't believe them. Therefore, even if the Chinese government proves that every extremist is a real one, the West will still believe there are innocent people wrongfully accused among them. I think only mutual communication and firsthand witnessing can eliminate trust issues. According to this webpage[1], if you are a citizen of those listed countries, you can visit China for 30 days without needing a visa.

[1]: https://bio.visaforchina.cn/MAN3_ZH/tongzhigonggao/187866261...
by variaga | 2025-05-04 05:20:29+00:00
I worked on the design of wireless USB chips around 2008 - 2010. They worked - you really could get USB 2.0 full rate connections wirelessly and we had some neat demos.

I would say the major problem it had with adoption was that wired USB also provided power. (A lot more people use usb to charge their phone than to sync their phone.)

So great - wireless connectivity... but you still have to plug the device into a cable at some point (or have replaceable batteries), which makes the value proposition a lot less clear.

Beyond that it suffered from the usual adoption chicken-and-egg problem. Laptop manufacturers didn't want to add it because it was an expense that didn't drive sales since there weren't any must-have peripherals that used it, and peripheral manufacturers didn't want to make wireless usb devices since they couldn't be used with a standard laptop (at least not without a WUSB dongle - which raised the cost).

Still, very fun stuff to work on.
by kensai | 2025-05-04 05:20:30+00:00
It used to be the case that BT was terrible, but in the last few years I have increasingly stable device connections. Could it be they simply ironed out the bugs over the years, the standard matured, and also the manufacturers are more compliant? It just works for me, no horror stories. And BT LE is indeed low energy.

Btw, do you have any other suspected reason (politics aside) that wireless USB did not catch on?
by Beijinger | 2025-05-04 05:20:40+00:00
#!/bin/bash

# Convert images to PDF

img2pdf *.jpg -o images.pdf

# Merge PDFs

pdfunite file1.pdf file2.pdf images.pdf merged.pdf

# Compress

gs -sDEVICE=pdfwrite -dCompatibilityLevel=1.4 -dPDFSETTINGS=/ebook \ -dNOPAUSE -dQUIET -dBATCH -sOutputFile=compressed.pdf merged.pdf

# Remove unwanted pages (e.g., page 3)

pdftk compressed.pdf cat 1-2 4-end output final.pdf

# Add page numbers

pdfjam final.pdf --outfile final_numbered.pdf --pagecommand '{}' --landscape
by swyx | 2025-05-04 05:21:46+00:00
> Presumably "planning" here is covered by any LLM that can do "think step by step" reasonably well?

mild disagree. 1) externalizing the plan and letting the user audit/edit the plan while its working is "tool use", yes, but a very specialcase kind of tool use that, for example, operator and deep research use Temporal for. ofc we also saw this with Devin/Manus and i kinda think they're better 2) there is a form of primitive tree search that people are doing where they can spam out several different paths and run it a few steps ahead to gain information about optimal planning. You will see this with morph's launch at AIE. 3) plan meta reflection and reuse - again a form of tool use, but the devin and allhands folks have worked on this a lot more than most.

my criticism of many agent definitions is that they generally do not take memory, planning, and auth seriously enough, and i think those 3 areas are my current bets for "alpha" in 2025.

> I haven't seen a definition that specifically encompasses both short- and long-term memory before.

here

- https://docs.mem0.ai/core-concepts/memory-types#short-term-m...

- https://x.com/swyx/status/1915128966203236571
by porridgeraisin | 2025-05-04 05:24:45+00:00
This is a case where the science evolved to justify a pre-decided narrative. This was absolutely necessary for an unsustainable food industry in an overly financialised nation(guess which). Don't waste your breath arguing logically. Just try your level best to ensure it doesn't occur in your local food economy, for the near future. Eventually, the GMO folks will reap.
by 2Gkashmiri | 2025-05-04 05:26:07+00:00
You know what. I will share my script in the morning.

I used scantailor go scan a book. That gave out tif files.

So I built a script to convert them to jpg, then merge into PDF. Then OCR and add the text layer on PDF. Then compress.

I know this for a niche automation..... web OTOH where normies reside and are scared by terminal, it wont work.

Been using pdftk for years now but im only person who can use it in my office.
by socalgal2 | 2025-05-04 05:26:55+00:00
> These are all solvable issues with fairly obvious solutions.

No, they are a can of worms and decades of arguments and incompatibilities and versioning

> But the latter is already handled by iframes

iframes don't handle this case because the page can not adjust to the iframe's content. There have been proposals to fix this but they always run into issues.

https://github.com/domenic/cooperatively-sized-iframes/issue...
by ProblemFactory | 2025-05-04 05:27:12+00:00
> later investors effectively collude with founders

> a small startup that never found product-market fit. The economy was bad, and they were running out of money, and they took - as I understood it - a dubious Series B led by a dubious investor

The unfortunate reality is that if a startup cannot survive for long on its own, the economy is bad, and investment interest is low - then past invested effort from founders and employees and money from early investors is a sunk cost. They have together created something with almost no independent economic value.

The later investors can buy the assets created so far at near zero cost (the alternative is a bankruptcy auction). They can reasonably argue that the future value of the business is all from their investment, together with a deal to hire the founders and current employees to invest future effort into it.
by AngryData | 2025-05-04 05:27:41+00:00
Agricultural work is seasonal. For most of the year you aren't working in the fields. Yes planting and harvesting can require longer hours because you need the planting and harvest done as fast as possible in order to maximize yield and reduce spoilage, but you aren't harvesting and planting the fields for the entire year working non-stop. And even then most people worked at their own pace, not every farm was as labor productive as another or even had to be as productive. Some people valued their time and health and comfort, some people valued being able to brew more beer with their 5% higher yield, some valued leisure time more, but it was a personal choice that people made. The industrial revolution is the outlier point in making people work long non-stop hours all the time. Living a subsidence farming lifestyle doesn't mean you are just hanging on a bare thread of survival the entire time like a lot of pop-media likes to portray.
by porridgeraisin | 2025-05-04 05:27:48+00:00
It doesn't matter. The output of a query cannot depend on the plan. All plans should generate semantically equivalent output necessarily. Notice I say semantically equivalent because obviously Select random() can return different numbers each time. But it should still be semantically, one single random number.

In this case, the number of rows changing given the same input dataset, is a bug.
by sph | 2025-05-04 05:30:53+00:00
> it's pretty bleak right now.

My brother in $DEITY, it’s been bleak since 2023 at the very least. Two years later it’s no longer just a phase.

Forget underrated, the only thing that works is referrals and word of mouth. As you’re already in the field, your direct contacts are her best option.
by dhosek | 2025-05-04 05:31:14+00:00
I’ve noticed this when trying to book a flight with American Airlines earlier this year. Their website booking was essentially broken, insisting that one of my flight segments was fully booked but giving no indication of which one and attempting alternate bookings which replaced each of the segments in turn still failed. They’d replaced most of their phone booking people with an AI system that also was nonfunctional and wanted to direct me to the website to book. After a great deal of effort, I managed to finally reach a human being who was able to place the booking in a couple minutes (and, it turned out, at a lower price than the website had been quoting).