skysight-inc/HackerNews huggingface dataset:
I manage about 500 servers. Critical services like DNS, mail, tftp, monitoring, routing, firewall... are all running openbsd in N+1 configuration, and in 15 years we had zero issue with that.

Now most servers are app servers, and they all run archlinux. We prepare images and we run them with PXE.

Both those are out of scope for self host.

But, we also have about a dozen of staging, dev, playground servers. And those are just regular installs of arch. We run postgres, redis, apps in many languages... For all that we use systems packages and AUR. DB upgrade? Zfs snapshot, and I follow arch wiki postgres upgrade, takes a few minutes, there is downtime, but it is fine. You mess anything? Zfs rollback. You miss a single file? cd .zfs/snapshots and grab it. I get about 30minutes of cumulated downtime per year on those machines. That's way enough for any self host.

We use arch because we try the latest "toys" on those. If you self host take an LTS distribution and you'll be fine.
If you've had C# and F# co-exist in the same codebase, how do they co-exist? Is it like C# and VB.Net where a project (dll) is either C# or VB.Net, and they can reference each other?

Or: Is it more like the Swift / Objective C ecosystem where Swift, Objective C, and even straight C can co-exist in the same library?

In a mixed C# and F# codebase, generally when do you favor C# versus F#?

Coming from a C# background, what are the areas where F# is a better language?

Any success stories for F#, especially if it co-exists with C#? Any horror stories?
I did most of this too! It was great.

Do you have recommendations for folks who can only do a shorter trip (say, a long weekend, or a week)?
<The Central Intelligence Agency can neither confirm nor deny the presence of this post>
Surely those text based tools exist for people who aren't CAD experts. I don't know CAD. But a tool that let me type in a description of a thing and then send it off to be 3D printed sounds pretty great to me.
> pitched as a selfhosting platform for medical and other highly regulated industries

