MurphyA/hacker-news huggingface dataset:
by AdieuToLogic | 2025-06-23 00:04:32+00:00
Speaking of make...

A while back I attended an open-source conference (which was a lot of fun). After the presentations, people would "set up shop" at tables and jam on whatever was their fancy.

One evening there was a person using make as a SAT solver[0]. That blew my mind to be honest. I had used make for years as a build tool and never thought of it in that problem space.

This memory isn't relevant to this project. I was just reminded of the experience is all.

0 - https://en.wikipedia.org/wiki/SAT_solver
by gerdesj | 2025-06-23 00:05:36+00:00
I put Zwave window sensors on all windows at work (40 of them). These devices have two AAA cells. One of the gent's window sensors used to "die" far quicker than any of the others and eventually stopped working. I should explain: "gent's" := men's toilet.

The sensors are quite large and simple and the gent's windows tend to be left open more often than the other windows. One of the two gent's sit down toilets is generally preferred to the other for very minor reasons but it is preferred.

So, the battery terminals were getting slightly corroded on that window sensor because it was open more often to the outside environment.

I've rubbed a bit of silicone sealant into the crack between the two parts of the sensor and expect that it will survive better now.
by spwa4 | 2025-06-23 00:06:17+00:00
Can I ask you an honest question? Why would this be humiliating?

I get that the whole world likes to blame the CIA for Iran ... despite of course socialists (by which I mean the socialist international, as well as socialists in the sense of worldwide protests) of course having much more to do with the rise of the Iranian regime, and indeed supporting the Iranian regime even after it became clear that they like to attack, even kill, their own people just for propaganda. That does not make the Sha's actions ok ... I get that, but the point was that they do not compare. But more: even if I'm wrong, why would that be humiliating?

Also: I'm a geek. Perhaps a bit older but not (much) different. I do not really feel much if everyone disagrees with me. That happens regularly, and whilst I'm definitely wrong on occasion, I've done very well disagreeing with everyone too.
by selcuka | 2025-06-23 00:06:23+00:00
> it has something to do with Israel being an ally

There are many allies of the US, still they are not exempt from the Non-Proliferation Treaty (NPT). I'm not sure if it's a sane strategy to permit a single ally who has never signed the NPT [1] to build nuclear weapons, unlike your many other allies or non-allies:

> The roots of this preferential treatment go back to a secret 1969 understanding between U.S. President Richard Nixon and Israeli Prime Minister Golda Meir. The agreement essentially allowed Israel to keep its nuclear weapons as long as it remained silent about them and avoided nuclear tests. That bargain has held ever since, with successive U.S. administrations turning a blind eye to what would be a clear violation of international norms if committed by any other state.

Causing a power imbalance in the region doesn't seem the right way to keep peace.

[1] https://www.eurasiareview.com/23062025-israels-nuclear-ambig...
by narnarpapadaddy | 2025-06-23 00:06:24+00:00
One addendum / clarification:

It may also be that "space" and "time" are emergent properties, much like an "apple" is "just" a description of a particular conglomeration of molecules. If we get past Planck scales it may turn that out that there are no such things as "space" and "time" and the Planck constants are irrelevant. We currently don't know but there _are_ a few theoretical frameworks that have yet to be empirically verified, like string theory.
by commandersaki | 2025-06-23 00:07:31+00:00
These are some notes I wrote when I started out with typst when comparing with LaTeX:

1. It doesn't generate 5 bloody files when compiling.

2. Compiling is instant.

3. Diagnostics are way easier to understand (sort of like Rust compiler suggestion style).

4. List items can be either - item1 - item2, etc. or [item1], [item2]. The latter is way better because you can use anchoring to match on the braces (like "%" in vim), which means navigating long item entries is much easier.

5. In latex you have the \document{...} where you can't specify macros so they need to be at the top, in Typst you can specify the macros close to where you need them.

6. It's easier to version control and diff, especially if you use semantic line breaks.

7. Changing page layout, margins, spacing between things, etc., footers with page counters, etc. just seems way easier to do.
by heylook | 2025-06-23 00:07:36+00:00
There are plenty of places where this is the standard.

Anecdote time: I joined a not-quite-FAANG in an acquihire. Some of my teammates negotiated hard on the way in; I did not. After I got into management, I learned that they're perfectly willing to give you an extra $10k on your initial salary offer, but then you just get a lower raise after the first year, so everyone ends up in the same spot almost immediately anyway. The $10k was a rounding error in the total comp, and anyway they preferred to have steady employees who could be happy in a good situation for many years, rather than mercenaries who were more likely to chase vanity metrics and leave half-finished projects when they left in 18 months. Equity comp was generous and non-negotiable.
by jen729w | 2025-06-23 00:10:50+00:00
Let's use this to share our favourite stations.

