skysight-inc/HackerNews huggingface dataset:
Show HN: My microkernel-based OS built from scratch now has basic Unix commands
This project contains no code from Linux, BSD, Minix, or any other OS. Everything up until this point is written entirely from scratch, including a pure microkernel (that only implements multiprocessor priority scheduling, memory management, and interprocess communication), a work-in-progress implementation of the standard C library, and a variety of servers that provide drivers and other essential OS functionality.

At the time of writing this post, the servers provide drivers for the keyboard, NVMe SSDs (that works on real hardware), a Unix-like virtual file system (with a single root mountpoint, /dev, /proc, etc.) and several other necessities. The main goal of this project is to research OS design and try to overcome some of the performance penalties associated with microkernels, while also building a general-purpose usable Unix-like OS on top of it. It's also intended to make the study of OS development and theory a little more approachable through self-documenting, clean, and readable modular code.
Wouldn‘t that be the opposite of aligning incentives? Unions want the workers to do well, stockholders want the company to do well. The company paying people less is better for stockholders, worse for employees obviously. So that seems like an awful idea.
I support RO water filters. But consider not cooking with that water either. I’d just bite the bullet and eliminate the lead.
If you like WordPress and want to use it to create a static site, you can.

1. Run a local installation of WordPress on your PC. For one option, see localwp.com (no affiliation).

2. Use WordPress to design whatever website you want, using almost any WordPress plugins you want. Just don't make any calls for time-varying external resources!

3. Use one of the WordPress plugins for exporting a WordPress site as a static site, i.e. as a folder of files that you can upload to GitHub Pages, Netlify, Neocities, or wherever. For one option, see simplystatic.com (no affiliation).
What has changed that makes the idea out-dated? You can argue that it was always unhelpful but I can't see how it could be out-dated.

You're correct that the theorem doesn't address latency requirements. There are all kinds of things it doesn't address. The point of it is simply as you say - you must give up consistency to have availability in the face of a partition, or vice-versa. Some vendors of distributed systems would have us believe otherwise. This theorem gives us a framework to understand at a very basic level the trade-offs that must be made in distributed system implementations. That isn't really very much for as much airtime as it got, which I suspect is what your contention is with.
No really, taxis were the first thieves of the world, on paar with politicians.

Look, I went to Russia, I took Yandex Taxi. I went to Indonesia and took Grub. Whether you pay double of half is i consequential compared to “Yes I take credit cards” then “Oh my credit card apparatus doesn’t work” then “Let me find an ATM for you, at your expense”.

The one brand than invested on marketing is for nothing in the death of the taxis; Everyone was wishing they’d disappear.

The price was the cherry on the cake, the bottle of water was the finger to every awful taxi driver that has existed in history.
I disagree with this blocking tactic of "if you want to complain about it you must come up with something better"

Like, yes, let me completely redo my entire life path so I can redo one stupid argument.... I would love to, but I wasn't born with a silver spoon in my mouth that gives me the sapce to explore these things, and I have more practical matters to attend to. Until then, we're going to be complaining to anyone that would listen.

This is why we elect representatives to handle our complaints. Except in the business world there are no representatives and the regulatory bodies are actively made toothless (by business interests), so the only prevailing doctrine is the one that allows the people at the top to steal ("capture") the most value from the process. Everyone else can just go fuck themselves, amiright? This is a system that needs to be destroyed.
Desktop PC hardware is sufficiently modular and easy to upgrade. It would be nice if upgrades were add-on rather than throwing away the replaced module(s) but HW changes so fast it's almost never worth it. Software could be improved to make things longer lasting such as make clean install trivial with good separation of user vs system data. I recently added an SSD and made my old HDD the G: drive but the new instance of Windows on the SSD did not consider the new SSD userid with the same name as the old HDD userid to be the same user and so accessing the old files became a file sharing nightmare. Also the old HDD drive started taking forever for reboot file system checks and I had to just disconnect it. So now I am wading through all my old backups trying to figure out what is what.
At least that's a goal, a lot of people say "I want to make a game" but get stuck in the making an engine part. Which is also valid, don't get me wrong - if you enjoy it, by all means! However it's not building a game, it's building a game engine.

