MurphyA/hacker-news huggingface dataset:
by moshegramovsky | 2025-04-22 03:30:18+00:00
It depends. For a class or a function, yes, I copy and paste.

When I want a review of a larger project I am working on (2500 classes), I concatenate the chunks of the codebase into a .txt file and upload it to Gemini.

Then we go over it.

I've even uploaded the entire codebase and asked it to write documentation and it did an excellent job providing a framework for me.
by cryptonector | 2025-04-22 03:30:21+00:00
> But there are also binary black holes.

A binary black hole system will keep any other companions quite far from the binary, and perhaps not even allow companions at any distance. What is the density of lone black holes and black hole binaries that we could have in -say- our galaxy before we would notice them frequently in the same way as in TFA? Well, presumably LIGO would sense them, or could if they knew what to look for.
by TimorousBestie | 2025-04-22 03:30:36+00:00
https://arxiv.org/abs/2503.01800

This is the preprint in question.

I haven’t reviewed it rigorously, but I’m a mathematician in a vaguely related domain and the proof outline seems plausible to me.

Prior work in https://arxiv.org/pdf/2408.07818 claims to prove that Boltzmann’s laws are the limit of a certain species of “hard sphere dynamics” as the number of particles gets large and the radius shrinks. This in the setting of unbounded Euclidean space. This is known classically for short time, which is why the 2024 paper purports to cover long time evolution.

The new preprint proves this result in the setting of a compact torus, which is more difficult because particles can collide an unbounded number of times. They seem to address this obstruction.

I give it a “more likely true than false; plausible even if there happen to be technical errors in the exposition.”

As for implications, eh, perhaps in some exotic systems. I suppose one could ask a similar question for magnetically driven particles and see if the answer was magnetohydrodynamics.
by inverted_flag | 2025-04-22 03:31:10+00:00
I wish people would stop posting links to SCMP, it’s a blatant propaganda rag. This article spends five sentences talking about the actual problem solved, and the rest is about the Chinese background of the authors, the Chinese social media reaction, and another unrelated Chinese mathematician who solved something. It doesn’t even link to the arxiv paper!

Here’s a sciam article that’s superior: https://www.scientificamerican.com/article/lofty-math-proble...
by ggm | 2025-04-22 03:31:23+00:00
3 decades ago I did upgrade logistics for NMR labs using HP and Nixdorf based backends to run the machines. What amazed me was how the HP gui was X10. pre X10R4. They decided "good enough" and commercialised a species of interface with a trackball and keyboard, which at least in terms of GUI styling was 1:1 congruent with X10R1 as I saw it in 85 or so. I continue to notice this interface on Ultrasound and like, I guess having coded the FPGAs to work, they just stopped changing it.

It wouldn't surprise me if XT was similar. I remember doing a pre-purchase review of DirecTV and the sat management was OS/2, long long after it was deprecated. Same behaviour in aerospace: keep the tech which works. This is why German armed forces were recently commissioning USB compatible SD type storage with insanely huge plugs, and slow interfaces, to replace 8" and 5.25" media for field upgrades of some devices.
by teleforce | 2025-04-22 03:32:10+00:00
Fun facts, before muslim migration to Yathrib (now Madinah), one of the popular and richest Christian Byzantine Roman Emperors namely Heraclius was questioning the Meccan leader Abu Sufyan at the time (who later in his life become muslim) regarding Muhammad [1].

One of the question was “Do the nobles follow him or the weak?". It's reported that Abu Sufyan answered: “The weak and poor among us follow him. As for the high born and noble, none follow him.” The Emperor after that replied “I then asked you if the noble or the weak followed him. You answered that the weak followed him. Even so has it been with all the prophets, such having followed them.” [2]

[1] Heraclius:

https://en.wikipedia.org/wiki/Heraclius

[2] The Hadith of Heraclius | Part 2 | Heraclius Interrogates Abu Sufyan on the Prophet:

https://www.aljumuah.com/the-hadith-of-heraclius-part-2-hera...
by SantiagoVargas | 2025-04-22 03:32:20+00:00
Haha not quite! We host our main startup (Website + app) on AWS and have been using it for around 7 months internally, it's worked great for us so far.

