MurphyA/hacker-news huggingface dataset:
by kazinator | 2025-05-28 21:27:20+00:00
Practically speaking, if your goal is to protect system resources, which is a practical concern removed from theoretical computer science, the halting problem isn't even the right concern. It's good to know about and all, but the problem is that programs which halt can be a nuisance. You don't care about the difference between "runs for 5 days and halts" and "runs forever".

Some programs run indefinitely by design, like services. Those may be acceptable in a system, but not CPU-intensive, long-running programs.

So you in fact have to reject some programs which halt, and accept some which don't.
by ckrailo | 2025-05-28 21:27:46+00:00
> Valued customer, we identified and are taking steps to address a security incident. We have taken down our website and some in store services as a precaution. Our team is working around the clock to fully restore operations. We appreciate your patience during this process. In the meantime, our Victoria’s Secret and PINK stores remain open and we look forward to serving you.
by godelski | 2025-05-28 21:28:14+00:00
I think these are the two main headaches with experimenting. No matter what kind of experiment you're doing (computation, physics, chem, bio, whatever)

- Why the fuck aren't things working - Why the fuck are things working

The second is far more frustrating. The goal is to understand and explain why things are the way they are. To find that causal structure, right? So in experimenting, getting things working means you're not even half way done.

So if you are "organized" and flexible, you can quickly test different hypotheses. Is it the seed? The model depth? The activation layers? What?

Without the flexibility it gets too easy to test multiple things simultaneously and lose track. You want to isolate variables as much as possible. Variable interplay throws a wrench into that so you should make multiple modifications at once to optimally search through configuration space but how can you do any actual analysis if you don't record this stuff. And I guarantee you'll have some hunch and be like "wait, I did something earlier that would be affected by that!" and you can go check to see if you should narrow down on that thing or not.

The reason experimenting is hard is because it is the little shit that matters. That's why I'm a crazy pretentious "perfectionist". Because I'm lazy and don't have the budgets or time to be exhaustive. So free up your ability so you can quickly launch experiments and spend more time working on your hypotheses, because that task is hard enough. You don't want to do that while also having to be debugging and making big changes to code where you're really just going to accidentally introduce more errors. At least that's what happens to my dumb ass, but I haven't yet met a person that avoids this, so I know I'm not alone.
by maleldil | 2025-05-28 21:28:35+00:00
If you have strict static type checking, type errors can't creep in, so you don't need runtime checking. pyright (type checker) will tell you when a runtime check is redundant. For example, if you already have `var` annotated (or inferred) as `str`, then `if isinstance(var, str)` is statically guaranteed to be true.

Of course, that's only if you trust all the types in your code. You still have escape hatches, such as Any and cast, that can break this guarantee. There are lints (from ruff) and pyright options to help with this. Concerning external libraries, I either use libraries that are 100% typed (which is common these days), or write my own type-safe wrappers around the others.
by layer8 | 2025-05-28 21:28:57+00:00
The general rule is that things should be versioned together that change together. Separate repositories should be thought of similarly to separately versioned libraries. Dependencies between repositories should have stable interfaces. Design decisions that are likely to change should be encapsulated within a module, so that these decisions are hidden from other modules (a seminal paper about that is [0]). These considerations should guide any split into separate repositories.

[0] https://wstomv.win.tue.nl/edu/2ip30/references/criteria_for_...
by KoolKat23 | 2025-05-28 21:29:23+00:00
They do use it.

Sorry I have it the wrong way round, there was earlier confusion which led to the below article and my incorrect understanding.

The system uses the eircode and the postman uses the address. (It makes sense a person would use the street address.)

https://www.irishtimes.com/news/ireland/irish-news/an-post-c...
by ucarion | 2025-05-28 21:29:37+00:00
One way is that it's really obvious what you're supposed to do with Tesseral! Like, here's our Go SDK docs:

https://tesseral.com/docs/sdks/serverside-sdks/tesseral-sdk-...

It's pretty clear what you're supposed to do. Keycloak can't give you that kind of clarity, because they're designed to accommodate products that are B2C/B2B, single- or multi-tenant. Sometimes Keycloak is an IDP or an OAuth gateway, sometimes Keycloak is a customer identity management product.

