skysight-inc/HackerNews huggingface dataset:
What’s strange is there are battery operated solutions right? Something like meteor.js or you could go with a mean stack, or be all in on AWS. Or he could just go with squarespace or Wix!

This feels like the whole 15 standards xkcd thing. I mean, I get what he’s saying, but I also feel like his proposed solution has as many if not more problems than the problem he is trying to solve. Like, you can somewhat have what he’s suggesting now, but either you get screwed on pricing or it would reduce innovation.
Thanks looks great so far.

Also has pattern matching which I should also have mentioned in my top level post.
Top US vaccine official forced to resign from FDA, reports say
Scientists uncover key mechanism in evolution: Whole-genome duplication drives
'Scientists uncovered how whole-genome duplication emerges and remains stable over thousands of generations of evolution in the lab.'
Since I never heard of it before, I looked it up.

It's some website https://simplex.chat/ with some claims about privacy because they don't use user ID:s (uh).

Do explain to me why anyone should trust this sus russian project [1] over the well regarded Signal?

1: https://find-and-update.company-information.service.gov.uk/o... (proof of russian natinality of Evgeny Poberezkin)
Show HN: GitHub organization analytics running on GitHub
I’ve got some bad news about the good benefits of donating $2m to the Trump campaign.
Indeed it's worth mentioning, to a general audience, that iRealPro only displays the harmonies (chord changes) for tunes, and not melodies. Whereas, "fake books" include both melody and harmony.

The reason is that copyright only covers melody and lyrics, not harmony. So the harmonies are essentially public domain.
I have mixed feelings.

I just switched to Django from Supabase/Firebase. The main thing I like is theirs a plugin for everything you’d want.

It’s also much easier to actually self host, Supabase is open source, but actually doesn’t self host all that well. You have a bizarre gap between ’free’ with constant nag emails warning you there about to turn off your project, a 25$ paid tier and a black box enterprise level. Call us isn’t very transparent.

For Plain, I’d much rather this be a Django plugin, I don’t want to replace a well supported and documented framework with a 1 person fork. Definitely looks cool, but you’ll never be able to provide the same ecosystem and support as the main Django project.
When I say empty, I mean, houses are there, and they are unoccupied. Schools are there, but there aren't students. Etc.

Did you even read what I linked? And it was not the only reason I wrote the comment. There are other points in the comment as well.
DBOS was the first thing I thought of when I saw this.

From a DBOS perspective, can you explain what the differences are between the two?
After learning Erlang, it was painful to go back to any language which didn’t offer pattern matching. Such a great language feature.
Chat with the Founding Fathers
$4.75mln seem like a great deal for a working prototype?

I'd love one of these in MS Flight Simulator or DCS.
The CDC buried a measles forecast that stressed the need for vaccinations
https://archive.is/6rEAl
How did the large brain evolve?
No,"mock" here refers to some library or toolkit external to the system under test.
Those mock libraries tend to require quite a bit of convoluted setup to create, involving defining both the behavior and the expectations.
After the test is run, the mock runs its checks to flag any unmet expectations.
The stub defined here does not include any complex setup and post-test checking.
Its behavior is entirely a "no-op" version of the production dependency.
In addition, because mocking tools are general purpose,
they have complex logic for handling a broad range of inputs and verification tests.
This technique instead uses simpler, bespoke code and leaves the Assert part of the three As to the test code.
I'd keep an eye on Roc https://www.roc-lang.org/

Also, Elixir is working on gradual types, which is something I would keep an eye on.
https://hexdocs.pm/elixir/main/gradual-set-theoretic-types.h...

https://www.youtube.com/watch?v=giYbq4HmfGA&t=1s
Is Paul giving himself a pass for the companies he funds?
If you lose nobody cares about how powerful you are.

The Russian army is more powerful than Ukraine‘s, still no win. Same with Russia in Afghanistan.
My issue with all proposed systems is their accessibility. I want them on my phone and computer as equal clients of the information.
I used org for a while but there is no easy org app on iOS. I tried for months to use it, but it was too cumbersome.
I think you really are describing ocaml, which is a great language, although its ecosystem isn't the best. It probably inspired most of the features you mentioned in rust. It also supports OOP (hence the O) but it's easy to avoid.