Shonan Beach FM, based in Japan. 'Lofi Japanese jazz', I guess? When I lived in a house with a HomePod I had a shortcut hey Siri, Shonan Beach! that was activated most mornings. This was on all day as a low-volume background track. Love it.

https://radio.garden/listen/shonan-beach-fm-78-9/qg9qo6VR

(I was in Australia, timezone-adjacent. YMMV if you're connecting at 03:00 Tokyo time. Also they do a lot of talking on the weekends.)
by falcor84 | 2025-06-23 00:11:01+00:00
The first comment to the post referenced Kent Beck's:

> "The value of 90% of my skills just dropped to $0. The leverage for the remaining 10% went up 1000x. I need to recalibrate" [0]

At the time that felt like an exaggeration, but from my own use of Claude Code over the last month, I now entirely agree. My take on this is that we need to educate future devs from the very start as engineering managers - to be concerned a lot more with the "what", the "why" and the "is it good for our expected needs" rather than the low-level "how".

[0] https://tidyfirst.substack.com/p/90-of-my-skills-are-now-wor...
by notepad0x90 | 2025-06-23 00:11:58+00:00
The liquidiy-hot core and mostly-gas mass makes sense. but somewhere in between, being shielded from the sun (not that it makes a big difference at Jupiter's distance) and having enough distance from the hot core should mean some metals and other substances would solidify right?

I wonder if there is a thin crust filled with hot swirling liquid, which would explain its "largest in the solar system" magnetosphere (some planets and moons have none).

I like to think that Jupiter and the Jovian moons are better suited for human exploration than Mars. Mars has no magnetosphere or large amounts of water. many of the Jovian moons have water and radiation is minimized due to proximity to Jupiter. Saturn's ice rings can also be transported for humanity's needs.

We could be making space-ship yards and settlements with a mining economy based out of Ganymede and Europa if we weren't busy finding creative and new ways to kill each other. Projects like the ISS are great starts but they're focused on scientific experimentation, not that there's anything wrong with that, but it's been decades and humans haven't even started planning practical applications of all that research. Lots of probes and satellites that cost tens of billions of dollars but not a single plan to establish a Lunar base for civilian and commercial use, or to explore the solar system.

Look at JWT, it is possible to get the political will and financing, even when there is no near-term profit in sight. How much more if humans took risks, made nuclear powered propulsion (despite the risks!) and attempted to make actual pioneering progress! Imagine taking Lunar shuttles being as common as taking an airplane flight to a different continent. The militaries of the world alone would be happy to contribute to his due to the side-effect it has on military technology advancement. It is practical to expect a pace of progress like that in our lifetimes (30-50 years), humans went from flight to moon landing within the span of a normal adult's lifetime.

My observation is that humans have gotten too risk averse and complacent. "It's not about the dog in the fight but the fight in the dog".
by AnotherGoodName | 2025-06-23 00:12:23+00:00
I honestly think sites like stockx where they open the package and verify before shipping it forward will overtake amazon despite the increased costs. Absolutely not invested in stockx in any way, just an opinion that was formed as follows;

Amazon was built on trust. I bought a book from them in the early days. It didn’t arrive after 2 weeks and they said ‘we believe you’ and they shipped me the book again at no charge. A week later i got 2 books, the first was lost in transit. Contacted amazon and they and no problem keep both and give one to a friend. I and many others were loyal to amazon after these experiences, paying more due to the lack of hassle and high trust. They became the default online bookstore thanks to this trust. It wasn’t even worth price comparisons, you looked on amazon and bought it there knowing you’d get the product you paid for.

That’s now gone. They have fallen to ebay levels of trust at this point. You’re likely to be shipped a box of rocks rather than what you wanted at this point.

People are willing to pay more for trust and the lack of hassle it represents. I want to buy a hard cover book that’s well printed. If i keep getting poor photocopies on tissue paper the trust is gone. I'll happy pay more to buy from a site where that never happens. I won’t even bother with price shopping when one site is a good chance of a scam and the other isn’t. In fact i’m pretty sure that’s where amazons dominance as the default online store came from and i’m shocked at how little care they have for this fact.
by unbelievr | 2025-06-23 00:13:50+00:00
Here it's typical that a thesis will be printed as a book, and it's that book that will be evaluated. For PhDs, there's a doctoral defence in front of a committee, peers and other interested parties and they're all given the book.

Usually the process for ordering books is that you send them a PDF with embedded fonts inside it, and it's made at the university's printing house. They will handle distribution etc. So you really, really want it to look right at the first go.

There's been some progress the past few years now where you get to preview the book somewhat, but one surefire way to get it right is to use something like LaTeX. It used to be one of few WYSIWYG solutions out there. And it used to be really hard to do certain required things in e.g. Word. For instance skipping some page numbering and doing others in roman numerals etc.
by crazygringo | 2025-06-23 00:14:34+00:00
Rich watch people can be spendy because it's fashion and, for mechanical watches, the idea of timeless functionality at the highest levels of craftsmanship.

This is exceptionally cool to me. But it's not something you get to subtly show off in public, it's going to (hopefully) involve a cheap watch, and therefore the "timeless functionality" appeal is gone.
by waltbosz | 2025-06-23 00:14:43+00:00
This is true. I've been using LLMs for code generation, and it does stuff I don't understand well. Also it makes mistakes, bugs.

What I do find helpful is use it to ask for suggestions for how to achieve some result, then learn from the code it gives me.

But even then, going back to this code later is difficult because I didn't go through that period of the failure research success learning loop.
by mjevans | 2025-06-23 00:15:11+00:00
Probably health regulations and existing infrastructure.

They have an Industrial Dishwasher. It's pretty good at blasting dishes, bowls, plates, cups, utensils, etc, things with all their surfaces easily exposed and no narrow inner areas, with hot water and a bit of chemicals like detergents to get things clean. Maybe it's some other device for smaller faster loads.

Cleaning a straw properly, _drying_ it properly. That sounds like a giant pain. Potentially a massive liability. (Detergents stuck in the straw? Someone's food and diseases not cleaned properly?)

I could see Silicone straws maybe working, but not as well in a lot of respects. They'd need a specialized cleaning process. Maybe boil in water with something to force (and measure) water flow through them. Then transfer to a baking chamber to dry and sanitize with heat. This sounds labor and energy intensive. Just gut instinct, I'm pretty sure it'd be cheaper to use some of that industrial compostable plastic to make a plastic straw. If some paper straw that didn't suck (as outlined in my other post) were used instead that'd be OK too.
by furyofantares | 2025-06-23 00:16:49+00:00
I'm doing a reasonable size project with Claude Code doing almost all of the programming, and it's quite challenging.

Vibe coding is easy and fast, but you end up not being an expert in the code base or really having any idea about it. And once it reaches a certain size, the LLM isn't an expert on it either. It is only an expert on cleanly isolated sections of it, which, by the way, it's really bad at producing without lots of good guidance.

Bespoke coding is easy and slow, and you end up an expert in the systems you make.

What I've found is once the system is beyond the size that an LLM can reasonably handle, it's faster to be an expert than to try to get the LLM to do things; in some cases infinitely faster (the LLM can't do it.)

Maybe you get a system of that size done in a week instead of 3 months with vibe coding, and this applies to subsystems as well if they're isolated. But for now you really still want someone to end up an expert in all the code that was produced.

So for now I think there's a big skill point that is still only achieved by humans -- guiding the LLM to produce systems that both the human and the LLM will be good at long term. That is, NOT vibe coding from the beginning, but doing something a bit slower than vibe coding and much faster than bespoke coding, with an eye toward clean, testable, isolated systems - something the LLM is not naturally any good at making but can be done with good guidance.
by gwynforthewyn | 2025-06-23 00:17:02+00:00
It’s only a feeling, but I’d swear I’ve seen variations on this post across a half a dozen software-adjacent subreddits every day for the last month. The common denominator has always been “Paying $200 for Claude Max is a steal” with absolutely no evidence of what the author did with it.

I honestly think we’re being played.
by porcoda | 2025-06-23 00:17:41+00:00
Not all of us fell into that trap! My dissertation was written almost entirely using a default document class and a handful of packages, and only towards the end did I apply the university document style to come into compliance. I had more than enough to do on the subject of the PhD and didn’t have the patience to burn time on typesetting or fiddling with macros.

I’ve found in the decades since then that my most productive co-authors have been the ones who don’t think about typesetting and just use the basics. The ones who obsess over things like tikz or fancy macros for things like source layout and such: they get annoying fast.
by danjl | 2025-06-23 00:17:46+00:00
Unlimited vacation is in no way the same thing as 6 weeks of actual vacation. Look into it a bit more. You'll see that unlimited vacation is really just a scam. In your case it's worked out. Actual vacation days are tracked and part of your salary. For example, if you leave, you are entitled to the wages of your remaining untaken vacation days. Unlimited vacation is a favor that your manager is granting. The company is not obligated to grant your request. You have no legal right to take the days off as you do with real vacation.
by chc4 | 2025-06-23 00:17:59+00:00
While everyeone is just unilaterally asserting things, I'll jump in: no they won't. Practically every output of LLMs I've seen (even the "cutting edge" agentic ones that everyone says you have to evaluate or else your opinion don't count) has been poor quality with baffling bugs. These things do actually matter. Especially for anything that can be remotely described as "niche" or "research" they are astonishingly bad - maybe they're great for Go microservices or webdev, but there's a huge gap from there to "the entire software developer industry is doomed". Just calm down, man. You don't have to either breathlessly praise AI or start doomsaying, or say they're flat worthless, but a bit of humility over how uncertain the future may turn out is a noble trait to have.
by gnabgib | 2025-06-23 00:18:14+00:00
Article title: Stem Cell–Derived, Fully Differentiated Islets for Type 1 Diabetes

n=14, 2 died during the study, 10 had insulin independence (the paper does not say cured).

Funding conflict: Funded by Vertex Pharmaceuticals (the makers of the cell–derived islet-cell therapy)
by protocolture | 2025-06-23 00:18:52+00:00
I think the issue with doing business in the US is that theres technically a way to do anything you want. But if you mess up, choose the wrong state or area its ripped away.

I have been heavily downvoted for it before, but the US is one of the worst places to do business. Culture is the primary issue, but even beyond that its a legal nightmare.

Oh and infrastructure sucks. The culture and management of critical infrastructure is so horrific that if you have any experience dealing with intelligent practitioners you will bounce off the yanks extremely quickly.
by muzani | 2025-06-23 00:19:38+00:00
They do seem distinct. The ones who are Iranian are not the ones who support the Iranian regime. It's the anti-Israeli groups who support Iran's nuclear aspirations. Similarly, the Israeli friends are also not in support with Israel's actions.

I'm positive there's some selection bias here - ultra-nationalists don't hang out with other races.

But it goes with what we've been saying about bloodlust and dehumanization. The most excited ones are the ones who don't live anywhere near there.
by boznz | 2025-06-23 00:19:52+00:00
I think a better way to read this philosophy is trust in Allah but tie up your camel to be sure. We must rely on well written software but even software with no bugs would have to rely on hardware with no bugs and everything from power blips to cosmic rays. Systems meant for human safety should be able to detect and recover from errors without intervention in a timeframe that prevents dangerous issues from occurring.
by dontTREATonme | 2025-06-23 00:20:01+00:00
Oh lol. So you’re just ignorant. There was no serious attempt at western colonialism in Judea and Samaria or any part of the ME. As soon as the Ottoman Empire fell the LoN immediately created a plan for self rule in that area that ended up having a shorter timeline than the occupation of Germany following WWII. Look up when Syria, Jordan, Lebanon, Egypt, etc all became independent nations. Even Israel’s timeline from the end of WWI to its establishment was less than 30 years.

“Violent Zionism” was inconsequential in comparison to the violence the Muslim population visited upon their Jewish (Zionist) neighbors/subjects/citizens from 700CE when Islam was formed through 1947 when the partition plan was proposed, and all the way to the present day.

So again, I say, you’re dehumanizing Muslims by refusing to acknowledge that they are responsible for their own actions. Because even if everything you claim was true (it isn’t), you are still claiming they are not capable of bearing responsibility for their own actions and instead any violence they commit is the responsibility of nebulous “western colonialism” and inchoate “violent zionism”. The bigotry requires to totally remove an entire religion’s agency is, as I said before: breathtaking.
by blindriver | 2025-06-23 00:20:06+00:00
San Francisco was not associated with tech or Silicon Valley until the late 2000s-early-2010s, when companies like Twitter and Uber opened headquarters here because of tax incentives. Then startups started popping up everywhere and it transformed the entire city, to its detriment.

As a tech worker myself, I think San Francisco pre-tech boom was a great city that was a lot of fun to live in, but afterwards, there were simply too many rich young tech workers that filled every venue and every activity to the point where it's intolerable. Everyone was trying to complete the 8x8 list and become a Yelp Elite member, and getting into any decent restaurant meant waiting in line for 90+ minutes. The city became very unaffordable and the people were much angrier because of how much harder they had to work to afford living there.

I have several friends who were not in tech but rather different walks of life, from publishers to graphic designers, nurses, government workers, etc. They are all gone now to different cities because it was too expensive to live here, and by trading in the culture of the city to the tech mono-culture, the city is much worse for it.