But if something crazy like the 2023 outage happens again then you're absolutely right. Though you'd likely get a news alert for it - our fallback :)

If we get enough traction we'll look into a multi-cloud setup to mitigate that risk. For now our goal is to help with notifying you when your server goes down due to more common reasons.
by somenameforme | 2025-04-22 03:32:42+00:00
A gamma ray burst is one of the possible hypotheses for the cause of the Ordovician mass extinction event, one of 5 big ones Earth has had. No idea why the Great Oxidation Event isn't included there as it was also one of the deadliest mass extinction events - plants and their vile poisonous oxygen killing off basically everything else.

So I don't think the 'Lindy Effect' would apply as species are mostly perishable, just on longer timeframes. Humanity is hopefully the exception, but absence of evidence of other advanced intelligences in the universe doesn't paint the most promising picture there either. On the other hand we're already on the cusp of colonizing other planets and once that process begins the odds of humanity ever going extinct will approach zero. On the other hand at greater distances "humanity" will likely splinter fairly quickly (relative to on a geologic or even species survival timeline) into numerous distinct species.
Show HN: Juno – A Slack bot that gives everyone their own Executive Assistant
by ritanshu | 2025-04-22 03:32:50+00:00
Hey HN! We just opened the waitlist for Juno — an AI-powered Slack bot that acts like a personal executive assistant for every member of your team.

But here’s where it gets interesting: These assistants don’t just work for individuals — they collaborate with each other across your team. That means: •Your 1:1s are automatically scheduled because Juno coordinated calendars with your teammate’s assistant •Your manager gets a written update based on your real progress — no extra work from you •You stay in flow because Juno handles check-ins and reminders behind the scenes It’s like giving everyone on your team their own chief of staff, without the overhead.

What Juno does today: Writes and delivers updates Coordinates calendars across teammates Tracks progress and helps prep for what’s next Reduces Slack noise — respectfully

Privacy is built in. You control what’s shared and when. No micromanaging. No new tools to learn. Just seamless, async alignment.

We’d love feedback on the idea, implementation, and where you’d find this most useful. If you want early access, we’re opening up slots gradually: https://www.usejuno.xyz

Happy to answer questions!
by freejazz | 2025-04-22 03:33:33+00:00
>Sounds like you can't provide any response to that. Hopefully you've heard about "at will" before and how that works in US. So far it sounds like you're making stuff up or are talking about some other country or region.

A company's right to terminate you is not the same thing as their plausible defense in a wrongful termination lawsuit. That you're bringing up other countries is even more confusing. Nothing I said is related to other countries as I do not live in other countries, I have not been employed in other countries, and I do not practice law in other countries.