That said, I wouldn't compare it to scripting languages. The lack of implicit conversions / traits / ad-hoc polymorphism means it's not that convenient for scripting.
@aequitas, Hi Johan, nice surpise! After wondering why I couldn't get enough of the movie Office Space, I quit the tech industry completely. Never felt better.
No evidence has been presented that any of these individuals "support Hamas". Protesting against Israel's killing spree in Gaza is not supporting "terrorism", it is arguably protest against a form of state terrorism.

Disregarding legal directives of judiciary is another aspect of these events that is highly concerning.

Freedom of speech, rule of law, not having an (unofficial) aristocracy, and undivided loyalty for our nation (alone) are (were?) the essence of American values.

> I think it's entirely reasonable to rethink our relationship with the people that are obviously exploiting the process.

That is irony for you folks. I'll let you do the thinking on the unspoken matter here.
The use case would be where the arguments are expected to be filled in by the function - ie, as additional return types.

Consider if we have `A <= B <= C`, and a function:

int Copy([out] Array<B> dest, [in] Array<B> src);

Given some potential inputs:

Buffer<A> asrc = ...
Buffer<B> bsrc = ...
Buffer<C> csrc = ...

Buffer<A> adest = allocate(...)
Buffer<B> bdest = allocate(...)
Buffer<C> cdest = allocate(...)

The following should be true:

Copy(adest, asrc); // No! - How would Copy know how to copy `A` values when it only knows about `B`?
Copy(adest, bsrc); // No! - src argument is OK, but how can it downcast them to `A`?
Copy(adest, csrc); // No! - Same as above, and src elements must be at least `B`s`.

Copy(bdest, asrc); // Ok. - Any `A` in the src are interpreted as `B`s.
Copy(bdest, bsrc); // Ok, - all values are interpreted as `B`s.
Copy(bdest, csrc); // No! - Argument elements must be at least `B`s`.

Copy(cdest, asrc); // Ok - values are interpreted as `B`s in src, and as `C`s in dest.
Copy(cdest, bsrc); // Ok
Copy(cdest, csrc); // No! Argument elements must be at least `B`s`.

If the `dest` argument were contravariant, it would permit invalid copies and forbid valid ones.

Copy(adest, asrc); // pass (wrong)
Copy(adest, bsrc); // pass (wrong)
Copy(adest, csrc); // fail

Copy(bdest, asrc); // pass
Copy(bdest, bsrc); // pass
Copy(bdest, csrc); // fail

Copy(cdest, asrc); // fail (wrong)
Copy(cdest, bsrc); // fail (wrong)
Copy(cdest, csrc); // fail

In a purely functional setting, you should not need a covariant parameter type because all writes would end up in the return type.

copy : Array<B> -> Array<B>
I agree, but sometimes you don't know all of the details of a gig before agreeing to play, especially since I'm not the top call bassist in my locale. Then you put on the best show you can under the circumstances.
Chinese strength is that they have a manufacturing economy and oversupply on everything.

They have a great incentive to quicken AI science, as it will lead to disillusionment, if not replacement, of the knowledge economy, in other words the US economy. I believe this to be the hidden motive and it's not about profit.
So, why didn't the board tell the other executives (and employees) what Murati had told them. When it was them in the firing line, why didn't Ilya tell that story? They could have just fired Murati (based on the screenshots presented) and continued as before. Or what am I missing?
> mental health benefits

Until they tell the patient what happened to their data.
So the Taliban have ten aircraft carriers and the ability to bomb any target on Earth without losing the plane?
The Crown Jewels are worth between 3 and 5 billion pounds.

Look, if you read “priceless” in a headline about a painting and think it literally means that the painting has a vast, unknown value that can never be determined, that’s on you.
Is making music something "good and new"? Art?
I bet there are billions of people no where near a bus. I'm one of them.
LG drops support for DTS sound on its 2025 TVs
Did he read the end?
Also a typical strategy in every other form of government, oddly enough.
That tends to happen if you’re rich.
What evidence are you basing this in?

The way I see it, everything points to the opposite being true: US companies, by and large, are completely dominant in technology. Google seems to be winning the race and is exactly the "one company for all people" kind of place you're talking about. Academic studies have generally shown that diverse teams outperform monocultures.
I'm not sure what you're getting at here but none of the features you mentioned are groundbreaking anymore? At least in Swift:

