MurphyA/hacker-news huggingface dataset:
Ask HN: Would you pay for F# + Angular and self-hosted starter kit?
by QuantFantom | 2025-05-19 08:47:55+00:00
I've been thinking about an idea to help developers launch full-stack applications faster and with a type-safe, modern setup. I'm considering creating a comprehensive template that would include:

- Backend: F# (both api and worker), with message passing architecture in f# and realtime updates via signalR - Frontend: Angular with DaisyUI + Tailwind CSS pre-integrated, with simple singleton services to hold state and mentioned signalR for live-upates. Here rxjs/signals in angular are a very powerful feature. - Coordination: Redis Streams for Kafka-like capabilities, Postgres skip locked for even safer concurrent distributed work queues, Redis/Postgres distributed locks which allow scaling (multiple docker workers/apis) - Deployment: Self-hosted on Fedora CoreOS (for maintenance-less immutable system) using Ansible for automation, deployed at hetzner dedicated server (using docker swarm) for major cost saving + control - Observability: Vector for collecting logs from containers, duckdb for exploration of collected logs. - Networking: Auto domain-managed Traefik (easy SSL, docker-friendly reverse proxy). - Essential Integrations: Mailjet (email), Stripe (payments), Mailerlite (newsletter distribution and signup), Docusaurus (documentation + blog) ready to go.

The idea is to offer this as a one-time lifetime purchase with free updates, similar to the model of https://shipfa.st/, giving user a significant headstart to a project similar to https://cryptoquant.dev.

Some of you might have seen my F# architecture/parsing posts on https://cryptoquant.dev – this aims to bring that kind of thinking into a practical, reusable asset.

Before I spend time building out a landing page and collecting emails, I'd love to get your initial feedback:

Is a comprehensive F# + Angular template with this specific self-hosted stack something you'd find valuable?
by dunekid | 2025-05-19 08:48:20+00:00
>War broke out and in 1948, several Arab states attacked.

Please do mention the Dalet Plan, the massacres of the Palestinians by Zionists, and how the war broke out. Also killing UN mediators by Zionists would something to complete the history lesson, rather than Palestinians rejected. Wow, who would have thought people would reject taking their land and giving it to somebody else! And also mention the rejection by Zionists of the count Bernadotte's plan. So the Zionists just killed the one who made the plan, so whoever came after him just gave more land to Zionists.
by dhruvrajvanshi | 2025-05-19 08:48:28+00:00
> So I try to make the ones that seem the most likely impossible.

Yeah this is a very key point to reflect on. Is this stricter type actually catching a bug that's easy to make? Or is it just giving you more satisfaction of more precise typing? It takes time and practice to make that distinction.

Similar things can also be said about automated tests. I've written too many of them that end up being written for a mistake that never gets made.
by 8fingerlouie | 2025-05-19 08:48:50+00:00
Is there a reason that Obsidian, Notion and OP all decided to use a dedicated sync service, as opposed to just using generic file storage, which may or may not be in the cloud ?

It would seem to me that it would leave out a whole lot of complexity to just use Google Drive / OneDrive / iCloud Drive to handle the synchronization across devices, and if need be you could then just add encryption on the cloud storage (if desired), which you would need to do anyway for the dedicated sync service. It would also reduce the infrastructure cost a lot, and utilize resources already available.
by FightPicksTips | 2025-05-19 08:49:20+00:00
Hey everyone, I’ve spent the last few months building a free site called fightpicks.tips — would love your feedback.

I track EVERY public fight prediction I can find across YouTube 100% of the historical data is free — no paywall, no login. Sort by accuracy, see who’s heating up, or who’s gone ice cold.

Why? Because I was tired of hearing loud opinions with no receipts. Now anyone can see who's getting it right and who's just talking.

It’s totally free, and I’d really appreciate your feedback on what’s useful, what’s missing, or whether this is even worth continuing.

P.s I don't have a job at the moment, so if this is useful to you, please considering subscribing - and if you have any roles for designers and full-stack developers, I'd love to talk
by keepamovin | 2025-05-19 08:50:23+00:00
Software is sort of like real estate. It costs to maintain otherwise depreciated in value so you must be judicious with your investments. Unlike real property there’s not such a resale market, so you probably must be even more judicious.

