skysight-inc/HackerNews huggingface dataset:
Re the viable system model, I can recommend Dan Davis, The Unaccountability Machine, which also touches on the Allende story, and Patrick Hoverstadt, The Fractal Organisation. My own VSM-inspired book with a modern complexity lens will be published next year.
I really like Go as well, but the JVM is a lot better at hosting languages than any interpreter implemented in Go. You will likely pay a significant performance cost even for a very optimized Go interpreter. I wish this were not the case.
>Also that would be a great plot for a movie, akin to the Breaking Bad TV series.

If you took this idea and worked it into a script with characters and drama you'd get something close to John Q starring Denzel Washington. Not his best work, but a pretty good watch.
Show HN: Vekos – a Rust OS with Built-In Cryptographic Verification
VEKOS(Verified Experimental Kernel OS) is a Rust-based experimental kernel that focuses on runtime verification and security. Every filesystem operation and memory allocation generates cryptographic proofs that can be verified in real-time, ensuring system integrity. Think of it like a blockchain for OS operations rather than just storage verification.

Key features:
- Merkle tree-backed filesystem with operation verification
- Memory manager with CoW and proof generation
- Buddy allocator with zone-based memory management
- Shell with VT100 support
- Verified boot sequence with stage attestation

The kernel is still in alpha, but it demonstrates a novel approach to OS security by making verification a first-class citizen. All critical operations (memory allocations, filesystem writes, process creation) generate proofs that are stored in an append-only chain, similar to a blockchain but for system operations.

GitHub: https://github.com/JGiraldo29/vekos

I would be excited to get feedback on this project, especially on the verification approach and potential use cases. If you have any question the innerworkings of the development, just ask and I will gladly answer all questions. The code is under the Apache 2.0 license and welcomes contributors.
Curious how this this discovery could inspire cross-disciplinary innovations, particularly in areas like bioinformatics or space exploration, where power efficiency is crucial
It's amusing to see the early signs of the anti-vax movement here. The history of that movement is long.

Humans are built to thrive in danger, chaos and instability. I think a good chunk of humans go insane in a safe and stable environment and resent the things that allow them to live mundane, safe lives -- technology, medicine and rational thinking.

I think there's a certain amount of cherry-picking going on with this textbook, however, as you'd find just as many pro-science books today, and likely a number of "science is the devil"-type publications in the early 1900s.

It's an interesting read, either way, with some amusing editorializing by the article's author in the middle (no spoilers).
https://www.npr.org/2017/01/10/509164679/from-the-start-obam...
Kanata: Cross-platform software keyboard remapper
> you may contact Richard Stallman and ask him for advice

the guy who eats his toenails? https://www.youtube.com/watch?v=I25UeVXrEHQ&rco=1
Gun owners don't call them silencers. Movies call them silencers and non gun owners watch movies so that word has entered the lexicon.

But it's extremely incorrect-- suppressors don't silence guns. Suppressed firearms are still loud.
Heard! Sorry if I came across as combative! I spent way too much time around clinicians and tend to stick to formal definitions a little too much.
NEAT:
https://en.wikipedia.org/wiki/Neuroevolution_of_augmenting_t...

NEAT > See also links to EANT.

EANT:
https://en.wikipedia.org/wiki/Evolutionary_acquisition_of_ne... :