From first hearing about Sandstorm since the first open beta 10 years ago (https://news.ycombinator.com/item?id=10147774) and reading about it on/off since then, this is first time I hear anyone pitching it for "medical and other highly regulated industries". Where exactly does this come from?

> There's still nothing else quite like it

Plenty of other similar self-hosted platforms, YunoHost is probably the closest, most mature and most feature-packed alternative to Sandstorm, at least as far as I know,.
Take a Nap Change Your Life
Opportunities do exist, even when they’re few and far between. I learned Rust in my spare time because I was really interested in it. Then we stumbled across something that would have really benefitted from a cross platform library and lo and behold, I got to use my Rust knowledge, even though the vast majority of my day job doesn’t use it.
I actually had cursor on in yolo mode with the github integration on and it's actually pretty good about doing commits and pushes and opening PRs and stuff. Though I would never do that in a repo I cared a lot about. It doesn't always know what branch it's on and makes assumptions all the time about what org it's in, etc...
ChatGPT learned that voice from actual people, you know.
Solid.js is doing amazing w/re to its bundle size. Its been in development for something between 6-9 years depending on how you count and it is still very very slim.
All this negativity here. I, for one, enjoy silly April's Fools jokes once a year.
Long before sync.Pool was a thing, I wrote a pool for []bytes: https://github.com/thejerf/gomempool I haven't taken it down because it isn't obsoleted by sync.Pool because the pool is aware of the size of the []bytes. Though it may be somewhat obsoleted by the fact the GC has gotten a lot better since I wrote it, somewhere in the 1.3 time frame. But it solve exactly that problem I had; relatively infrequent messages from the computer's point of view (e.g., a system that is probably getting messages every 50ms or so), but that had to be pulled into buffers completely to process, and had highly irregular sizes. The GC was doing a ton of work when I was allocating them all the time but it was easy to reuse buffers in my situation.
don’t think you can generalize to all women from this story. might as well say “never work for a man”. men have done plenty of bad things as bosses.

have you yourself had a bad experience with women in management?
Basically, anything that isn't a thin pointer (*T, chan, map) gets boxed nowadays. The end result is that both words of an interface value are always pointers [1], which is very friendly to the garbage collector (setting aside the extra allocations when escape analysis fails). I've seen some tricks in the standard library to avoid boxing, e.g. how strings and times are handled by log/slog [2].

[1]: https://github.com/teh-cmc/go-internals/blob/master/chapter2...

[2]: https://cs.opensource.google/go/go/+/refs/tags/go1.24.1:src/...
> Look, if the visible universe is expanding, as we think it is, that is already a direction.

Could you point in that direction?
>You can create that kind of garbage with any framework, or without framework.

The whole point of the framework is to make even absolute garbage stick together. (While making the developer replaceable.)
This issue also bugged me for a while. It is more of cultural issue, and older the research group is, the less likely it is for research software to be open, in my experience.

In the area of deep learning based simulations, one good example of an open software is netket. The researcher their is pretty active in terms of github/gitlab/huggingface ecosystem.
Yes, but it is very very hard to find the personal discipline needed to do so. If you watch mindlessly you will learn very little. If you watch, then do the exercises/practice (depending on the topic different things are needed) you can learn a lot. Almost nobody does, but youtube and classroom lectures that are known to work are very similar - the difference is classrooms have various ways to get people to do the other homework.
> One could define a new "Pool[T]" type (extending sync.Pool) to get these guarantees:

So long as that one is not you? You completely forgot to address the expectation:

type Foo struct{ V int }
pool := Pool[*Foo]{ // Your Pool type.
New: func() any { return new(Foo) },
}

a := pool.Get()
a.V = 10
pool.Put(a)

b := pool.Get()
fmt.Println(b.V) // Prints: 10; 0 was expected.
Nobody should care about Chromium after this:

uBlock Origin is no longer available on the Chrome Store (chromewebstore.google.com)

1972 points by non- 21 days ago | 1015 comments

https://news.ycombinator.com/item?id=43322922
Torrent Site Uploader and Member of 'The Scene' Sentenced to Prison in Denmark
As sibling comment pointed out, it's just .fsproj manifest and Program.fs file. What boilerplate do you speak of? It's on the opposite end boilerplate-wise to projects made in e.g. Java or TypeScript.

For F#, projects are needed to make full applications or libraries. Otherwise, you can simply write F# scripts with .fsx and execute them via 'dotnet fsi {SomeScript.fsx}'.

(obviously you can also specify dotnet fsi as shebang and integrate these scripts into general scripting on Unix systems - it's very productive)
The whole post is very well written and worth reading. But maybe it's just me always liking a nice BOFH story.
Last time i tried F# i got bit by the weird concurrency story. There was async/task and somwhow they did not play well together. Also the dev tooling (for vim) was subpar, compared to ocaml (lsp). Compile times also was on the slower side.
Do we have a "GenAI dependabot"?
It would be great to have something like Dependabot, but for performing generic maintenance across multiple projects — not just library updates. For example, adding a standardized README to a project or ensuring that all database write operations have associated logs. Each check could be defined by a set of prompts running in the background, managed by a central team within the company or a dedicated group responsible for these validations.
Interesting - I'm curious where your thoughts are now on using FP/Scala in 2025?

I've always looked at F# with envy as it is a hosted ML that will have extremely battle tested bindings to the important day to day stuff via C# (Darklang's stories of struggling with postgres and AWS when using OCaml was a good cautionary tale on the risks of using less common langs as a startup)

Never had a chance to try out Scala but am a seasoned Clojurian, as an outsider it seemed Scala suffered a little from being not opinionated enough so the ML family has been more appealing to tinker with even though Scala supports type classes out the box and will also have great ecosystem support via the JVM
Even the high-end supermarkets in Denmark suck, but it makes sense, it's all the same three chains, COOP, Salling Group or Dagrofa.

I read somewhere that Denmark is the country with the highest food prices in Europe, but we also spend the least on food. That's just a winning combination right there.
hahaa, I love it! That's right there is engineering and true work and dedication. Can hear the frustration and it's 100% warranted.

I wish universities were better equipped for what you pay.
Where is all that money going anyways? Leaking like free electrons?
From the wiki I take it they have yet to build and fly a full-sized prototype

"A 1/4 scale model was successfully demonstrated in 2022 in Narragansett Bay"[1]

Also I assume radar-proof is just because it's a ground effect vehicle that will never fly high enough to show up on radar it certainly doesn't look all angular like a stealth bomber. In which case my bicycle is also radar-proof?

[1] https://en.wikipedia.org/wiki/REGENT_Viceroy
Cue "I don't need Noa, I have Weather Channel"
> you have JS in production; your TS is only in dev.

As my sibling says, this is wrong. We indeed have TS in production.

Even for the parts that are being compiled to JS: You wouldn't say: You can not have C++ in production, only binaries.

The fact is that we don't write any JS as a part of our platform.

> It's not that you can't; it's that you choose not to

I think I made that quite clear in my comment.

> a language across the entire stack with mature wide adopted frameworks and libraries
They're not responsible for the policy, but typically when you're thinking of a job at Oracle, you likely can have other options. At least if we're taking about software engineers and similar people. I was being recommended for a position by friends who moved there and I refused, because it's a shit company. The money is not worth it. It's the whole "contractors on Death Star" thing from Clerks.
> To be clear, they are not "using" TypeScript, it's more accurate to say they are providing TypeScript bindings.

Interesting that you say it's more about providing "bindings", and not really "using". Much of the types in the svelte codebase are never exported outside of svelte, and they are only consumed internally.

The problem they were having was with transpilation, since the browser doesn't run JS.

From Rich Harris (months after svelte switched to JSDoc) [1]:

> removing types from your own code is clownish, epically misguided behaviour, but whatever — to each their own

I would suggest going through the issues and PRs in the codebase to see how invested the Svelte team is in typescript.

> TypeScript is not "real" static typing in the same sense as Go, Rust, C#.

That is true for Go, Rust, C#. But the same thing is also true for languages like C, and Generics in Java.
I'm sure both of those languages have weak type systems, but are definitely statically typed.

I think the fact that type information is lost after being compiled isn't really a classifier for typed/non-typed. Ultimately it all comes down to machine code, and that certainly isn't typed either.

[1]: https://x.com/Rich_Harris/status/1699490194565578882
>Of course you can never underestimate the achievements of Farbrauch, ASD (from Greece!), CNCD, all the legendary groups who produced these productions. But, come on, where is the massive demoscene output that should be there given the massive, huge gaming branch which is all about animation, sound and visuals, and pushing boundaries?

This seems to be the core element in your part of this discussion.

And like every NFT mention I have seen, associating it with either the idea of untapped value with the purchase of an NFT (if that even makes sense somehow), or it is some how a way to control use, seems dubious at best, given no one has shown how involving the NFT creates additional value or has intrinsic value of some kind beyond the "makes a nice ticket" use already mentioned.

The NFT just is not germane. And "bark" is not helpful either.

Fact is, sceners started looking at each others work using disassenblers! Many still do. I do, and have, and will do so again.

I think your preservation argument is weak sauce like the NFT is weak sauce.

They are neat uses of the block chain, and that means what again?

I am not in favor of them in this context at all.

Must we continue, "what about that and NFT?" over and over before accepting the NFT just does not seem to add value, except for the hard core few looking for ANYTHING to stick?

Probably, lol.

As for that missing, and massive output, perhaps there is confusion here too. The way I see it, generative art came to the scene, who was really more about more fully exploiting tech. This is particularly true of older hardware and productions, and the sceners who did all that to start it all.

The real driving forces behind most scene works just are not mainstream things.
pff, the resulting diff looks like something a couple find and replace could have handled easily
And 90% about the delivery ;)
That has been the case for decades. And they also have boots on the ground. How else do they arrest the head of the cartels and fly them to the US all these years ?

