skysight-inc/HackerNews huggingface dataset:
Users can generate key pairs themselves, once, and the public keys can be used to sign architectural enclaves post factum. Each enclave's cryptographic hash of the contents is only generated then.

This way, the users are only as secure as they want to be. The code would need to be signed using each one's public key, but we're talking about specialised software here.

Compare this to the de facto standard, where US corporations hold the private keys to everything hardware (off the top of my head, processor, UEFI) and everything software (SSL root keys, IP addresses, DNS).

We already have libpairip and play integrity on android, let's not bring it over to desktop processors.
Genuine question: How do people on HN reconcile the idea that tech salaries are suppressed with advocating for remote work and opening employment to the global market where employees are often paid much much less than in the US?
Not for me, but the closest you can get is Zorin OS Pro, https://zorin.com/os/pro/
Ask Miss O11y: What Should an "Observability Team" Do?
And none of it distributed. Ok.
Ancient Greeks are famous for more than their mythology, e.g. their natural philosophy that laid the foundations of modern science. Greek philosophers challenged theistic explanations of nature early on.

The roots of Western philosophy began in the Greek world in the sixth century BCE. The first Hellenic philosophers were not atheists, but they attempted to explain the world in terms of the processes of nature instead of by mythological accounts. Thus lightning was the result of "wind breaking out and parting the clouds",[49] and earthquakes occurred when "the earth is considerably altered by heating and cooling".[50] The early philosophers often criticized traditional religious notions. Xenophanes (6th century BCE) famously said that if cows and horses had hands, "then horses would draw the forms of gods like horses, and cows like cows".[51] Another philosopher, Anaxagoras (5th century BCE), claimed that the Sun was "a fiery mass, larger than the Peloponnese"; a charge of impiety was brought against him, and he was forced to flee Athens.[52]

https://en.wikipedia.org/wiki/History_of_atheism#Philosophy
If youre interested in EC you might want to consider larger multi dimensional cases. Think of encoding not just across spindles, but another failure domain like rack, room, DC, or region. The goal being to tolerate common component failures, and larger system failures (or partitions) as well. A nice intro https://chameleoncloud.org/blog/2023/12/12/design-considerat...
Wow, memory lane! Used it (only amateurishly) about 30 years ago...
So... does this mean that Tantacrul is never going to get around to making a video on Finale like he did with MuseScore, Sibelius, and Dorico?

Edit: Apparently, he already said that it's lighting a fire under him to get it done: https://nitter.poast.org/Tantacrul/status/182807170687273381...
I understand the theoretical concerns in these cases, but IMO it does not weigh heavily against the (conservatively) hundreds of thousands of annual deaths due to hindered medical research.

It's hard to overstress enough how impossible it is to do even basic research across institutional health datasets, even you're a giant organization with a compliance team. It's soul-draining and frankly the reason a lot of smart people jump ship and work in finance or crypto or whatever, where you can accomplish something even if it's goofy.
I think this would be a great feature, though faithfully reproducing a Mac desktop will likely be difficult, between making Command/Meta-based key shortcuts consistent through the system and making sure the global menubar actually gets populated.

The latter of those is actually the more difficult of the two. Last I knew the GTK plugin that provides application menus through dbus was broken, and many GTK apps don't have a menubar anyway (anything that doesn't fit into a hamburger menu gets binned). Qt apps are better here but there's some bug under Wayland that prevents menus from being pulled from those.

There really ought to be an XDG standard for UI toolkits to provide their menubars to system bars, HUDs, accessibility utilities, etc with.
MOOCs have provided incredible value to society and it's unfortunate that we're only able to view them through the lens of profit/loss. I wish that universities would have committed to providing these products despite cost just as a halo project to improve their public image.
The issue with sodium is not so much the total quantity but rather the osmolality. If you consume more sodium then you also need more water to prevent hypertension.

https://doi.org/10.1111/jch.13374
I switched from Finale to Dorico about a year ago. It was like night and day in terms of user-friendliness. Finale felt heavily loaded down with legacy garbage. On Windows, it (really the Aria player) insisted on complete ownership of my audio output, too, which was a real pain.
> If there's a big backlash from the team then you're on the right path.