>The only exception to this perhaps are the ADA laws, where one can show that the workplace has not accommodated a worker properly. (The ramp is not there / the elevator doesn't have the buttons at the correct height etc). But here we're talking about DEI initiatives not ADA.

I'm not talking about DEI. I never mentioned DEI. Are you confused?

>That's exactly what you're confusing. Some juries can be convinced but doesn't mean that it's a winnable strategy. How many people are laid off across the US and how feasible is for them to bring up lawsuits and how many would be won with the current laws?

What does any of that have to do with my point? I didn't say it was common. I didn't say it was an automatic win whenever anyone is fired. These are all strawman arguments. I was just rebutting the very simple point that was made about direct evidence for a state of mind, which is something that IS true about the US legal system, and certainly exists beyond the concept of employment law.

You have completely twisted this around to being about DEI, and trying to rebut the idea that these lawsuits are constantly won at a loss to these companies. None of that was said by me nor was it even suggested by me.
Show HN: A logic system where inference and operators emerge only from recursion
by jabramsja | 2025-04-22 03:34:01+00:00
RCX is a recursion-only formal system. It assumes nothing — no logic, no types, no operators. Structures emerge from ∅ by recursive pressure. When recursion stalls, minimal fixes lead to operator emergence. Paradox doesn’t explode — it seals. Logic is not built-in; it’s an effect.
by rvz | 2025-04-22 03:35:26+00:00
Depending on your spend on infrastructure and the business revenue, if the problem is not causing the business to increase spending on infrastructure each month or if there’s little to no rise in user complaints over slow downs, then the “optimization” isn’t worth it and is then premature.

Most commonly, If the costs increase as the users increase it then becomes an issue with efficiency and the scaling is not good nor sustainable which can easily destroy a startup.

In this case, the Linux kernel is directly critical for applications in AI, real time systems, networking, databases, etc and performance optimizations and makes a massive difference.

This article is a great example of properly using compiler optimizations to significantly improve performance of the service. [0]

[0] https://medium.com/@utsavmadaan823/how-we-slashed-api-respon...
by runako | 2025-04-22 03:39:24+00:00
> The plans aren't the right size for professional work

I think there is a fundamental pricing misalignment between products that seek to do professional work being sold to people who want them to help with professional work.

Another way: their pricing will likely make much more sense for a person whose coding skill is closer to zero (& who doesn't want to learn) than it will for a person who is looking for an AI assistant.
by gnabgib | 2025-04-22 03:39:30+00:00
Do you think manufacturing improvements were government subsidised? Does China (the solar powerhouse @78% of the world's supply) get a direct kickback from your government? Perhaps it's market based.

https://www.sunsave.energy/solar-panels-advice/solar-energy/...

https://www.investopedia.com/terms/m/marketeconomy.asp
by LargoLasskhyfv | 2025-04-22 03:40:17+00:00
Those 3Com NICs were not that special, ond overpriced for what they did under Linux.

What made them great was the driver support they came with for all other systems.

Which one wouldn't care for under Linux, because that brought its own driver, written by Donald Becker.

There were also fakes on the market, making you wonder wtf was wrong with your setup?

Nothing, just the faked card!

Much more bang for the buck could be had with anything from what's listed here:

https://ftp.sun.ac.za/ftp/pub/documentation/network/tulip.ht... or more general here:

https://ftp.sun.ac.za/ftp/pub/documentation/network/index.ht...

which is a mirror of the former https://web.archive.org/web/20031202023237/http://www.scyld.... long gone.

Similar things applied to SCSI-controllers. Adaptec? Why? NCR/Symbios Logic? Yay!

> ...the hard part was configuring xorg.conf (xfree86.conf? I don't remember) with the appropriate CRT geometry so you didn't kill your monitor.

Not really.

First - 'Multisync' screens were already a thing.

Second - One could cheat by using tables with detailed VESA timings, so it was more or less cut and paste, IF you knew what to paste where, and why :)

Twoandahalf - There were various tools which would calculate all that shit for you, which later on converged into Xorg, like

https://www.x.org/archive/X11R7.7/doc/man/man1/cvt.1.xhtml and

https://www.x.org/archive/X11R7.7/doc/man/man1/gtf.1.xhtml

Third - One could cheat even more by using Suse Linux YAST, which also did that for you. (I knew people who did a minimal install for just using that part, copying the config, and applying that to whatever they really used. Couldn't really understand that, though.)

Knowledge of that came in handy, when I once got a giant 21" CRT, which would show the BIOS and following text modes fine, only to go blank with 'out of sync' if you tried anything graphical. WTF?

Turns out that thing implemented just all sorts of BIOS/textmode for compatibility reasons, and wanted to have 1600x1200 with anything from 70 to 80Hz, and nothing less.

Which meant if you wanted 800x600 for whichever reason on that thing, you had to deliver that with 144Hz, or something. 1024x768, 1280x1024, were sligthly more 'relaxed', just 110 to 120Hz, IIRC.

Which could be fun if your week VGA couldn't deliver that, or if you were a Gamer, and played games which overrode whatever has been setup by tools like SciTech Display Doctor, which is how I got it for scrap :)
by 7speter | 2025-04-22 03:42:00+00:00
There was a rumor that emerged a few weeks ago that they broke down and made an order from nvidia:

https://finance.yahoo.com/news/apple-might-ai-game-1-1951003...

Before that, in a Wired article from 10 years ago about siri and ai, one of the apple higher ups was quoted bragging about having one of the baddest gpu farms around (paraphrasing)
by _blk | 2025-04-22 03:43:25+00:00
There were some comments on pricing that I'd like to comment on: As a one man startup that's fully self-funded I deeply appreciate the prices that aren't straight out of Sillicon Valley. I believe in free market and really don't mind companies doing profit first, but those are often services that simply are out of reach for the more budget conscious of us while adopting new technologies. Let me thus petition for keeping a small enterprise plan in the price range you're now at, maybe limited by nr of employees, company age, and/or even easier, the number of subscription months/years. That'll give us a chance to adopt your service while increasing the value we get from the service.. When the value's there I won't hesitate to pay a higher price for it either.
by rvz | 2025-04-22 03:44:28+00:00
So as I was saying in [0] and [1], there is no doubt that properly tuning the compiler for performance can make a significant real difference instead of wasting more money and risking an increase in costs just by throwing more servers at the problem.

Also, If you needed to re-architect the entire codebase to solve a performance issue, either you chose one of the most inefficient technologies / languages or the code itself was badly architected in the first place or both.

Before any architectural changes to the codebase first check if you can get performance gains from the compiler flags and measure it. That should be the industry standard practice for high quality efficient software.

We must learn from excellent SWEs teams such as DeepSeek which frankly embarrassed the entire AI industry due to their performance optimizations and savings in inference usage.

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

[1] https://news.ycombinator.com/item?id=43753725
by replwoacause | 2025-04-22 03:45:31+00:00
It seems most people aren’t worried about handing their code over to LLMs. Why is that? Isn’t there a concern that they will just train on your code? What if you’re trying to build a business, is there a fear that your idea or implementation will just get stolen or absorbed into the LLM and spit out into someone else’s code base? Or do people just not care anymore because code is so trivial to generate that it’s not worth very much?
by dheera | 2025-04-22 03:46:01+00:00
I remember the days when Uber prices from SF to anywhere on the peninsula would suddenly spike exactly a minute or two after each Caltrain departed. If you just missed the train you paid a lot more.

And then the many times that Lyft violated the triangle inequality in pricing: Ride from A->B followed by a ride from B->C was often cheaper than a direct ride from A->C, if you knew how to pick B correctly. I once confused the hell out of a driver when I got out and got back in the same car at some nondescript spot.
by zelphirkalt | 2025-04-22 03:46:56+00:00
I like partial application like in Standard ML, but it also means, that one must be very careful with the order of arguments, unless we get a variant of partial application, that is flexible enough to let you specify which arguments you want to provide, instead of always assuming the first n arguments. I use "cut" for this in Scheme. Threading/Pipelines are still very useful though and can shorten things and make them very readable.
Show HN: I made TypeScript's type inference more strict (and smarter)
by kakasoo | 2025-04-22 03:47:46+00:00
As a TypeScript developer, I often found myself wishing the type system could do more—*especially when omitting or modifying deeply nested properties* inside complex objects and arrays.

For instance, what if I want to remove a deeply nested field like `user.profile.email` and also something like `user.posts[].meta.shares` from a type?

TypeScript doesn't really provide a built-in way to do that.

So I built *DeepStrictTypes* — a utility that lets you *omit deeply nested keys*, even inside arrays, with full type inference and strictness.

Here’s an example:

```ts type Example = { user: { id: string; profile: { name: string; age: number; email: string; }; posts: { title: string; content: string; meta: { likes: number; shares: number; }; }[]; }; };

// Remove 'user.profile.email' and 'user.posts[].meta.shares' type Omitted = DeepStrictOmit< Example, 'user.profile.email' | 'user.posts[*].meta.shares' >; ```

The resulting type:

```ts { user: { id: string; profile: { name: string; age: number; }; posts: { title: string; content: string; meta: { likes: number; }; }[]; }; } ```

Works great for: - Cleaning up types for API responses - Dynamically transforming deeply nested data - Improving type safety when handling structured JSON

[https://github.com/kakasoo/deepstricttypes](https://github.com/kakasoo/deepstricttypes) Would love your feedback or ideas for improvements!
by fmstephe | 2025-04-22 03:48:24+00:00
This article is a fun read.

If you enjoyed this, or if you need more control over some memory allocations in Go, please have a look at this package I wrote. I would love to have some feedback or have someone else use it.

https://github.com/fmstephe/memorymanager

It bypasses the GC altogether by allocating its own memory separately from the runtime. It also disallows pointer types in allocations, but replaces them with a Reference[T] type, which offers the same functionality. Freeing memory is manual though - so you can't rely on anything being garbage collected.

These custom allocators in Go tend to be arena's intended to support groups of allocations which live and die together. But the offheap package was intended to build large long-lived datastructures with zero garbage collection cost. Things like large in-memory caches or databases.
by btilly | 2025-04-22 03:48:48+00:00
The only thing that I've seen cited as potential evidence either way is that one neutrino, with an energy too high for other mechanisms that we have thought of.

But it is just a single neutrino. And it may be produced by a mechanism we haven't yet thought of.

The black holes that we know about are large. Large black holes are supposed to emit so little radiation that we'd never be able to detect it.
by 7speter | 2025-04-22 03:49:16+00:00
I didn’t realize Marvell stock was down so much. I would’ve thought that there might’ve been an explosion in training and the need for ssd’s (Marvell makes controllers for enterprise drives iirc), and that Marvell would be doing well. NAND drive prices for consumers are a good amount from their lows from 2023, I figure if ssd’s weren’t moving for consumers, maybe datacenters and enterprise were gobbling them up.

Anyway, maybe marvell should focus more on the the consumer side since hobbyists seem to be building crazy ai rigs and likely needs drives, at the very least, for models. It sort of seems like hobbyists are devouring any worthy gpu that gets produced.
by somenameforme | 2025-04-22 03:51:39+00:00
While not a direct answer in itself, I think it's noteworthy that the big bang already requires esoteric physics, like inflation [1], that have no known explanation, source, or parallel anywhere else in existence -- and in fact contradict everything we know about known physics. It's an entirely ad-hoc hypothesis that was largely developed to solve numerous other problems with a big bang, in particular our universe not fitting what would be expected following a "normal" big bang, such as the Horizon Problem. [2]

And so looking for logical explanations for the big bang is already a nonstarter. At this point it remains highly dependent upon ad hoc constructions.

[1] - https://en.wikipedia.org/wiki/Cosmic_inflation

[2] - https://en.wikipedia.org/wiki/Horizon_problem
by alexdanilowicz | 2025-04-22 03:52:01+00:00
> or even easier, the number of subscription months/years.

We do offer 20% off on annual plans! ;)

We're very proud to be largely self-serve and have pricing that is completely transparent right now. Of course, we're open to feedback on pricing, especially enterprise pricing, which is why I was intrigued by the other comment.

And I agree, I think most people forget that a push back on price is really a push back on value, and so the value needs to be there first.
by alganet | 2025-04-22 03:52:46+00:00
For those that didn't catch it, "toasty!" makes reference to Ed Boon, a video game programmer.

He appears as an Easter Egg in several incarnations of the Mortal Kombat series as a head on the side of the screen that says "toasty" in a falsetto voice, particularly when the player applies a perfect uppercut move.

Mortal Kombat also shares the same initials with MK Ultra, a controversial (real or maybe not, successful or maybe not) psyops program supposedly developed by the USA.

Similarly, "Star Wars" also alludes to a controversial USA space program that fluked.

I never noticed the head behind Anakin, but I am assuming it is really there. Thus, the whole thing has striking similarity to that VFX fluke in many angles, making it a great coincidence.
by vr46 | 2025-04-22 03:52:51+00:00
You can definitely include The Telegraph, and certainly The Times as well, I had to cancel my subscription to that, which was only £1 a month, because of their columnists who were SO terrible that I couldn’t face it anymore. These papers are so short of actual journalists now, it seems that only The Cardigan and the FT have people who care about reporting.
by EnPissant | 2025-04-22 03:53:12+00:00
I don't know. I find this:

fn get_ids(data: Vec<Widget>) -> Vec<Id> { let mut result = Vec::new(); for widget in &data { if widget.alive { result.push(widget.id); } } result }

more readable than this:

fn get_ids(data: Vec<Widget>) -> Vec<Id> { data.iter() .filter(|w| w.alive) .map(|w| w.id) .collect() }

and I also dislike Rust requiring you to write "mut" for function mutable values. It's mostly just busywork and dogma.