Anyone that wants to build an engine (or a CMS, or whatever) with the goal of making a game should try making one or more games with one or more existing engines first, if only to get a better idea of features and shortcomings. And if they really want to make games, or just the engine.
I wonder from time-to-time how many Richmonders realize that the Union didn't burn down the town; the Confederacy did to deprive the Union of the munitions stores. Richmonders were trying to put the fire out because, well, it was destroying their homes.

Portions of the city that were razed weren't rebuilt until into the Nineties (the 1990s).

But somehow, a mythology clings on that the Union were the problem, not the people carrying the torches.
There is such a thing. Unemployed former dockworkers in the US get "container royalties" - fees that shipping companies pay to compensate dock workers laid off due to innovation. https://www.wsj.com/opinion/longshoremen-union-strike-ports-...
Nor did Georges Lemaître, nor other theorists, and in that case the experimental physicists who (accidentally!) discovered the evidence did win Nobels.
Founder mode = drop out of Berkeley and copy paste open source code?

I wonder if 'founder mode' is the antithesis to Agile as getting shit done is against the manifesto (in practice).
Have you looked at the privacy record of some of the large US tech companies? Not exactly confidence inspiring. But carry on with the casual racism.
> I can think of no more sensitive biometric data than your dna.

I dunno, is that actually true? You leave DNA everywhere don't you? If someone really wanted tombert's DNA, they'd just have to follow me onto the train and swab the poll I'm grabbing, or grab the cup I was sipping on at McDonald's, or any number of things that could lead to a number of cells containing my DNA in a state that could be collected being dropped.
Video Game Controller Has Become the US Military's Weapon of Choice
Pex Labs – The Retro Game Console for PICO-8
Milton storm surge could be too much for Tampa General's 'AquaFence'
Interesting wildcard ideas in the article, but I don't think we can understand how the brain works using computing concepts. For a nice discussion on DNA being the "blueprint" of life I recommend Philip Ball's "How life works".
I love when businesses do stuff like this. If it works, it works.

My job isn't to ridicule them because it could be better, but make their solution better and ensure my solution for them works as well as theirs, if not better, without hampering the success they already had with what they were doing already.

A lot of developers don't want to admit this—in my experience at least—but tons of these ad-hoc web solutions actually work better than a ton of strategies experienced web developers would implement on their own.

So much of what counts is what the business offers and how they relate and interact with customers. Sometimes all that takes is a word doc exported to HTML. We can use our skills to improve it, but the real magic is in the humans running the business. I love it.

I find something fun is that finding ways to improve these solutions can actually be genuinely challenging. Sure, you can make a better website, you can deploy it with sophisticated infrastructure, etc. but at the end of the day, do their customers prefer it? Does it improve their business? Sometimes that part isn't trivial at all.
Yep this is of course one possible way too. Make a game from scratch but don't make an engine.

I personally I'm not capable of executing this strategy because my mind is always thinking in terms of abstractions and how to make things so re-usable in another context/project when the time comes. For better or worse this means that for me any "game from scratch" project will immediately turn into "engine + game from scratch" project :)
The currency exchange support is way simpler than this. The library only provides a method that will calculate the monetary amount given another Money object as the rate:

val amount = 1 money "USD" // USD 1.00

val rate = 5.4905 money "BRL" // BRL 5.4905

amount exchange rate // BRL 5.49

It's up to implementers to hook up in other datasets and to consume the rates. Exchange rates datasets differ from country to country and some foreign exchange companies offer short-term contracts to hold a transaction at a given rate (sort of "guaranteed rate/price"). I don't see myself supporting this use case.