It’s quite a thing for anyone to commit to software maintenance. The idea of open source that there will always be volunteers that reduce the fees you pay for maintenance is not a certainty.
by keepamovin | 2025-05-19 08:50:23+00:00
Software is sort of like real estate. It costs to maintain otherwise depreciates in value so you must be judicious with your investments. Unlike real property there’s not such a resale market, so you probably must be even more judicious.

It’s quite a thing for anyone to commit to software maintenance. The idea of open source that there will always be volunteers that reduce the fees you pay for maintenance is not a certainty.
by dugite-code | 2025-05-19 08:50:58+00:00
It's got some rough edges. I want to sit down and build it so I can add an id to the TOC so I can CSS style it to be floating and submit it upstream.

I'm also having issues with integrating it with Authentik's header proxy auth, keeps directing me to a note with the outpost path as the name. The only guide is for authelia.
Show HN: Curio – Smarter briefs for first meetings
by itsteebz | 2025-05-19 08:52:36+00:00
Curio helps you show up prepared, whether it’s a cold intro, sales call, or first-time chat.

1. Plug in your LinkedIn profile.

2. Plug in theirs.

3. Get a brief with common ground, insights and talking points

Try it : https://meetcurio.ai/try

We’d love your feedback — What’s useful? What’s not? What would make it better?
by kragen | 2025-05-19 08:53:07+00:00
That's one possibility. Another is that it has a critical drawback; Masonite siding resulted in a massive class-action lawsuit verdict due to moisture damage (though the researchers say Superwood is less vulnerable) and it occurs to me that maybe structural steel's plastic deformation when overloaded as a construction material is somewhat more forgiving than the brittle fracture behavior typical of wood and evident in the photos of their ballistic testing.
by orwin | 2025-05-19 08:53:20+00:00
You can't sell encryption in France if you haven't proved it actually is strong encryption and not a rot13 or something, which is actually a _very_ good idea.

Could the implementation be better? Knowing french admin, 100% yes, but complaining about the law itself is, in my opinion, misguided. This is an overall good law that doesn't came from nowhere.
by N2yhWNXQN3k9 | 2025-05-19 08:53:38+00:00
The dry-run option is nice, but you can do this easily in a normal environment without special tooling (GNU parallel, etc).

I have made scripts to do this with filter parameters over VMs on cloud providers, which is very valuable. Maybe you can extend this to have those options, so potential users are more attracted to it?
by 0xDEAFBEAD | 2025-05-19 08:55:14+00:00
>Philanthropy is often used a strategy to lobby politicians and drive policy that benefits other investments while avoiding most taxes.

Forbes estimates that Gates would be a trillionaire if it weren't for his philanthropy. Perhaps some philanthropists pursue the strategy you describe, but it's unreasonable to assume this is their strategy by default.

>Nobody voted people like Bill Gates to have such a massive influence over media and institutions via "donations".

In a free society, not everything people do needs to be authorized by the government. I believe that Gates has sincere concern about the well-being of people in the developing world, so it doesn't particularly bother me when he lobbies on their behalf.

Insofar as cynicism is justified, it should be easy to provide concrete and compelling evidence that Gates has bad intentions in his philanthropy. So why isn't there any such evidence in your comment?
by williamsss | 2025-05-19 08:55:27+00:00
Thanks for sharing this is an understated point from the article as I was fiddling with Evernote, Notion then Obsidian more than I would like to admit. With this I certainly fiddle but I create what I need and get in and out of my notes.

If people find that rhythm and flow with their own PKMS - don't switch for the next shiny thing!
by codetrotter | 2025-05-19 08:55:33+00:00
That kind of confirmation does exist, it’s called using a hardware wallet, such as those made by Trezor and others.

https://trezor.io/

The bigger question is, when they said:

> G Data's research showed that the Bitcoin address linked to SnipVex had received about 9.3 BTC, roughly $100,000

How big was the largest amount stolen?

It could be a few individuals with a lot of money in their unprotected software wallets, or it could be a lot of people with relatively smaller amounts stolen from each of them.