I don’t see your point.
> There's no way in Java, Rust or C++ to express this either

You make it look like it's a good thing to be able to express it.

There's no way in Java, Rust or C++ to express this, praised be the language designers.

As for expressing a pool value that may be multiple things without a horrible any type and an horrible cast, you could make an union type in Rust, or an interface in Java implemented by multiple concrete objects. Both ways would force the consumer to explicitly check the value without requiring unchecked duck typing.
I was about to link you what I thought was best coverage of the priority I knew about, https://www.science.org/doi/10.1126/science.278.5341.1270 but now I see that's in the second edit of the accepted answer at your link.

(I certainly count myself among the confused, but I don't think there's any real dispute to answer.)

See also: this work alleging some foul play in the historical record - https://www.degruyter.com/document/doi/10.1515/zna-2004-1016...
> Going through DOGE reports

DOGE reports are too unreliable to be worth paying attention to.
It is fairly common your type system ends up with escape hatches allowing you to violate the type rules in practice. See e.g., OCaml and the function "magic" in the Obj module.

It serves as a way around a limitation in the type system which you don't want to deal with.

You can still have the rest of the code base be safe, as long as you create a wrapper which is.

The same can be said about having imperative implementations with functional interfaces wrapping said implementation. From the outside, you have a view of a system which is functionally sound. Internally, it might break the rules and use imperative code (usually for the case of efficiency).
You should always bring a burner device when traveling to a foreign country, US or otherwise