Keycloak requires you to have familiarity with technologies at a level beyond what most developers have worked with. When your customer says "I need to enable SAML, and require it for all logins", with Keycloak you now need to know how SAML works, how to configure it, and how to walk your customer through that process. (FWIW, they can't support SCIM at all, you need to install a 3rd-party plugin.)

In Tesseral, all you need is this [0]:

import { useOrganizationSettingsUrl } from "@tesseral/tesseral-react"; const Example = () => { const organizationSettingsUrl = useOrganizationSettingsUrl(); return <a href={organizationSettingsUrl}>Organization Settings</a>; }

That code above is your answer to SAML, SCIM, customizing login methods, disabling Log in with Google, inviting users, or anything else your customer will ask for.

[0]: https://tesseral.com/docs/sdks/clientside-sdks/tesseral-sdk-...
by yamazakiwi | 2025-05-28 21:29:38+00:00
While everything you said does happen, it is not everyone, nor is it every command.

In my 4 years we never had a single sailor show up to work drunk at my command, even once. They would be reprimanded. They might showup hungover sure, but not drunk. I did hear stories from other ships about a few high ranking officers showing up to base drunk but those were isolated incidents.

I never talked to anyone who had ever snuck alcohol on the ship and I was cool with everyone. I was on a destroyer so maybe on a larger ship this is easier to get away with.

I myself had my Liberty removed for 6 months because some kid who was not invited to our party stole 2 bottles of alcohol from us and got blackout. We found him in the beach bathroom passed out on the ground and had to physically carry him for a 45 minute walk back to base. He was in the hospital for 3 days. We lost our privilege to leave the ship for 6 months.

Let's be honest. Being in the Navy is terrible, alcohol is the way the culture copes with how terrible it is. You experience so much bullshit that the only thing that keeps you going is the idea that one day you'll get back to land and be able to get wasted. The problem is you can't drink or celebrate at sea so people go overboard once they get back on land. Yeah people get too drunk and drink too much, but so do college kids, which are the same age as many of these sailors.
3-Week MVP Sprint (Node/React/AWS) – 2 free builds for early partners
by mackerricher | 2025-05-28 21:30:00+00:00
Hi HN,

I’m a solo full-stack dev (10 yrs, Node + React + AWS) experimenting with an AI-assisted “3-Week MVP Sprint”. The process combines Replit’s code-gen, ChatGPT Pro, AWS CDK boilerplates, and my own scripts/templates to ship a production-ready MVP (CI/CD, auth, metrics, CDK) in ≤ 21 days.

To pressure-test the workflow—and get public case studies—I’m offering 2 free sprints to pre-seed/seed founders who meet these constraints:

• ≤ 3 well-scoped epics (example: auth, CRUD dashboard, Stripe billing)• Happy with Node/React stack on serverless AWS• Daily Slack check-ins & 30-min reviews M/W/F• Will post a short LinkedIn/HN testimonial + let me share anonymized screenshots/GIFs

Why do this?– I want hard, real-world data on whether modern AI tooling can truly compress a 3-month agency project to 3 weeks without cutting corners on security or scale.– If it works, I’ll productize the service at a flat $32 k rate (vs. $50–100 k typical agency quotes).

What you get (free pilots):• Live demo URL, repo, infra scripts, hand-off doc & recorded walkthrough• All IP transferred on delivery day• No strings attached—though I’ll offer paid follow-on if you want more features.

If you’re interested (or skeptical and want to poke holes), comment here or email me: runway at example dot io. I’ll update this thread with progress logs, benchmarks, and retrospectives so the community can judge whether the “3-Week MVP” claim holds up.

Happy to answer any technical or process questions!

—(Tech stack: Node, React, TypeScript, serverless AWS with CDK, Dynamo, Storybook, GitHub Actions)
by stackskipton | 2025-05-28 21:30:44+00:00
>Everyone gets various special pay depending on their command and those don't compare to the Australians varying pay largely by role.

What special pay? Sea Pay or Hazardous Duty pay? That's obviously location based incentives and not rating based compared to Flight Duty pay, though that's consider "Hazard Pay"

>I'm not sure what you mean by this. If you are deployed on a ship then everyone has "siren calls". All 4 of those rates earn the same money and get additional pay for command based increases unrelated to their rate specifically.

Siren call of much higher job prospects with a ton more money for ITS/CTN compared to YN or RS.
by immibis | 2025-05-28 21:30:46+00:00
Ultimately all of this comes down to currency power, which is why I personally hope one of these highly alternative web-of-trust currencies takes off and starts supplanting mainstream currency. (Any currency will end up getting corrupted too, eventually, though)

The only two I remember are Circles and LedgerLoops.

In Circles, each user gets their own currency not fungible with anyone else's. Payment channels are set up between each user and their immediate friends; users also allow automatic conversion between their currency and their friends' currency. Payments are routed through the trust network through a route that has capacity at each step - this is the anti-Sybil design - you always receive coins of your immediate friends' currency. Each user's coins are minted at a certain rate, and the system does accounts for the devaluation over time of each user's currency, so it's a bit like balances can be somewhat negative, and reset towards zero from either direction with time.

That's obviously a complex system, and radically unlike ordinary currencies. There are many reasons it probably doesn't work; I hope they all turn out to be wrong.

LedgerLoops is the other one I remember. Users post things they want to buy and things they want to sell. The system finds loops where each user gives something to the next in the loop. Apparently this is surprisingly efficient. There is no currency at all. This one, by contrast, is extremely simple, and also radically unlike ordinary currencies. This doesn't have a UBI component.
by bumby | 2025-05-28 21:31:09+00:00
>And how often are the "life cycles" really just the accumulation of bad short-term decisions catching up with the company?

I do think technical debt is a real problem, but to play devils advocate, the “life-cycle” is often a pivot from “innovation” to “maintenance”. Companies rightly begin to focus on the aspects of business that make them money and will often cannibalize R&D to focus on high-margin areas. That’s why “mature” companies often focus on innovation via acquisition.
by hermitShell | 2025-05-28 21:31:16+00:00
This is very fascinating as a limit case, which always serve as a good example of the bound. I think it highlights that “efficiency isn’t everything” just like in so many other systems like healthcare and justice. In this case we could figure out the activation functions by analysis, which is impossible for problems of higher dimensionality. The magic of AI isn’t in it’s efficiency, it’s in making things computable that simply aren’t by other means.
by mattgreenrocks | 2025-05-28 21:31:31+00:00
Right. In fact, it doesn't usually characterize an entire market, more often it's just certain segments: sometimes you want McDonalds, sometimes you want a Michelin-starred restaurant.

Similarly with the example: lots of guitarists are keen on NAM (Neural Amp Modeler) because it is free and runs on a PC, or one of the cheaper hardware pedals such as the ToneX. The low-end of this market is always chasing the high-end, but these cheaper options are fantastic for the sound quality they can produce and have come a long way from the L6 Pods of years ago.
by brudgers | 2025-05-28 21:31:47+00:00
1. The Audiophile market caters to people who spend money to signal the importance sound plays in their lives. An expensive cable provides value in that regard.

2. I know this is not the motivation, but sending analog audio signals over twisted pair network cables works really well. This is often referred to as “audio over Ethernet” and these cables might be technically better for that (and they might not).

3.People with significant wealth don’t see $500 as a lot of money.

4. An audio installer with cost plus for materials makes more money installing it and avoids “aren’t these cables better?” questions from discerning customers whose discernment is driven by advertising, marketing, and online enthusiast forums.

Or to put it way $500 is not a lot to spend on something that makes you happy, even if it’s not what would make us happy.

Good luck.
by skydhash | 2025-05-28 21:32:21+00:00
TAPL is nice, and also very dense. I haven't fully read it, but my current understanding is the follow: Both the Turing Machine and the lambda calculus only describes how to act on data. They don't actually describes what the data is. So you can craft an algorithm that works well, but it can be supplied with the wrong type of data and it will goes haywire. Your only recourse is to trust the user of your algorithm.

What type does is to have a set of classes of data, then have rules between those classes. You then annotate your code with those classes (combining them if it's possible) and then your type system can verify that the relations between them hold. To the type system, your program is data.
by rubicon33 | 2025-05-28 21:33:42+00:00
I do/done a little bit of everything. Backend Java, mobile ObjC (iOS) and Java (Android). Spent 2 years as a firmware dev on NRF platform so very familiar with spending time on data structures and byte alignment. I’ve also spend 4 years doing TS/JS back in the early Angular days.

Everyone’s different I guess, but for me I’ve never really reached much for a notebook. I just start writing code, refactor as needed, and rely on tooling from debugger/IDE/devtools when and where applicable.
by internetter | 2025-05-28 21:34:28+00:00
storage is cheap, but if you wanted to improve this:

1. find a way to dedup media

2. ensure content blockers are doing well

3. for news articles, put it through readability and store the markdown instead. if you wanted to be really fancy, instead you could attempt to programatically create a "template" of sites you've visited with multiple endpoints so the style is retained but you're not storing the content. alternatively a good compression algo could do this, if you had your directory like /home/andrew/archive/boehs.org.tar.gz and inside of the tar all the boehs.org pages you visited are saved

4. add fts and embeddings over the pages
by shkkmo | 2025-05-28 21:34:39+00:00
The doxxing is questinable, but much less questionable than your presentation of events.

Coinhive earned 35% of everything mined on any site, not just the image board. They had no means stopping malicious installations from stealing from users. This provided hackers financial incenctive to compromise as many sites as possible and Coinhive's incentives were aligned with this. The choice on Monero as the base blockchain made it pretty clear what the intentions were.

> Lessons learned: Good ideas in paying for your content needs to pass the outrage culture test. And Krebs is ... not a honest news source.

Don't create tools clearly intended to facilitate criminal activity, make money off of it, and expect every to be OK with it.
by EvgeniyZh | 2025-05-28 21:35:13+00:00
There are quite a few benchmarks for which that's not the case:

- live benchmarks (livebench, livecodebench, matharena, SWE-rebench, etc)

- benchmarks that do not have a fixed structure, like games or human feedback benches (balrog, videogamebench, arena)

- (to some extent) benchmark without existing/published answers (putnambench, frontiermath). You could argue that someone could hire people to solve those or pay off benchmark dev, but it's much more complicated.

Most of the benchmarks that don't try to tackle future contamination are much less useful, that's true. Unfortunately, HLE kind of ignored it (they plan to add a hidden set to test for contamination, but once the answers are there, it's a lost game IMHO); I really liked the concept.

Edit: it is true that these benchmarks are focusing only on a fairly specific subset of the model capabilities. For everything else vibe check is your best bet.
by internetter | 2025-05-28 21:35:55+00:00
recently I've come to believe even IA and especially archive.is are ephermal. I've watched sites I've saved disappear without a trace, except in my selfhosted archives.

A technological conundrum, however, is the fact that I have no way to prove that my archive is an accurate representation of a site at a point in time. Hmmm, or maybe I do? Maybe something funky with cert chains could be done.
by benregenspan | 2025-05-28 21:36:11+00:00
> The logical conclusion of this entire arms race is that bots will eventually have no choice but to run actual browsers

I think this is almost already the case now. Services like Cloudflare do a pretty good job of classifying primitive bots and if site operators want to block all (or at least vast majority), they can. The only reliable way through is a real browser. (Which does put a floor on resource needs for scraping)
by miohtama | 2025-05-28 21:36:59+00:00
xAI is paying to be "the default" AI of s chat app of 1B monthly active users.

They pay for distribution and they likely believe they can later monetise this by sheer mass, roping people in Grok or offering professional paid services.

Telegram has in-app monetisation for 50 payment providers and more than hundred countries. They also have crypto but it is unrelated.

Also if someone still believes into the freedom of speech, Telegram was just banned in Vietnam this week when they refused bend the knee to the government. It aligns with Musk's ideology.
by create-username | 2025-05-28 21:37:06+00:00
*Rethinking evidence from BYU researchers adds nuance to that message, suggesting not all sugar sources carry the same risk. In the largest and most comprehensive meta-analysis of its kind, BYU researchers—in collaboration with researchers from Germany-based institutions—found that the type and source of sugar may matter far more than previously thought. Researchers analyzed data from over half a million people across multiple continents, revealing a surprising twist: sugar consumed through beverages—like soda and even fruit juice—was consistently linked to a higher risk of developing type 2 diabetes (T2D). Meanwhile, other sugar sources showed no such link and, in some cases, were even associated with a lower risk. “This is the first study to draw clear dose-response relationships between different sugar sources and type 2 diabetes risk,” said Karen Della Corte, lead author and BYU nutritional science professor. “It highlights why drinking your sugar—whether from soda or juice—is more problematic for health than eating it.” https://news.byu.edu/intellect/rethinking-sugar-byu-study-sh...
by westurner | 2025-05-28 21:38:42+00:00
Are there smaller AC to USB-C PD power adapters than GaN?

GaN > Transistors and power ICs: https://en.wikipedia.org/wiki/Gallium_nitride#Transistors_an...

Rectifiers > Rectifier circuits, Rectification technologies: https://en.wikipedia.org/wiki/Rectifier#Rectification_techno...

https://news.ycombinator.com/item?id=40693984#40720147 :

> Is there a rectifier for gravitational waves, and what would that do?

Basically just abs() absolute value eh

IDK what the SOTA efficiency of these is: "Nanoscale spin rectifiers for harvesting ambient radiofrequency energy" https://news.ycombinator.com/item?id=43234022

BespokeSynth is an open source "software modular synth" DAW that can host LV2 and VST3 plugins like Guitarix, which can also add signal transforms like guitar effects pedals. Tried searching for an apparently exotic 1A universal power supply. Apparently also exotic: A board of guitar pedals with IDK one USB-A and a USB-C adapter with OSC and MIDI support; USB MIDI trololo pedals
Ask HN: Does it make sense to be in SF if you are bootstrapped?
by kingkhalid | 2025-05-28 21:39:03+00:00
I'm a founder currently based in Europe, considering a move to San Francisco. I've been building my startup without outside funding and plan to keep bootstrapping for as long as possible.

From the outside, SF seems heavily geared toward VC-backed startups. That makes me wonder: does it actually make sense to base yourself there if you're bootstrapping and not looking to raise anytime soon?

Curious to hear people's thoughts.
by jiggawatts | 2025-05-28 21:39:26+00:00
The reason this is big news is that modern physics theories such as quantum electrodynamics and the Standard Model can be used to calculate certain measurements such as the anomalous magnetic moment of the electron to absurdly high precision, with prediction and experiment differing in only about one part per ten billion.

Run the same calculations for the Muon, and... err... not so good, previously differing by 3.5 standard deviations.

Either the theory is wrong, or the experiments are wrong. The former is very interesting, because Muons are easy to experiment on, and if we can find "new physics" in something so ordinary, then it's an "accessible" regime for conditions that can be reproduced in a lab (albeit a big one).

This paper is saying that the discrepancy has been solved by using a more fancy set of computations and newer experiments at Fermilab.

In other words: No new exciting physics.

Still though, this is interesting because a mystery was solved, even if the answer is in some sense boring.
by Permik | 2025-05-28 21:39:47+00:00
"Minds beyond ours", how about abstract life forms, like publicly traded corporations. We've had higher kinded "alien lifeforms" around us for centuries, but we have not noticed them and seem generally not to care about them, even when they have negative consequences for our survival as a species.

We are to these like ants are to us. Or maybe even more like mitochondria are to us. Were just the mitochondria of the corporations. And yes, psychopaths are the brains, usually. Natural selection I guess.

Our current way of thinking – what exactly *is* a 'mind' and what is this 'intelligence' – is just too damn narrow. There's tons of overlap of sciences from biology that apply to economics and companies as lifeforms, but for some reason I don't see that being researched in popular science.