If you only have a couple hundred dollars worth of bitcoin and don’t intend to buy any more of it then it doesn’t make much sense to spend as much on a hardware wallet as those cost. But if you have like $500 of bitcoin then it starts to make more sense. Especially if you plan on buying more of it. And if you have over a $1,000 and are still using a software wallet you should really look into getting a hardware wallet ASAP IMHO.
by make3 | 2025-05-19 08:57:50+00:00
With the state of how the ai agents stuff already is, if you don't think that most tech jobs will be automated away in our lifetime, I don't what to tell you.

Within 10-15 years, AI research automates itself and no one ever has a software engineering job ever again.

I think sometimes of how crazy it would be if we could send GPT 4.5 in the past somehow, what effect that could have, just a magical almost all knowing being from the future
by anonzzzies | 2025-05-19 08:59:01+00:00
This is really nice, but why humanoid? Spiders, dogs etc with human arm(s) and hands with thumbs etc seem to make a lot more sense. We can design whatever we want, why make them humanoid? Or at least 'ape', so it would crawl on all fours normally for stability and can stand up and use it's hands (and feet) for working on things.
by xenodium | 2025-05-19 08:59:08+00:00
For quick notes on the go, I also did go my own way and eventually built the app I wished I had. Journelly: kinda like tweeting but for your eyes only (in plain text)

https://xenodium.com/journelly-like-tweeting-but-for-your-ey...

While you don't need to know anything about its serialized format, it happens to be powered by Org plain text. For Markdown fans, I am recording Markdown interest. Do reach out: journelly + markdown at xenodium.com.

edit: A user's blog post from today (also a Markdown fan) https://ellanew.com/ptpl/157-2025-05-19-journelly-is-org-for...
by johnisgood | 2025-05-19 08:59:09+00:00
I have not used Reason ML as I have not had the reason to. :D

But apparently the target audience is JavaScript / TypeScript developers, and I think it is mainly used for web development IIRC, whereas OCaml is much more general-purpose and even low-level at times.

Jane Street is doing a great job at contributing to OCaml itself and its libraries.
by DoingIsLearning | 2025-05-19 08:59:36+00:00
This is arguably not very scientific but if we didn't have the media fascination around the power and influence that billionaires carry, we would like come to accept that rationally it is a mental disease no different from Plyushkin's syndrome.

You won, you can provide for you and for your whole bloodline if you so choose. You can choose your adventure, go fully epicurean or fund Humanity impacting projects. Yet they keep going and going unable to exit the carrousel.
by _glass | 2025-05-19 09:00:04+00:00
I teach programming to designers and architects at the local university. We're using Processing quite successfully, because it skips a lot of steps. My daughters are too young and are still doing Scratch (with the great micro:bit). But I think next would be Processing, or Arduino with Micropython. But yes, typing is a problem. My older daughter inputs almost all her text via voice input. At work we're doing a lot of low code for new architectures. I think agentic low code tools for kids would be nice.
by gwd | 2025-05-19 09:01:45+00:00
One of the frustrating things I experienced trying to do self-study using Anki and self-created "extensive reading" was that I found I was spending a huge amount of my time doing things to enable me to study, rather than actually studying.

So my ideal vision for what the interaction looks like is this:

1. You ask for something to read / watch.

2. It gives you something

3. You read / watch it, looking up words you don't know, going on whatever rabbit trails you need to to understand what it's given you.

4. Repeat.

IOW, I want the algorithm to do the "look for stuff to study" and "decide what to review", so I can just focus on the "study" part.

It would have a huge library of content ("corpus" in the jargon) -- news articles, Wikipedia, stories, social media posts, movies, TV episodes, whatever. The algorithm would select something for you that's at the right difficulty level -- hard enough that you're learning, but not so hard that you get frustrated. The algorithm would arrange for words that you need review on to just appear in the content you happened to be reading.

Maybe you give it parameters (something long / short / fiction / news), maybe not. Maybe you give it feedback about which words were harder or easier than it expected, maybe not.