result/sum types = enums whose cases have associated values

inferred typing = Swift "type inference"

Not object oriented or overly prescriptive with functional programming. = Uh, yes

Those features map to Kotlin too
I use it in production[0] and it's a delight so far. When Porffor[1] is ready you could compile to WASM through JS for self-contained binaries!

[0]: https://blog.nestful.app/p/why-i-rewrote-nestful-in-gleam

[1]: https://porffor.dev/
Show HN: Jeasx, the Ease of JSX with the Power of SSR
Jeasx embraces modern HTML and CSS as the core building blocks for web development, complemented by server-side rendered asynchronous JSX. It provides the flexibility to seamlessly enhance functionality using JavaScript, empowering developers to create dynamic web sites with minimal resource consumption.
What more can a person do than eat, drink, and take joy in their work?
> One interesting thing is how the Incan organizational capability mostly vanished. The original empire was really extremely well organized, but today's Bolivia and Peru don't show any particular aptitude in this direction.

All Iberian colonies follow this trajectory. This stems from a Mediterranean attitude towards wealth and work which privileges politics over industry as a means of personal enrichment; politics here encompassing both the clientelism that characterizes these societies as well as the military adventurism and propensity to revolution that this region is famous for.
Subtyping is one form of type polymorphism. Others include:

- parametric polymorphism (generics, templates, ...)

- ad hoc polymorphism (type classes are the nicest example)

- https://en.wikipedia.org/wiki/Row_polymorphism I think this one is the most relevant for the record discussion.
> The transition from an industrial to a service/information economy was handled by the zeitgeist before Gen X's time.

That's not entirely accurate. Sure textile mills and foundries were on a downward trend in the 70s and 80s but it wasn't until NAFTA came along that the bulk of manufacturing industries offshored. North Carolina retained it's command of furniture manufacturing and the timber industry was thriving up the eastern seaboard until then.
Exactly. I don’t get the end game here. People are going to lose a lot of money.
I don’t know any that come close in functionality, configurability, and maintainability. Exchange scales from a one-person handyman to Fortune 500 without a hitch, it comes with an office suite and cloud storage space, you find specialists for it on every corner, and it mostly just works. That’s pretty hard to beat, even if I’m personally more than unhappy to be so dependent on Microsoft, a US product, and closed-source software; there’s just not much I can do about it.
What the AI companion can do different things?
Built a web app on AI girlfriend idea I have Online, as far as I know, most of the chatting apps for men exist where you can talk about NSFW subjects, but I made it differently. Built this app for the purpose of helping support everyday vibes and jobs, workouts, date night, or anytime you need a boost. This is my MVP which talks at the moment. And give me some feedback if you'd like.
Thanks!
1) Hasn't happened that I'm aware of, it's definitely something trump is loudly signalling he wants to do. Even issuing executive orders about it. [1]

2) Fair point.

3) You still have a right to appeal unfavorable determinations.

4) This assumes the ICE agents are following the laws. I don't believe they are.

5) Even as someone caught by ICE you still have the rights to an attorney and you have legal rights to claim this was a false arrest. ICE may have extra enforcement capabilities over non-citizens, it cannot hold citizens.

6) One of the most recent deportees, Rumeysa Ozturk, didn't protest. She wrote an op ed [2]. Further, ICE violated judicial orders not to deport. [3]

[1] https://www.usatoday.com/story/news/politics/2025/01/27/trum...

[2] https://www.tuftsdaily.com/article/2024/03/4ftk27sm6jkj

[3] https://www.cnn.com/2025/03/29/us/rumeysa-ozturk-tufts-unive...
So sam was getting paid - possibly in egregious amounts while lying to congress?
The US government could buy out Musk, keep the company public while owning a majority of the shares and do nothing with them unless the company does something incredibly stupid.

That's how China does it.
Alarm as Florida Republicans move to fill deported workers' jobs with children
> Discovery does nothing to prevent either party from destroying or withholding evidence.