People hate the proposal to remove the microwave ovens and free coffee from the kitchen, so it must be the right idea!
While I agree that there are certainly cases of microservices being used in places they shouldn’t be, I have trouble imagining that monoliths are strictly better in every case. Do you have suggestions for running monoliths at scale?
Mark Zuckerberg attempted to sue native Hawaiians to force them into selling him their land near his compound and bunker under a shell company. He dropped the lawsuits after getting exposed with media coverage, and it is suspected he silently funded a native to buy the land for him. Truly villainous stuff. Never forget.

https://www.theguardian.com/us-news/2019/jan/17/mark-zuckerb...
I used to work at Stripe and I'm very familiar with the pricing. I'm simply perplexed at how you can possibly be paying them up to 7% if your payments are B2B-sized. BNPL acceptance is the only thing that even comes close to that. You'd need to load up on nearly every single metered feature (billing, Tax, chargeback protection, revenue recognition, radar for teams, etc) to pay that much with sticker pricing.
In the article, x is a Boolean.
I don't think it's just coping, but it depends on the level of mastery you want to achieve in the specific discipline. For any skill, including weightlifting, the more you practice, the better the quality of the skill. And becoming competent at something is one of the pleasures of life.
For the amateur athlete, one has to take into account the opportunity cost of doing something else, and life is full of opportunities.
As for grit, I agree it is more about showing a personality trait than developing it, and grit appears to be mostly discipline-specific: many athletes show admirable grit when training and less than admirable grit in other areas of their lives.
The problem is, it can change rapidly on the ground. We actully had a good HR team in a previous role, that really did work to support the employees, would push back against the org etc where approripiate (including on things like salary).

Financials in our parent company dipped, and rather than address their issues they went to war with the acquisitions they had picked up over the last five years or so to try and squeeze blood from a stone.

Step 1 was to immediately replace local HR teams with a US based team who proceeded to weaponise the data that had been held by the local team.

So even if you think HR today is "pretty good", it could change from underneath you very quickly.

The change was actually wild, one of the first things they did was try to get us all to sign new employment contracts that calculated how benefits defined in law in my country apply in the hopes that nobody would notice. It was effectively a paycut they were trying to hide.

It would have reduced my salary by close to 20k had I signed it, some people did. They refused to acknowledge this sneaky change until a few employees took up legal representation and then magically we all had new contracts the very next day with the issue suddenly resolved. Prior to this they just spent weeks gaslighting people and threatening termination for anyone that didn't re-sign the new contracts.
LilyPond is great, but the writing process for a lot of music involves a lot of playback, so integration with a half-decent playback engine is really useful. On top of that, you can do almost everything in Dorico and Sibelius with keyboard shortcuts, so they are very power-user-friendly (which is what I like about LaTeX).
Seems more a NATO intelligence operation - apparently, there are rumours that he met recently Putin, and had extensive discussions with Kremlin officials - https://archive.is/8sdYQ . The investigation against him is pretty broad according to the charges laid against him by the French authorities - https://www.tribunal-de-paris.justice.fr/sites/default/files... (PDF, english translation from page 3).
Does PHP run your database? Your caching layer? Handle SSL? Can you run a queue with PHP? Would you? If your answer to any of those things is "no", then PHP isn't a serverless platform. It is a language that you use to build web applications. That makes it very different from Dokku, Kubernetes, etc.

But yes, you're right that PHP is still a great choice for building the "web application" portion of your infrastructure.
What’s funny is before I read this I thought Dokku was just used as a convenient driver for kitchen testing and stuff like that. I never really thought of it as a PaaS!
Laravel itself is a Frankenstein with Symfony, so...
Sure, do you want to email, or ask away.
I like the idea, but airlines are notoriously scraper-hostile, so this might require active cat & mousing to sustain operations.