The border patrol can effectively do anything they want, for any reason. If they ask you to unlock your devices, do it. Let them take it away to be imaged. There will be nothing of value on a burner device.

1password has a travel mode which will remove vaults from your devices. Take this one step further and remove everything unnecessary for travel from your devices
Not from the US and therefore I know nothing about it either. I thought a torpedo bat would be something like this:

https://static.odealo.com/uploads/auction_images//6441500406...

But in comparison these new bats look exactly like the old ones...
Funny, I started following the Guardian around then as it was the only paper that had a common sense takes on Israel instead of the highly compromised ones like the NY Times.
Don't Pay the Infrastructure Tax
I'm not sure what's supposed to be publication-worthy here. This is common knowledge for anyone who's ever interacted with sheep on a farm, in their natural, fermionic superfluid state. If you turn over a sheep and tickle its ticklish underbelly, you get a sheep-laugh (a hilarious sound) only about 50% of the time; the other 50%, you'll hear a sheep laughing from the opposite end of the meadow. Because, you cannot definitively say if it was *this* sheep you tickled, or *that* other, identical one. They are indistinguishable baa-tickles
It is now possible for people to value "doing the dishes" over "producing art of a high enough quality" and still get results. If people care more about doing the dishes than spending the hours required to make an equivalent piece by hand, then people will choose doing the dishes and leave the rest to AI. Now that the tech is out there, reducing the effort required to a button press, it has become a matter of people's priorities.

In my view, the people who want to be dropped off at the apex of the mountain the most always dreamed of this outcome for a long time, even if only a little bit. They dreamed of the day they would be freed from the toil of having to study for years and years to produce art that satisfied their tastes, because they would not lower their tastes to make the process less stressful, or had other priorities so could not devote time to practice.

Now the market has innovated and their dream has come true. To people not serious about coming manual artists, there is nothing wrong with this picture. The market need is being fulfilled.

We have to ask where this market need to produce art at such a low level of effort comes from.

In your view, these people have always been cheapskates up in their minds, we just didn't realize it until their preferences were revealed by AI becoming available. If it hadn't, they just wouldn't be artists of any kind and we'd never understand they had any artistic ambitions at all.

At the end of the day, for whatever reason, these people want art they can call their own - it's just a matter of how much effort is required to realize their ambitions.

If these people are to reject AI, yet still care enough about creating art of some kind for a sustained period of time, you basically have to convince them that learning a hard artistic skill is more important than "doing the dishes"/whatever else occupies the rest of their time instead. Maybe a grueling 9-5 work schedule, for example. That is simply how the nature of practice/10000 hours-type advice works out.