It literally criminalizes it! People go to jail and lawyers get disbarred for obstruction every year. And as a result reputable firms won't even try to dance around these things. If you're an attorney and get a subpoena or discovery request, you tell your client to freeze their backups right away and send repeated emails reminding them, then print them out and file them along with the response. This is true even if it's a ridiculous request you know you'll beat. Because you know if you fuck this up you'll lose your career.

I mean... have you ever actually talked to a corporate lawyer?
Smart furniture using radar technology for cardiac health monitoring
It also leads to the irony that eventually, you’ll build libraries that then have breaking changes and you’re managing both the library and all its versions and the applications that use it.
Swick: Instant Games Without Downloads–Beta Open for Testing
I’ve built Swick, an app that lets you play games instantly—no installs, no waiting, no endless scrolling to find something fun. The idea came from frustration with how clunky it is to start gaming on most platforms. Swick simplifies it: open, tap, play.

It’s in Beta, and I’d love feedback from the HN community. To try it, you’ll need to join the Google Group and opt in as a tester (Android only for now):

Join the Google Group: https://groups.google.com/g/swicktesters

Opt in as a tester: https://play.google.com/apps/testing/com.main.swick

Download: https://play.google.com/store/apps/details?id=com.main.swick

Thoughts? Suggestions? Let me know what you think—feedback form here: https://forms.gle/3FCdECR2dasx9sfv5
In medium-sized companies, I learned not to represent anything as rewriting. Some projects were massively reshaped, sure.
I read it more like he's considering what to throw his money at, and it sounds like he wants to throw his money at companies that make good new things.
The real important question is: why? And why now?
I remember all the other major shorts.

In those cases, it usually revolved around Tesla releasing either the Model 3 or Y, and they were betting against Musk's execution in general. What wasn't really up for debate (in my mind) was the technological lead or the demand in the marketplace for the car.

Essentially, Tesla was primed in both situations for a huge market they had to themselves: electrified transport.

Now?

- demand is tanking, and the brand is permanently damaged, well, as long as Musk is at the helm.

- competitors are everywhere

- technological moat (with respect to EV drivetrain/construction) is gone. I could argue their cylindrical cells are legacy/semi-obsolete in fact, since IMO pouch cells are superior for LFP/sodium ion, and who knows what solid state will optimally package.

Anyway, things are VERY different in my opinion.
Some of the early comments here almost read as astroturfing from friends of 'sama. This article provides interesting context to one of the most consequential SV events of the decade.
I was with you until “immediate societal collapse”, what?
You can innovate that part away /s
Maybe I'm a zealot, but I use Rust-script with cmd_lib. Rust-script lets you define the libraries at the top of the file (instead of in a Cargo file) and cmd_lib gives you macros to call commands directly almost like in Bash. Then you can iterate over the output way faster than in Bash. It recompiles after any changes, and subsequent runs just call the compiled executable. The downside is that the cache does grow, but it's not that noticeable.
Past presidents don't hold command over any military. France sent a former president to jail just a few months ago. Brazil and South Korea are in the process of putting a former president on trial. El Chapo was billionaire and had a private army of murderers – he's currently in prison.

The main reason Trump hasn't been impeached and (possibly) jailed is because the political system in the US is dysfunctional. Party because it's not a great system to start with, and partly because a critical section of people made the decision to intentionally break it for selfish gain. But there is nothing that says it needs to be like this.
I use PT because I can’t remember which is the current and I don’t want to run a command to find out.
Silvering is a separate and older process than silver mirrors, as in the metal silver applied to a glass surface.

The Wikipedia page on silvering points to the 1400s in Europe, and the 10th century for the eastern Mediterranean :
https://en.wikipedia.org/wiki/Silvering
Do you feel the same way about WiFi? The big hassle is getting the laptop out of the bag, not plugging in the Ethernet cable?
No source, just speculation. I think my main point is that these aren’t regular people that we need to feel sorry for or rise up in arms to defend.
This makes no sense.

He sold a bunch of Tesla stock, used other stock as collateral for a $6B loan and the rest was outside money.

He did all this for a $6B loan he could repay no problem?
I used to work for a NoSQL company that was more or less an XQUERY engine. One of the things we would complain about is we did use wikipedia as a test data set, so the standing joke was for those of us dealing with really big volumes we'd complain about 'only testing Wikipedia' sized things. Good times.
More like jail time for the journalists.
Is that the reason for pro-life?