I also like the one-hit pricing idea, but it occurs to me that because it's bound to a single dep/arr pair, and for only one month, that it's probably not the ideal model for most people.
Chapter 5. Non-deterministic algorithms
Nice try Zuck
Sounds like one or two startups I've worked for prior. Yikes.
I assume that if Finale were open-sourced, the code would be so ugly that nobody who worked on it would ever be employable again. Finale also has some tight integration with its Midi player and audio output that may have some weird patented shit or Apple/MS proprietary jank.
Works where archive.ph is blocked:

https://cc.bingj.com/cache.aspx?d=3704096032869&w=SxACgOAl0H...

FT calls crypto "hopium".
I remember reading this article in Esquire about Francois Mitterand and his last great meal:

https://www.esquire.com/news-politics/a4642/the-last-meal-05...
What's missing here is the risk of the medical device not performing as expected on real patients. These risks are usually mitigated reasonably by medical device manufacturers and designers such that it doesn't matter that "AI medical devices" are not trained on real patient data.

The FDA keeps a database of all adverse events reported by manufacturers or healthcare systems [1], so we can check in a few years if these AI medical devices are causing an uptick of complaints.

[1] https://www.accessdata.fda.gov/scripts/cdrh/cfdocs/cfmaude/s...
I'm in that camp. I've been using Finale since version 1. I tried Sibelius around the time you changed and it didn't quite but right with my use cases. I have to imagine that there are many like me that have years of muscle memory with the features (not to mention years of scores in the file format) who use it for to avoid having to worry about me software when they'd rather be focused on their music.

Of course... that's a business focused on casually milking an annuity... Not something that's growing. I guess not with it for the people that bought the company a few years ago.

Finally... Wonder what's happening with those Garritan sound libraries I've invested in....
Yep, this is the key tech behind Ceph's Erasure Code pool: https://docs.ceph.com/en/latest/rados/operations/erasure-cod...

This does not come without trade-offs though, you cannot update the coding parameters (k, m) afterwards, so you either have to be very sure that those parameters are going to work in a long time, or you have to start from scratch. This inelasticity is also the reason why replicas are still the dominant choice for HA fault tolerant data storage.
A worrisome problem.

I take it that there isn't a strict factual/non-factual (fiction) toggle?
And then those GitHub issues get closed by stalebot a month later and the repo looks like it doesn't have many issues.
I mean, it’s not like PHP is unpopular.

According to the first thing I googled, it’s more popular than Go, and even higher up the list if you remove languages like C/C++ that aren’t typically used for web.

https://www.hackerrank.com/blog/most-popular-languages-2023/
To paraphrase Abe: Linux is an ecosystem of the community by the community for the community.

And I agree with you, the community (most of it) couldn't give a rat's arse what Joe Average wants. Heaven forbid you ask one of them how to do something that goes off of the One Linux Way(tm).
I accidentally became an admin on 600 servers
It’s extremely difficult to reconcile posts like this with the clear historical examples of silly supply chain issues due to minor disruptions.

I don’t believe “civilization” is as resilient as you think. The late bronze age collapse, and all the mystery surrounding that event, did indeed take place over hundreds of years in a vast “global” society.
I very much doubt anyone in that society could have predicted such a spectacular collapse. It’s not really a disputable fact that civilization has collapsed many times before and probably will again before we have to worry about these silly “billion year” concerns - maybe let’s just focus on the next 200 years?
If that were the case, spectre, meltdown and similar vulnerabilities would surely have similar class actions?
I’m on three meds still, but generally run ~ 120/80. My K levels are now 4.3 mmol/L. Much better than the low 3s I had before.

During the work up I had to drink 18g/day of the foulest liquid ever to get my K levels high enough for the adrenal vein sampling to be valid.
Yep, definitely 2U's $800M mistake, not Harvard and MIT. They made off like bandits.
C was very much the Python of its times, may be even bigger. Especially given the fact that it started a whole family of programming languages being derived from it. C++ was very much the language of choice for larger applications till Java came along.

Till date if you are writing code for embedded systems the only language you can do so in is C.