Nevertheless, Java Money (Moneta) has this feature. Never used it so, I don't know how it works.
There is no paradox at all: simplicity is beautiful but complexity sells. The author thinks that value come from realized utility. However, in most market segments, value came from perception. With complexity (even useless ones), you can boost perceived value. How do you impress people when all the greatness is under the hood?

I use several SSGs and wrote one myself. I still can't recommend any SSG to people willing to pay.
Bolzman machines were there in the very early days of deep learning. It was a clever hack to train deep nets layer wise and work with limited ressources.

Each layer was trained similar to the encoder part of an autoencoder. This way the layerwise transformations were not random, but roughly kept some of the original datas properties. Up to here training was done without the use of labelled data. After this training stage was done, you had a very nice initialization for your network and could train it end to end according to your task and target label.

If I recall correctly, the neural layers output was probabilistic. Because of that you couldn't simply use back propagation to learn the weights. Maybe this is the connection to John Hopkins work. But here my memory is a bit fuzzy.
I have the same sources it's an offer for free service for people with equipment.

https://x.com/Starlink/status/1841503492445176151

https://x.com/Starlink/status/1841567233417576497

You don't need to activate a plan or even make an account. The dish will just work
I suspect it also helps if your engine can ingest content made in existing editors, or uses off-the-shelf libraries for e.g. the nitty gritty.
I really vibe with the author’s vision: an offline-first computer, made to last.
I'm guessing it transmits telemetry to help the manufacturer improve the robot's spatial awareness algorithm (and images for the same reason), and users probably consent to this without realizing it when they "agree" to the 15-page TOS
>Larger firms are on average more productive than smaller ones

Do you have any references for this that demonstrate it empirically? Theoretically, larger firms have economies of scale, but they also run into the same internal coordination/incentive problems that communist countries do, due to internal resource allocation being driven by internal politics rather than a market. I.e. command economies (and the average corporation is a command economy internally) face diseconomies of scale.
Can you explain further? daemons are OS-level and predate microservices by like a half-century, so how are they relevant to microservices?
I love to learn more about the history of computing. Thanks.
If you’ve been through tech interviews, you know how tough they can be. We built Interview Copilot to take some of the pain out of the process, especially for college students and recent grads trying to break into big tech. Our software uses AI to help you prepare for interviews at companies like Google, Amazon, and Meta. It offers real-time feedback on your responses and simulates real interview environments, from technical coding challenges to behavioral questions. With our tool, you can walk into interviews better prepared, knowing exactly what to expect. We're aiming to bridge the gap between theory and practice—check it out!
Google really is wrecking hell on third party integrations.
Neat tool.