> Evolutionary acquisition of neural topologies (EANT/EANT2) is an evolutionary reinforcement learning method that evolves both the topology and weights of artificial neural networks. It is closely related to the works of Angeline et al. [1] and Stanley and Miikkulainen. [2 [NEAT (2002)] Like the work of Angeline et al., the method uses a type of parametric mutation that comes from evolution strategies and evolutionary programming (now using the most advanced form of the evolution strategies CMA-ES in EANT2), in which adaptive step sizes are used for optimizing the weights of the neural networks. Similar to the work of Stanley (NEAT), the method starts with minimal structures which gain complexity along the evolution path.

(in Hilbert space)

> [EANT] introduces a genetic encoding called common genetic encoding (CGE) that handles both direct and indirect encoding of neural networks within the same theoretical framework. The encoding has important properties that makes it suitable for evolving neural networks:

> It is complete in that it is able to represent all types of valid phenotype networks.

> It is closed, i.e. every valid genotype represents a valid phenotype. (Similarly, the encoding is closed under genetic operators such as structural mutation and crossover.)

> These properties have been formally proven. [3]

Neither MOSES: Meta-Optimizing Semantic Evolutionary Search nor PLN: Probabilistic Logic Networks are formally proven FWIU.

/? Z3 ... https://news.ycombinator.com/item?id=41944043 :

> Does [formal verification [with Z3]] distinguish between xy+z and z+yx, in terms of floating point output?

> math.fma() would be a different function call with the same or similar output.

> (deal-solver is a tool for verifying formal implementations in Python with Z3.)
Sufficient filtration as part of recirculation solves this.

Imagine what we could have had in our communities if we hadn’t wasted $3,000,000,000,000 on Iraq.
Do I understand correctly that the videos themselves are also AI-generated? That would explain the lack of spacebars on both typewriters (the one in the slider at the beginning and the one in the example video).
Is Naming That Hard?
Glad to see it'll still be around just as weird and charming as it was.
If you like transportation games, maybe https://www.simutrans.com/en/ is also for you. ;)
Shuttle (YC S20) | AI Engineer | London or Remote | Full Time

At Shuttle, we're on a mission to redefine the developer experience for building cloud applications. We want to use AI to empower the next generation of builders to make use of the latest and greatest cloud technologies, by crafting the simplest, fastest, and most enjoyable development experience.

Shuttle is open source and our Infrastructure from Code framework paired with our cloud platform eliminates infra hassle and accelerates app development and deployment.

1. We’re looking for an AI Engineer to work with the rest of the team to research, develop and design the optimal AI-powered developer experience

This role will help drive the AI product strategy for Shuttle and have a real impact on its direction.

Salary: $100K - $150K + Equity

Read more and apply here: https://www.ycombinator.com/companies/shuttle/jobs/n9zjR2m-a...
Pretty sure that The Maypole (https://maypolefreehouse.co.uk), which is round the back of the Baron, is safe... thank goodness.
MetaBrainz Foundation – music, art, and book metadata
yeah i switched from business to software engineering, and it felt like an sysphean task to develop and keep relationships up in this new hemisphere. thought it was just me but didnt really have that issue with business people. in software it feels like the relationship halflife is accelerated. wonder how to get around that issue with people you literally have to strong arm the social stuff for them. i know doing computer gaming socials and having mutually overlapping projects can help be temporary glue but beyond that, trying to muster things up continues to be a struggle at least with a large portion of the software community. whats the secret to effortless networking and convincing introverts to so social stuff that they are repelled to doing.
''M-I-D-A-C: the Machine is Down Almost Continuously.''
I'm sorry to hear that's your experience and hope this article helps that get a little better!
OpenRCT2 – RollerCoaster Tycoon 2 in browser using emscripten
You have no idea who I hate. To me Mitt Romney is on the same footing as George Soros or the Easter bunny. I've never met them. They are notions that live in my head based on things I've heard and read about them in the media. I might dislike the idea of them or what they've supposedly done but to hate them would be absurd.

To say that mutual hatred of Santa Claus-level figures is a starting point for discourse says a lot about your attitude. Please review the HN commenting guidelines.
I don't understand this space very well, but this seems incredible.

Something I find interesting about generative AI is how it adds a huge layer of flexibility, but at the cost of lots of computation, while a very narrow set of constraints (a traditional program) is comparatively incredibly efficient.

If someone spent a ton of time building out something simple in Unity, they could get the same thing running with a small fraction of the computation, but this has seemingly infinite flexibility based on so little and that's just incredible.

The reason I mention it is because I'm interested in where we end up using these. Will traditional programming be used for most "production" workloads with gen AI being used to aid in the prototyping and development of those traditional programs, or will we get to the point where our gen AI is the primary driver of software?

I assume that concrete code will always be faster and the best way to have deterministic results, but I really have to idea how to conceptualize what the future looks like now.
A similar thing happened to me recently. A chap I knew at a previous bank when I was an AVP and he was a VP is now on the board of my (very large multinational) company.

When we caught up it was nice to see that he was exactly the same, and remembered me and said hello.
Agreed, the incentives are horribly misaligned throughout the entire healthcare market. We desperately need legislative overhaul but again congress is completely broken.
There isn't a propaganda machine trying to make Manhattan look dangerous, so I don't think anyone thought this was random.
shrug I'm not an accelerationist, I do not want to live in any more historically significant times than I already have. That said, our systems continue to fail us at basically every turn so when I see stuff like this, I'm not surprised either. If you put people in a situation where they feel they have nothing to lose, you shouldn't be surprised when they start acting that way too.

People demand justice, whether they're right to is a secondary concern, as is the methodologies they choose to seek it. Some become activists. Some become politicians. Some pick up guns.
These people are the real MVPs.
> Is it really arguing in good faith to put hypotheticals side by side, on an equal footing, with evidence?

Is it arguing in good faith to consider other perspectives outside of our own? Yes it is, and I consider the reverse to be in bad faith.

While I don't fully agree with Kant, I find the Universability of an approach to be a good filter for identifying not-okay actions that are justified by the perpetrators - sometimes me (a.k.a. the Silver Rule: "Don't do to unto others what you don't want to be done unto you")

My high school history teacher would share historical accounts and encourage us to analyze the authors motivations and biases.
From what I understand this is a way to have all the OCI standards in front of the simple, battle-tested Jail and ZFS mechanics.

I personally find the ergonomics of jails to be natural and almost frictionless.
Actually once you use jails a bit you realize how awkward are Dockerfiles.
My intuition is the success of Docker was due to a lot of devs and newcomers were onboarded through it. And so it became "the standard and obvious way to work".

But when you look back 5 minutes you realize the modern container stack doesn't fit that well in the Unix way to do things.

Anyway FreeBSD probably needs to make a step toward it to stay relevant so I guess this is a good thing.

At the same time there is also a great opportunity to do things better. For example Nix can define containers in a superior way. I would love to see something like this come to FreeBSD one day.
Duplicate of https://news.ycombinator.com/item?id=42317968
> UnitedHealthcare is a very evil company

Because they are an insurance company? Or are they somehow worse than the others?
Very nice! At first the buttons didn’t do anything and I thought it was not mobile friendly. I quickly realized I was in a browser with JS disabled.

Maybe add some error handling around that?
Also depends on how their browser shortens the display of the URL
Science has delivered a standard of living to most of the developed world that is greater than that of an Egyptian Pharaoh or a Roman Emperor in numerous ways: health, food, availability of information, ease of travel, physical comfort, etc.

Yet visit social media and it's absolutely overflowing with gloom and doom and histrionic political rage and fear bait. Saw a thread recently on Reddit about how many young people in the USA are contemplating suicide because the present or the future looks so bleak to them.

We'd have to fall pretty far for their standard of living to decline below that of Pharaoh Ramses II.

It's convinced me that the human brain is just not wired for abundance. Our brain keeps searching and searching for the immediate existential threats that millions of years of evolution have programmed us to know absolutely must be there. If we don't see them it actually makes us panic more since it means the lion is hiding so well we can't spot it and it's about to jump out and get us.
> I wonder if the original commenter would have put the same comment if the article were "man shoots his wife and her lover on discovery of adultery"

Why wonder if someone would make the same comment in entirely different circumstances? Why does it matter?
USB Access from Docker on Windows and macOS
There is what the law says, and what people are physically cable of. I am being realistic, but you are free to challenge that realism with paperwork that can be ignored by folks who would seek out the hardware mentioned. There are laws against murder, how did that go today?

I am making observations of an operating environment, and don't hold strong opinions on gun rights and similar. More, "What am I dealing with as someone who has to live here?"
The "Death panel" thing was the primary boogeyman when the ACA was being discussed. But like the comment says, that already exists, just in private form instead of government.
Block Blast Solver – AI-powered puzzle game solution tool
Block Blast Solver is a web-based tool I built that uses computer vision and AI to solve puzzle game challenges. It analyzes screenshots in real-time (<100ms) and provides optimal move sequences.

Technical highlights:
- Browser-based image processing
- Pattern recognition algorithms
- Move optimization engine
- Chain reaction prediction
- Multiple solution paths

Key metrics:
- 100K+ daily users
- 99.9% accuracy rate
- <100ms response time
- Zero installation required

The solver runs entirely in the browser, processing everything client-side for privacy. It uses advanced pattern recognition to identify game states and calculate optimal moves based on various strategies (max score, quickest clear, chain reactions).

Looking for feedback from the HN community, especially on the technical implementation and potential improvements.

Demo: [Block Blast Solver](https://blockblastsolver.app/)
'Yes. BonBook is live in private beta and can do a whole lot more than just find flights. Click here to request access.' - why keep it a secret? What else can it do? :)
So when I can try this?
ChatGPT's Poetry Is Incompetent and Banal: A Discussion of Porter and Machery [pdf]
Interestingly, if storage cost decreases geometrically over time, then the total storage cost of storing a video for all eternity is finite.

Though what I was commenting on here wasn't so much the cost of storing a video at all, but storing it in 'warm' enough storage that you can load it really quickly.
Indeed, or in a Tarantino movie, but in that case the killing would need to happen in a different way.

Maybe like, his own employee has her husband's treatment denied, then fueled by rage, does the justice with her own hands with a lot of red in the screen and some feet shots, of course.
You can't prove the mafia boss broke the law any more than you can prove he didn't. That's what makes them the boss.
This is false. Corporations want to make money. A big way to do this is to sell your data to governments.

Another way is to use your data to help them become a monopoly and/or manipulate you.

It’s not “sell more stuff”, it’s “assist governments and extract money by any means, including robbing you”.
Yeah this is the problem. And there is NO way to bypass the system and just get the vaccine if you want it. The only place that will give it to you is the ER. Thus forcing a 15k payment or a very large deductible payment. But yet, you can go to your vet and get it for your dog for 20 bucks. The u.s. system is totally jacked.
The distinction would be that you can still seek legal redress in court for your spouse committing adultery. It may not be the redress you want, but it would at least get you something, e.g. grounds for divorce.

Increasingly, though, people in the United States feel that the rich and powerful have become effectively insulated from the legal system, such that the common person is denied any redress. At that point, one no longer feels any reason to continue working within the legal framework, because it seems clear that the framework is not at all "equal" under the law.

Hence, when all other options feel exhausted: murder.

And, frankly, I imagine this will only continue with time, unless this country decides to actually provide some mechanism to hold people in power accountable. Like, I'm frankly surprised no one has attempted to assassinate members of the SCOTUS yet recently, given that they enjoy a lifetime appointment to make wide-impacting, scrutiny-free decisions.
I don't think this ceo should be killed. However it's absolutely the case that this ceo has taken actions that resulted in the deaths and suffering of others. I wouldn't be the least bit surprised if someone lost a family member due to this ceo and that turned out to be the motive.

I'm nervous about the precedent this sets, if that turns out to be the motive.
Show HN: A programmable firehose-to-webhook server for Bluesky / Atproto
I made a generally programmable firehose-to-webhook server.

You'd specify the filters to handle a subset of events on the Bluesky firehose, posts from just a small set of users, or @-mentions, or just one country, or all posts with emoji in them.
> Are you suggesting that UHC breaks the law? If yes, why is the answer to that not a trial in a court of law?

This is an incredibly intellectual dishonest take on how large corporations break the spirit of laws if not the letter.
What is it about vaccines?

Lots of anti-vaxxers are fine with other kinds of drugs and use them liberally, even in many cases street drugs. They'll eat fast food, processed food, use household chemicals, do all kinds of other things that expose them to things they don't understand and may not be good for them, but vaccines are just the devil incarnate. The word vaccine seems to provoke a visceral gut reaction among a lot of them.

Like you said it goes way, way back. Something about vaccines creeps a lot of people out for reasons I don't understand.
The primary reason for the cost difference is the massive network of middlemen injected into the system, and rampant profiteering by for-profit healthcare companies.

Average cost of 1 vial of insulin in France: $9.08

Average cost of 1 vial of insulin in the US: $98.70

HDThoreaun: huffing some libertarian shit "The people are using too much insulin."

https://www.rand.org/pubs/articles/2021/the-astronomical-pri...

https://www.visualcapitalist.com/cost-of-insulin-by-country/

https://aspe.hhs.gov/reports/comparing-insulin-prices-us-oth...
> In 2023, the CDC recommended new health codes that call for "secondary disinfection" methods to keep Crypto at bay, including disinfection systems using ozone or ultraviolet light. Another possible solution is to have "single-pass" splash pads that don't recirculate water.

UV seems straightforward, even as a retrofit — a UV sterilizer is not terribly expensive or large, and it can be installed downstream of the filter without any other complication. (UV works poorly in cloudy water, which is why it goes after the filter.)

Ozone is a mess. The concentrations of ozone that disinfect are also dangerous for people, so you need a “contact chamber” to let the ozone react, and you want to avoid spraying highly ozonated water at children.

It also seems like it might be useful to sterilize the filter every night — those filters can surely end up quite full of cryptosporidium oocysts that will live for a long time. I don’t know what one would sterilize it with, though. Maybe chlorine dioxide?
I think people are extremely sensitive to the first derivative of things happening to them, with a very short time window. Even if your life is objectively better (by any measurement you want) than it would have been 500 years ago, is it better than it was a week ago?
Wow.

Since moving to the US and driving here, I've suspected people have this attitude, but this is the first time I've encountered confirmation.
One of them said that it wasn't good enough because they're optional. He didn't explain the logic behind that any further. Some say it's because the kids speak english all day.
Next is like rails 2. Eventually they will get to rails-like abilities.

I'd say Clojure and java ecosystem is miles ahead of rails as well, but for this project I don't want to play in that garden.
Webhooks are compatible with https://www.standardwebhooks.com
Similar for my self hosted email, though I just reject in postfix for about 30 of the cheap/meme tld's.
> When I was in college in the early 2000s I played around with genetic algorithms and artificial life simulations on a cluster of IBM Cell Broadband Engine processors

Early/Mid/Late 2000's I was working on a hobby project for artificial life with ga evolved brains. I spent a lot of time investigating options, like the cell processor (I bought a playstation to test with). I also looked at interesting multi-core cpu's that were being introduced.

I ended up with a combo of CPU+GPU on networked PC's, which was better than nothing but not ideal.
Your argument started by talking about loose laws for firearm purchases. Not about being “physically capable” of. It then transitioned directly to talking about suppressor availability. I think it’s reasonable to point out that they are different legal regimes if only for other people confused by your abrupt and silent transition away from talking about laws.
Also Seattle interestingly, C89.5 has a great live stream. No commercials, owned by Seattle Public Schools, and partially run by high school students.
>careful when dealing with generics / operator overloading

In C++, you can't overload operators for built-in types and template parameters are normally constrained:

auto f(std::integral auto x) noexcept
{
return x+x;
}

But yes, writing C++ templates that work with wide range of types takes some thinking and operator overloading adds to the mental load (or reduces it, when used sparingly and properly).

>"Operations on basic types" can now invoke UB

They always could. I don't want this conversation to become about Rust vs. C++, I'd gladly use Rust when where is appropriate task.

>needs a concrete example to discuss

Write a new post when you come up with a bunch of good examples)