Certainly a useful feature would be to say, "I want to be able to read this", and give it a link to a webpage or YT video, or a PDF; it could then focus your learning / review towards being able to read that particular content.

But the common case would be that you just come to it and be given a feed, as you would with Facebook and Youtube -- except the algorithm would be trying to teach you a language, rather than trying to get you to watch ads.
by mellosouls | 2025-05-19 09:02:21+00:00
I think you have a couple of good examples in your comment and I understand you would have liked more along those lines, but:

The referenced reply is dull. It's very pretentious but just reiterates common knowledge, it doesn't convey any useful information.

I disagree strongly - its not a multiple-gold answer that is now being linked to years later for no reason. I read it years ago and have always remembered it - one of those rare internet comments that I think is a classic informational moment, well-written and illuminating.
Show HN: Skilldex – Rank job applicants in 2 minutes using scorecards
by SKILLDEXAI | 2025-05-19 09:02:44+00:00
We built https://skilldex.ai to help recruiters avoid jumping on 30 intro calls only to find 3 may be relevant. It’s a simple way to send candidates a structured scorecard and see results visually. Hiring managers love it too — they can define criteria before we start outreach.

Stack: Next.js, Tailwind, Supabase, Node.js, GPT-4 Would love feedback!
by hliyan | 2025-05-19 09:02:48+00:00
Considering that mathematics is, at its core, a language for defining relationships between quantities, and then relationships between those relationships, so on and so forth, I think it's fair to assume that the possible number of such relationships are infinite. Some of these relationships will obviously be useful in the real world, but they don't always have to be. I too, suspect that we can keep on building theorems on top of theorems with increasing complexity, until a point is reached that it becomes just too tedious (but not impossible) for a human being to work through the proof.
by vidarh | 2025-05-19 09:03:32+00:00
It also doesn't "help" that a lot of these subjects are often expected to be covered in other courses, and the text targeted at students who will have related skills fresh in mind.

E.g. the first compiler course at my university back in the day would have typically come a semester or maybe two after just having taken a course in logic and boolean algebra for most people who took it.
by fivestones | 2025-05-19 09:03:35+00:00
Sounds very interesting. I’d love an invite. I’d love to be able to navigate conversations better next time I’m in China.

I’m also working on learning Nepali which is hard as far as language apps go because none of the apps take on smaller languages like this. I’m hoping this will change with LLMs in the mix. My experience (and that of my Nepali friends) is that ChatGPT’s written and spoken Nepali language skill is too-notch.
by bambax | 2025-05-19 09:03:44+00:00
Most things don't work, and "France Connect" is really bad (it doesn't even accept non-ascii letters for your name or surname! which is insane coming from an official initiative of the French Government; they should at least know how to use the French language). Anything from the department of education is also abysmal, mostly broken, and needlessly convoluted.

The one amazing thing that works is the taxes collection system. The French tax code is incredibly complex with hundred of special cases; yet the online system to declare revenues is perfect: super clear to use with excellent instructions, never broken (even at the end of a period where usage peaks must be insane) and with no errors.