Couldn't find anything in the docs on mapping file sources to resource needs on the host, how much is too much data to dump into the tool on a single workstation?
When you have an RO water filter (like I do), you just use that for cooking.
100% this. It's laughable if you believe those requests work as expected. Sure they may "delete" some surface level bs like your account or login, but there is no way it's 100% scrubbed in the way it's supposed to work.
Exactly this. Especially for a currently failing company that got an incentive to NOT delete your data (because that's the only value they still have).
well the oft reality: I Made Lots of Money Exploiting H1Bs You Can Trust Me Bro needs some artistic license before you can sell yourself as a thought leader

pg gets a pass for building outsized value (YC pre 2020), but the rest should probably not flex their luck and confuse it with success and spare us their 'wisdom'
Which isn't the best if you have a water softener, as the hot side typically has some salt in it as well.
These are people with equipment already. You don't need an account to use it so how will you be billed?
There's now a sale on Steam dedicated to Ada Lovelace Day and programming games
It is RAM as long as you access it randomly.
It looks like multiple exchange rates per currency pair is supported: https://github.com/eriksencosta/money/blob/4bef95a1d2158e308...
A Million Random Digits with 100,000 Normal Deviates, by the RAND Corporation, 1955. Preferred is the 2001 edition w/ new forward.
When the Arctic Melts
Historically, yes.

But don't the GDPR and CCPA et al. create liability around failure-to-delete after receiving a request?
The killer app of WordPress is comments. No SSG, almost by definition, allows comments; WordPress blogs almost always come with them built in.

If you want something like Hugo to really take off in the blogging sphere, all you need to do is create some good looking themes with comments. Figure that out at scale - maybe by using per-blog sharded SQLite, which you can host as a third party for pennies on the dollar - and you have a tiny golden goose on your hands.
That led me to this presentation on the Eidophor projector https://www.youtube.com/watch?v=3-BvMcqEc98
If her contrarian view is correct, why shouldn't she be cynical since no one else seems to care. If her contrarian view is incorrect, then sure don't listen to her.
Why am I not surprised that it's Apple that continues to make the world of graphics programming even more difficult than it needs to be.

> The GPU API in SDL3, by comparison, has chosen the only sane option and just asks you to pass whatever the native shader format is.

I get why their don't do this, to be fair. That would mean they would need to have a proper parser for a half dozen shader models. Or at least try to promise they will make and maintain others soon.
I linked a progressive source report on a progressive critique of the Times. I didn't even characterize the content of the article or letter, other than the latter is critical of the Times, which I believe is true. If you have a conservative report on the same letter - or conservative critique of the NYT reporting on trans issues, feel free to add it!

That said, otherwise your comment feels like the sort of thing I was complaining about - albeit not published by an elite journalistic organization. You took an opportunity to jump from one subject (issue-specific flaws in reporting) to another one (that NPR has bias, and you think they report poorly on trans issues among others). I have my own thoughts on how media orgs report on trans people (I imagine our views differ) but that wasn't really what I was talking about. I don't even really know how this post relates to what I was talking about - maybe you like the reporting I am critiquing? Tho if you don't like NPR's reporting on trans issues you probably also have critiques of the NYT.
Nice! Zachtronics with all the discounts is a real deal
I have 1k from the starlink engineer on ground and he said they've sold about the same amount to others.

Today's the 8th things change
Bingo. This is why google sheets is the best cms. Just have a data pipeline that rips the data out and upload it the webserver
Voyager is still going, qndand has a computer by very early definition.
Many people consider(ed) the problem of how to present email in a way that they understand -- not a crazy tree exposing the underlying reply structure -- difficult, as they had never experienced such.
An old version of Winamp will load very quickly and run very well on modest hardware. This webpage does not scroll smoothly on a 2019 Mac Book Pro and there's a long delay in loading the gratuitous, confusing video you have on the page. You have created a massive performance regression for no reason.
Fine Grained Authorization with OPA and Opal
Version five indeed because it already has quite a bit of an history as an ex-proprietary product.

We pronounce it "Skwey" (like in "query") but you can really pronounce it as you wish since its not even an existing word x)
I have a young toddler so would have needed multiple filters throughout the house. They tend to like to drink from the bath and my anxiety can’t handle that.
Can you explain what utility renaissance actually provides?
And don't say liquidity in the market cause that's a line of bullshit
>Be glad the government is involved at all or you might not be getting anything back.

This. I'm constantly surprised that the government helps people in these situations. If they want the government to be involved, they should push for crypto to actually follow all of the laws that apply to traditional financial things, which would eliminate a lot of these scams that end up requiring government intervention in the first place.
It's a bit of fun. Relax.
It turns out that, like biological evolution, evolution of machinery is the survival of the "good enough". it's probable that the best gauge for railroads, starting from scratch in 2024, would be wider than current standard gauge, but not by a lot; definitely less than 2x wider. the advantage of interoperability is so large that standard gauge will continue to win for a very long time.

There are many advantages to water transport over rail, where water transport is possible. water transport is vastly more efficient. The gauge isn't the reason for that, though; the efficiency is in the same order of magnitude regardless of gauge. Water transport is about one order of magnitude more efficient per mile, iirc. Trains are usually faster and more direct, which is their niche.
>indicates that João A. Fernandes is paid 15$000 (15 Portuguese escudos) per hour