Even until very recently most beginner programming courses/approaches required you learn C. Learn Pointers, recursion well enough before you could learn anything else.
GNOME resembles macOS in that it's not yet another Win9X-like desktop, but that's about where it ends. Its closest commercial cousin is probably iPadOS, even though that's not what the GNOME devs were trying for. While it's obviously not as limiting as iPadOS is, much of the UI and interactions are strikingly similar, as is the overall ethos.

Where macOS has always been about progressive disclosure with tons of little power user affordances hidden in plain sight, GNOME is more about paring everything down to the bare essentials in a polished way.
> The outcome was a weekly forecast in which the AI successfully predicted 14 earthquakes within about 200 miles of where it estimated they would happen and at almost exactly the calculated strength. It missed one earthquake and gave eight false warnings

There were 600 entries into the competition, I wonder how chance played into this solution winning the contest.
Honestly? It would be a hilarious turn of events. I hope they do it and use the remaining money to revitalize their offerings and infrastructure.
Not sure about the word shard, but the 1401 used sharded storage in 1959:

https://en.m.wikipedia.org/wiki/IBM_1401

That was the best seller in history, at the time, but there are mechanical computers that played similar tricks going back to the early days of punch cards.

The Hollerith Tabulator won a competition in 1888.

https://www.census.gov/history/www/innovations/technology/th...

Anyway, yahoo probably sharded by the mid to late 1990s.
Musk was renting the space and it seems had a contract with OpenAI allowing it to use it at no cost. Neuralink had also been headquartered there.
Heroku still exists, it just sucks. Owned by Salesforce.
You’re not going to clear 100% of homicides but you should be clearing a reasonably high percentage of them within a reasonable span of time, and pointing out that sometimes you solve a 34 year old cold case is a red herring.
In the USA, health plans aren't allowed to deny coverage to patients based on genetics or pre-existing conditions. They aren't stupid enough to try to break those laws. Employees can't keep a secret. And most of the claims costs are directly passed on to employers (group buyers) anyway, so the major health insurance companies have little direct incentive to deny coverage; with minimum limits on the medical loss ratio it's rather the opposite.

https://www.hhs.gov/hipaa/for-professionals/special-topics/g...

https://www.hhs.gov/healthcare/about-the-aca/pre-existing-co...
>multitasking is not smooth, tasks don't end when asked, the system won't shut down, applications freeze.

I think you just need to stop crappifying your Windows installs.

A lot of what you said did happen in the days of Windows 9x, but all the Windows NT releases including Windows 11 have been rock solid.
I agree it could have been more detailed, but sitting on 7/8ths of your money with seemingly no plans does not inspire confidence.
And I can undercut those using the service to attract more tenants.

It's still a properly functioning market. Same forces to get tenants vs what tenants will pay.

Your arguments apply to nearly every single function one business offloads to another. However that merging of skill has resulted in lower costs, since every vendor doesn't have to pay to gather info from scratch, and can focus on specific value add.

Next you'll tell me landlords shouldnt be allowed to use credit reports, since that largely affects price or denials. And that will simply add cost as risk gets pushed back onto consumers.

This is no different than lots of existing services, such as credit reports.
https://www.amazon.com/Team-Topologies-Organizing-Business-T...

Pace Wigner (at this point he deserves a “talisman” — FMD might agree now), those expanders are indeed unreasonably effective, just like bureaucracies (according to the ever optimistic Kafka). Emergent intelligence in governments and institutions, may not be just a Good Idea? (Abuse of Gandhi/de Maistre, sorry)

> Let me end on a more cheerful note. The miracle of the appropriateness of the language of mathematics for the formulation of the laws of physics is a wonderful gift which we neither understand nor deserve. We should be grateful for it and hope that it will remain valid in future research and that it will extend, for better or for worse, to our pleasure, even though perhaps also to our bafflement, to wide branches of learning.