I don't know who constructed this but it's proof that the French gvt can make good software when they really care (ie, when money's at stake).
by andyjohnson0 | 2025-05-19 09:04:44+00:00
> We'll know that the time draws nearer when an AI confirms or refutes Mochizuki's proof of the abc conjecture. As of right now, I don't think they're capable of doing that. And, as they can't even check a very (very!) complex proof, they won't be able to conjure any inhumanly complex proofs de novo.

I agree, but... Spend time formalising a large part of existing mathematics and proofs, train a bunch of sufficiently powerful and generative models with that, and with cooperative problem solving and proof strategies, and give them access to proof assistants and adequate compute resources, and something interesting could happen.

I suspect the barrier is finding a business model that would pay for this. Turning mathematics into an industrial, extruded-on-demand product might work, but I dont know who (except maybe the NSA) would stump-up the money.
by liotier | 2025-05-19 09:06:30+00:00
> It sounds like you want the ability to instantiate a scratch block that contains a text box, which in turn contains the function body for the block ?

That is the escape hatch from all visual development environments. Having seen Talend and W4 in action, I know the end state of the process: a single block with everything in it - I'm barely caricaturing here.

Maybe the specific needs of early learners will keep the system from degenerating too fast but, the moment code goes in that is not visually represented in the environment's visual paradigm, coherence goes downhill fast and one starts longing for properly managed scripts.
by ozyschmozy | 2025-05-19 09:06:31+00:00
I don't disagree with the overall comment but this bit seems like extreme hyperbole:

> If you're a regular at a bar or restaurant, you pay an order of magnitude over $1000 a year for THAT service. This one is probably worth more.

An order of magnitude over 1k per year is almost $30 per day, every day.
by zorked | 2025-05-19 09:06:50+00:00
In Brazil there is black box testing. Party officials can choose a sample of a few ballots per polling location on election day, where a simulated election is run, with all inputs recorded on video. The machines have to tally the right votes for the input given at the end of day. These are machines that would be used for voting, and the party officials are parties unrelated to (and in a way, antagonistic with) the voting authority.

I think it's a pretty solid scheme.
by N2yhWNXQN3k9 | 2025-05-19 09:07:02+00:00
This article is written in an unnecessarily extravagant style, IMO.

Also, I appreciate anonymity, but, to my point

> I live by myself in a remote mountain cave beyond the ken of civilised persons, and can only be contacted during a full moon, using certain arcane rites that are too horrible to speak of.

Okay.
by shakna | 2025-05-19 09:07:09+00:00
> While some redditors speculate that the trojan was planted on purpose, there is no evidence to support this claim. Outdated malware with an inactive command-and-control server is not advantageous for any attacker nor does superinfection make sense for this scenario. A far more plausible explanation points to the absence or failure of antivirus scanning on the systems used to compile and distribute the software packages. Procolored promises to improve this process, so that it cannot happen again.

That this system is so insecure as to be hit multiple times, I don't know how much stock anyone should put in "improved processes". This is a company who seems to have gone out of their way to create an insecure environment - probably out of some frustration, but all the same, insecure.
by proxysna | 2025-05-19 09:08:24+00:00
ansible my_servers -m shell -a 'fortune && reboot' -b

I know it is easy to be a hater, but sincerely do not see a reason to use something like that over Ansible or just pure sh, ssh and scp. All you have to do is to set up keys and the inventory. Takes 10 minutes, even if you are doing it for the first time. And you can expand it if you need it.
by DonHopkins | 2025-05-19 09:10:30+00:00
PHP is a templating languages designed to be so inadequate that you have to implement other templating languages in it.

https://news.ycombinator.com/item?id=32961202

>PHP was already a templating language, but somebody got it in their head that there should be an iron-clad separation between designers and programmers, and that PHP gave designers too much power and confused them, and that their incompetent untrustworthy designers who refused to learn anything about programming deserved something even "simpler" than PHP, so they came up with Smarty.

>Then over time the realized that their designers were powerless, so their programmers would have to learn TWO languages so they could wade into the Smarty templates to make them actually work with all the extra code they had to write because Smarty was so crippled, so they nickle-and-dimed more and more incoherent programming language elements into Smarty, making it EVEN HARDER to use and more complicated and less consistent than PHP, yet nowhere near as powerful.
by Urahandystar | 2025-05-19 09:10:54+00:00
For the record this is not a joke, This is a very active need for alot of vibecoders. They know they need security but they don't know how/what they are missing. Check out the Supabase or Lovable reddits, people reporting that they got stung by mass bot signups etc every other day. Sure these are complex apps but they are trying to launch the next big thing.

If your paying $20 a month for an LLM coding app whats a $5 fee to get a once over before launch? I imagine this will keep the lights on as you try an land the corporate whales.
by psychoslave | 2025-05-19 09:12:20+00:00
Most likely seismograph logs, I guess? Not sure gas emissions are something we can expect to provide a more ahead of time alert. That is my guess is that by the time some out of charts in gas emissions are showing, it's too late to make a whole city population move? I'm nothing like a volcanologist though, this is just very wild guess.

On the other hand, it's a bit wild to build a whole city next to volcanos that are definitely going to wake up in less than a few centuries, to begin with.