If people for some reason just don't want to put in the time, but still want to produce quality art, then they'll choose AI. These two desires are no longer contradicting. They would have been 10 years ago, when you could just retort with "you're going to have to put in the effort, there's no other way." It's clear that that virtue of work-ethic being one's only path to results has been obliterated by AI, and to the new converts it sounds like gatekeeping in hindsight.

Cultivating new interest in learning a skill when it doesn't already exist is way harder than it seems. That gets into mental well-being and existentialist issues that many people in today's society find difficult to reflect about deeply.
That has been the case for decades.

False. The US just deployed spy planes to Mexico in the last couple of months after approval by Mexico. Doing so without their permission would have been an act of war.
not to defend shitty self-driving implementations, BUT if on average they crash less than humans, even if they’re not 100%, society might accept that.
Are there any useful statistics yet regarding accidents/deaths per million miles driven in “self driving” vehicles?

It always comes off as click/rage bait to me when people report on these deaths when there are literally hundreds per day that don’t involve an autonomous vehicle.
If you use task { } CE's you will get really good UX (it is recommended to use them over async CE's). They were introduced in F# 6.0 to address outstanding interoperability issues. As of now, writing asynchronous code is more convenient than C# (which is more convenient than Go or other languages which are less expressive w.r.t. writing highly concurrent code).
Using the Socratic method, especially on HN is not “just being an internet troll”.

If you can’t handle simple questions that undermine your claims then make better claims. Also, with your attitude I’m not sure this site is for you. Please refrain from the personal insults, it definitely lowers the overall tone of the board.
In the case of F#, the use cases are diminishing with every new C# release, since C# is getting better and better at the things F# is supposed to be strong at (record types, pattern-matching, etc.). Better to write the thing in C# using modern features of the more popular and capable language.
Yeah, but there is a real difference between simplified and traditional Chinese characters. Traditional are more ornamental/complicated while simplified are ... simplified/minimalist .
I couldn't agree more, this pretty much describes me in my youth. I am legitimately terrified of what would have happened to me had I had access to some/certain alt-right influencers, I know for a fact that a younger me would have easily fallen into that mess. I get why it's appealing (at least to a certain person in a certain headspace).

I'm so glad the worst I feel like I ran into were freaky gore/porn.
Great comment! That's it.
You're right, I looked up and he seems to work at Google as a SWE: https://www.linkedin.com/in/lucas-kovar-185a3531

Happy he made the leap and at least get's paid well now (I hope).
Show HN: I built a no-code web scraper for desktop powered by LocalLLM
Cauldron is a web scraper which lets you generate AI-enhanced lead lists after feeding in a list of URLs and specifying the information you wanted extracted - all in a simple, no-code desktop GUI.

I built Cauldron after a year of making every marketing/product mistake in the book while building my first SaaS. I decided I would stop being stubborn and try to follow some conventional wisdom with this project:

* I solved my own problem and I'm my own ideal customer

* I built to solve a painful problem (painkiller > vitamin)

* ...painful enough that I would personally pay to get rid of

* I'm shipping quickly, despite the rough edges

* Taking a feedback/customer led approach

I envision Cauldron as a budget-friendly alternative to Hunter.io for resourceful solopreneurs and small teams.

On top of the usual data you might be looking to scrape, the LLM angle allows you to target more obscure datapoints, such as an example project name from someone's portfolio, any awards they've won etc., which are either very manual or expensive to achieve from the existing options I've seen.

The requests are made by your machine, so I included an option to specify a proxy to give you peace of mind. If you choose not to, please be mindful of the risks and best practices of scraping.

Click the "Try Beta" button for free, temporary access to all Pro features.

I look forward to hearing your feedback.
ClearGrid, armed with $10M, is developing AI to improve debt collection in MENA
As a senior leader, I welcome the free boost to camaraderie and team spirit and I recognize the creativity that goes into some of these pranks.