From the linked Wikipedia article, the escudo was replaced with the Euro in 2002, at a rate of about 200 escudos to the Euro. Seems like they had quite a bit of inflation in those three or so decades.
Somehow I feel that Paul Graham has contaminated the startup discourse with his "Founder Mode" essay.

Not to mention, PG is taking the dangerous route and only looking at a few data points (let's be honest, just one - Brian Chesky, not even Joe or Nate) and trying to extrapolate that over the rest of the domain.

According to PG, Sam was one of his favorite founder types a decade earlier. How did that founder mode work out, except for a failed startup, then having to kick him out of YC, and now heading a startup where all the core team members left for greener pastures? If Loopt did pan out, I'm sure PG would be raving over Sam instead.

At this point, it's about time PG steps out of his inner circle shell and actually meet some successful founders in the YC community on the regular.
I’d really love if it someone crunched the numbers and estimated how much NIMBYism contributes to lead poisoning by not allowing older homes to be replaced with newer, modern homes.
As a English native and Dutch speaker, many of the Anglish words translate directly into Dutch, somewhat unsurprisingly. “Gnawdeer” is indeed “knaagdier” in Dutch, a very cute word I always find. :)
Hah, it actually gets worse. What I was describing was the Triton ONNX backend with the OpenVINO execution accelerator[0] (not the OpenVINO backend itself). Clear as mud, right?

Your issue here is model performance with the additional challenge of offering it over a network socket across multiple requests and doing so in a performant manner.

Triton does things like dynamic batching[1] where throughput is increased significantly by aggregating disparate requests into one pass through the GPU.

A docker container for torch, ONNX, OpenVINO, etc isn't even natively going to offer a network socket. This is where people try to do things like rolling their own FastAPI API implementation (or something) only to discover it completely falls apart at any kind of load. That's development effort as well but it's a waste of time.

[0] - https://github.com/triton-inference-server/onnxruntime_backe...

[1] - https://docs.nvidia.com/deeplearning/triton-inference-server...
Long shouldn't be avoided. The rule has always been 32-bits minimum. If that covers the range you need them you're good on every standards compliant platform, otherwise you use a different type. That is how the C native integer types are supposed to be used to maintain forward portability across different word size architectures. What is wrong is to blindly assume your types are larger than the minimum or exactly equal to the minimum.
Perhaps I was being a little too subtle/polite. I get your point...its just an incredibly anal point to make
Thanks for the insults.

2k from the SpaceX engineer on the ground. 1k from SpaceX itself.

I can understand if somehow by a game of telephone people got that idea. But the offers are here

https://x.com/Starlink/status/1841567233417576497

https://x.com/Starlink/status/1841503492445176151

Notice the service talk

It even seems to me you'd think people would just get Internet without any hardware
Today someone's pipeline broke because they were using python:3 from Dockerhub and got an unexpected upgrade ;-)

Specifically, pendulum hasn't released a wheel yet for 3.13 so it tried to build from source but it uses Rust and the Python docker image obviously doesn't have Rust installed.
They are in the position to hold critical infrastructure hostage, via a government mandated monopoly on labor. The ports can't just reject the union offer and employ non-union workers. Laws mandate that the ports can only hire union labor. The Union can, if it so desires, shut down most East coast ports until it gets its demands. They're not power drunk, they genuinely have the power to cause massive economic damage.

Imagine halfway through a kitchen remodel, your contractor stops working and demands 70% more than the initial quote. But not only that, the government prohibits you from hiring a different contractor at market rates and forces you to negotiate with the original contractor. That's what union negotiations are like.
I don't think I have ever seen a correctly implemented data deletion request system that worked well with the company's backups. If it's backed up, it's likely not getting deleted.