EDIT: FrankWilhoit has some sayings regarding how, in order to reduce (Clausewitzian?) Friction, we should look at glue (interclique edges?)and not just syntax (cliques/juntas?) like what planners do. (The novelty of the idea seems to me to be in that planners usually dont attend to the strycture of egdes as much)
There's a lot of languages that just work better for doing declarative ui than Java. Booth Groovy and Scala have wrappers that just make it that much easier.

http://groovy-lang.org/dsls.html#swingbuilder
https://github.com/scala/scala-swing
I think you and the author are in violent agreement.
I can’t find a free copy of the paper. Here is the abstract for anyone who’s interested: https://pubs.geoscienceworld.org/ssa/bssa/article-abstract/1...

Precision was 64% and recall was 93%. In this context recall is a lot more meaningful (how many real earthquakes were predicted) than precision (how many predictions were earthquakes) as long as there aren’t too many false alarms.
Probably earmarked from his initial $100m seed money
To be fair, serverless platforms doesn't always provide queue or database. Usually they come alone with some sqlite or KV store for the convenience.

SSL was provided by the php-fpm part, with either Apache or nginx, like most "platforms" do. Modern platforms may choose less-popular fronts like Caddy, and Caddy does support php_fastcgi.
This sounds increasingly common in US corp culture, it was reasonably common when I worked there (when times were good) but perhaps now even more so.
Now people will complain that 16 GB isn’t enough and 32 GB should be standard. ;)
Woah that’s a big deal if true. I remember Nate Silver had a good chapter on this in his book on statistics. He went through the history of failed attempts in Italy and elsewhere. It’s a famously hard problem that has a long history of false promises and good efforts that simply didn’t work out, where experts just generally concluded it’s an unsolvable problem with current tech and the general random nature of it (in terms of usefully specific accuracy).
Gemini is apparently hot garbage. I passed this input into ChatGPT (GPT-4o) and I got sensible answers.
I got pretty far down that path during Covid for a feature of my saas, but limited to specific product categories on solid-ish backgrounds. Like with a lot of things, it’s easy to get good, and takes forever to get great.
I Built a Simple, Ad-Free Timer Tool After Years of Frustration
Hey HN,

After using a similar online timer tool for years, I became increasingly frustrated with the amount of ads and intrusive elements that started to clutter the experience. I found myself having to block more and more ads just to use a basic timer. So, I decided to build my own version: Timer Tool.

My goal was to create a minimalist and ad-free timer tool that simply works without distractions. It's basic, straightforward, and designed to get the job done without any frills.

I'd love to hear what you think and get your feedback on how it could be improved. Are there any features you'd like to see added? Any UX improvements? Or perhaps other tools you'd want to see in a similar ad-free format?

Looking forward to your thoughts!
Would you consider making a self-hosted version? Lot less likely to get blocked and die :)
rosegarden ftw
I run 200 blogs, each of them predicting a moderate earthquake at a particular place but at different times. When one of them finally “hits”, I need monetization ideas.
For me there are so many basic features that are missing in the competitors.

I tried Dorico but it can't even play trills properly.
The decade you’re looking for where Mac vs PC was remotely relevant was two decades ago. It’s OK to let it go.
Looks nice, but this is quite the security issue:

https://github.com/Dokploy/dokploy/releases/tag/v0.7.2
I think the only reason this doesn't happen is economics. If someone were to "fix" the education system and start giving out bachelors for less money, the value of bachelors degrees would go down. In part, because more people would have them, but also because schools have systems to prevent abuse such as fraud.

If you just want to take a class, there are plenty of MOOCs that give the lectures, exercises, and tests out for free.

Another reason is that different universities may emphasize different things as part of the curriculum. Lets say a philosophy degree at harvard emphasizes Greek philosophers, but a philosophy degree at UT emphasizes post modern philosophers. Taking a class at one doesn't transfer to another. Mixing classes at different universities simply doesn't work because you weren't educated at the university so why should you get a degree from that university?

The way I see it is that if you just want to get educated the resources are out there, but if you want degree, you gotta go to school.
This phrase, "I fail to see"
Train custom Lora models with just 10 images
It does seem this person stiffs his contracts quite frequently (did the same move with Twitter HQ office). Good to know.