Cheap labor?
It has to be asked, are students from Ireland, UK, Germany, Norway getting the same email ?

For some reason I really doubt it.
People do not last in Trump's orbit. I'm shocked Musk has lasted as long as he has. I though he'd practically be a Scaramucci.

Every six months is a 50% chance of ejection.
I think I can see something of where you're coming from. But a question:

You complain about dates in JSON (really a specific case of parsing text in JSON):

> If they implement dates, sometimes it's unix-time, sometimes it's 1000x off from > that, sometimes it's a ISO8601-inspired string, and fuck sometimes I just get an > HTTP date. And so on.

Sure, but does not XML have the exact same problem because everything is just a text?
There's a pretty big split between what Americans want and what the US government wants. Same for EU and European citizens.
I'm sure other priorities at those Chinese companies are also in conflict with making money.
Yes, you can install shit off the play store without a google account. I use the Aurora Store to do so.

(Aurora store might log in to a google account behind the scenes, but I don't have to have a google account to use it.)
Somewhat similar to my answer (borrowed from children's publisher Klutz Press): "Create wonderful things, be good, have fun"

https://charlieharrington.com/create-wonderful-things-be-goo...
Ok, but they still are more powerful. That’s what the discussion was about. Having a disadvantage and losing doesn’t mean it’s not the most powerful military that ever existed.
> because PHP and Javascript will implicitly convert back and forth

If you can provide (valid!) methods `T -> U` and `U -> T` for two types, why wouldn't `T = U` hold? (Atleast for types where `=` makes sense)

This is the definition I am using:

> S is a subtype of T, written S <: T, if a value of type S can safely be used in any context where a value of type T is expected.

from Pierce's "Software Foundations"

Of course, you may not want to make `String <: Number` and `Number <: String` (and thus `String = Number`), because there is no sensible way to do so; but this is an issue with the way PHP/JS handles subtyping, not with the notion of subtyping itself and certainly does not apply to the example of nullable types.

Unfortunately, I am not familiar enough with C++ to comment on the other question, sorry!
Nim was great along these lines when I tried it. But that was before the v2.0 which apparently was accompanied by drama and a fork.
It is priceless in the sense that its value is an unknown and unset. If it were a true depiction of Shakespeare of the era then it would almost certainly become one of the most valuable paintings in the world. What is that price? Who knows. Whatever someone would be willing to pay. Might be 50 million might be a billion. Nobody knows. Any attempt to price it is just a guess. Therefore it is priceless. Its value has no upper bound.
GL.iNet's hardware has been great, but it's always annoyed me their products are designed with OpenWRT as an unsupported "advanced function" where updates lag behind the main project. If OpenWRT Two breaks this pattern, then I am very intrigued.
Indeed, making money is obviously a much better goal than embarrassing things like preventing the end of humanity or making the world a better place.
Fruit loves animals. That's why it makes itself so tasty, bright-coloured and so on.
You mean the regulators threatened by DOGE?
Using my mouse I was attempting to hold space bar and click 3 notes and then release and hit P to play the chord back but was not able to
> These days there is no reason to use Windows at home.

I have two, sadly.

1. I use my Windows PC for flight simulators. While many simulators will indeed run under proton, the hardware devices (VR, joysticks, throttles, pedals, panels, etc.) usually will not, or at best run with minimal functionality.

2. I develop cross-platform software and need a Windows PC to test that environment.

A third for some people:

3. There is no great alternative to certain visual media software. e.g. Affinity Photo/Adobe Photoshop has no equivalent on Linux. No, GIMP is not anywhere near equivalent- in the same way that Nano is not equivalent to Visual Studio Code.
Manjaro is to Arch as Ubuntu is to Debian.

It's just Arch with some extra bells and whistles out of the box.

This describes about 85% of all Linux distros. It's just something else with extras.
Maybe PG is "superficial". Hmm ... It may be that commonly drilling down as deep as can is not productive and, instead, there is some wisdom that commonly productive solutions are surprisingly simplistic, i.e., "superficial"?
These fellows have all the juicy (chimpanzee) office gossip:

https://web.archive.org/web/20181204052813/https://www.newte...