skysight-inc/HackerNews huggingface dataset:
Does the Emirates boss really think that CEOs can and should be directly involved in safety changes?

It doesn't take an engineer to see they have safety issues worth fixing, and it doesn't take a CEO to fix them.

They just need a CEO with a better prioritization of safety versus profits/losses.
How adequate is Swing (combined with JGoodies Binding or RxJava) compared to JavaFX in this regard?
Agreed... my first thought was "wow, this would create a lot of unnecessary waste going into a landfill."
Quite shocking how oblivious a lot of ostensibly tech savvy people are to the existence of hardware security tokens. Yubikeys have been around for over 15 years now, although Apple only added support for hardware tokens recently.

https://support.apple.com/en-us/HT213154
I would be curious as to how they are measuring the subject's perception of their age. Are they just asking them how old they feel? How do they get meaningful results?
What I can't stand is the old "but the left wing does unchecked spending" myth.

The ÖVP reigned ABSOLUTE for decades (!) in Niederösterreich and it has the second most debt of all Austrian states.

Also: The ÖVP is moderate to right and is part of EVERY (federal) government since 1987 (!!!)

Also, guess who provided the minister of finance?... well, no need to guess:

https://en.wikipedia.org/wiki/List_of_ministers_of_finance_(...
Never underestimate the security and safety of a hidden piece of paper! If it's good enough for wills for the last 500 years, it's good enough for a password.
QWOP Game
> in principle the death penalty is fine

If you spend some time in the Nordics, you'd find that most don't think "death penalty is fine in principle" as it goes against many of the principles people there try to live by.
Icann says "TLD_NOT_SUPPORTED." because .DE

Yes, namecheap has it as expiring in the dashboard, and I need to pay them to keep it.

The transfer was two weeks ago.

" If still in doubt get on the phone with your new registrar and they can validate if it moved successfully."

I did that before, they said yes, still namecheap in several support mails claimed they have the domain and I need to pay them or lose it.
The best argument against democracy is a five-minute conversation with the average voter.

I am not sure which side is more retarded these days - left or right. Anyone with half a brain looks on at the tribal demagoguery and disengages from all things political; thus all we are left with is chancers, grifters and charlatans.
Dupe: https://www.annwan.me/computers/what-why-how-containers/
Just historic reasons. We should know better after Engelbert Dollfuß and Adolf Hitler.
Sorry. Missed that. Didn't even remember it happened.

Still paying for the ACM membership and the print edition though. Totally worth it.
I personally don't see a big reason why the CEO of Boeing needs a Engineering degree. This seems to me to be a scapegoat, there are plenty of bad CEOs with Engineering degrees.

I'd argue that the COO or another position needs to have this qualification and have the power to bring up these risks to the CEO/Board. Someone needs to understanding engineering, be close to the ground but also have the power to bring things up to the CEO to make appropriate decisions.
I used "composite" (actually monochrome) video output software someone wrote on the RP2040 for an optional feature on the PhobGCC custom gamecube controller motherboard to allow easy calibration, configuration, and high-frequency input recording and graphing.

Pictures of the output here: https://github.com/PhobGCC/PhobGCC-doc/blob/main/For_Users/P...
So then the alternative is to let Putin have his way with Ukraine, just so gas prices stay low?

It's really interesting how similar the "political programmes" of far-right populists are across the globe, from FPÖ to Orbán to Trump: anti-immigration, vaccine skeptic, isolationist, against international treaties and organizations (EU, UN, NATO, ...), and (most interestingly) consistently pro-Putin. I wonder why...
The Ars Technica guide to keyboards: Mechanical, membrane, and buckling springs
The Affinity and Canva Pledge
I follow the GUI development space out of curiosity. I have made a few GUIs in Java Swing toolkit and I enjoyed it.

When I did GUIs in Android native, I didn't enjoy it at all.

I have loosely played with Qt Quick but I didn't know C++ so I was clueless how to encode user behaviour into a program that implemented the behaviour. My immediate mode Javascript canvas work is far simpler.

LLMs are already generating web GUIs (such as vercel's v0 and others) and we can encode mapping of current state tokens to next behaviour tokens. Hopefully we can specify all the interactions and what should happen due to them.

React vdom refreshes the whole tree changed nodes for recomputation, LLMs could generate the new tree and use an animating library to transform between states - the difference in the trees.

Immediate mode GUIs lend themselves well to this; you just generate/rerender everything.

What I'm interested in is a novel desktop paradigm alternative to windows, mousing and drag and drop.

Intellisense and LSP lets us see the types of what an operation has. But computer GUIs are inherently synchronous unless you're writing a script or program. I would like to click through operations and transform and map from one kind of things to another type of things. This would queue operations up and the computer can schedule them efficiently.

Haskells knows the type of a pipeline at each stage of processing.

I would like to do "algebra with behaviour" and have built in transformations such as joins, swapping, queries and scheduling. If you can map a problem into something you understand based on position, you can do algebraic transformations between states such as binpacking or path finding.

"Break these files into batches, compress+encrypt them, keep them synchronized between these machines and back them up"
I've just started using this to build a better shell for an emulator project! Of all the GUI toolkits I've tried to learn in Rust, egui is just... *delightfully* simple to set up and get started with. No weird lifetimes to wrangle, the context management is sane, and the whole thing is cooperating very nicely with my threaded environment and application-specific event pump. 10/10, do recommend highly.
The comparisons with the Nazis - in the case of the FPÖ - are not exactly far-fetched. They have a history of engaging with Neo-Nazis.
> You are unlikely to change cloud providers, so choose one and stick to it. Use their managed features.

I am curious about this because I see opposing views expressed by different people. I have never personally been in a position where the decision has been relevant.

I work at a cloud provider an I'm told that a big slice of our revenue comes from customers who are already load-balancing across multiple clouds, so if we degrade perf/dollar they just turn a dial to shift load to our competitors.

This has always seemed very smart to me and I would love to get more perspectives on how easy it is to get to that position where your infrastructure is so commoditised that you can migrate between providers and back at the push of a button.

Is this something people achieve late in their lifecycle after massive cost-optimisation push? Or is this actually something you can build towards from day 1?
See also: Sleep deprivation is torture: https://www.psychologytoday.com/us/blog/dreaming-in-the-digi...
I find sleep focus mode much more reliable than the silent switch. It’s confusing they have both.
We don't have any miracle cures but we do have more and more evidence of effective preventative lifestyles. High cardiovascular fitness, good diet, and mental stimulation throughout life (think learning a musical instrument, not crosswords) all appear to lower the risk of dementia.
Phone Number Masking for Yelp Services Projects
"A new report highlights what probably amounts the most most absurd stretch in the DOJ’s antitrust lawsuit."

Suppose Apple spent more on R&D, made the iPhone even better, and thus increased its market share. The DOJ would probably cite that market share as evidence of a monopoly too.
There are several distinct versions of Lively Kernel

https://lively-kernel.org

https://lively-kernel.org/lively4/lively4-jens/start.html
That’s just incredibly dystopian and sad. I hope this is the start of a greater trend pushing back against social media. We’ve lost so much quality social interaction to apps. The mental health aspects of just stepping outside and making real personal human connections are huge.
I think they want to avoid the inevitable and unpleasant comparison to Xbox.

There's some oddness also, slay the spire+ is available on iPhone, where I don't want it but not on Apple TV where I do.
This doesn't translate into lower ticket prices?
Aren't these socialists?
> there is zero value add on them spending time on how to navigate malware.

What about not having to deal with malware?
I'm in Connecticut, not San Francisco, so I can't meet with you this time. Just wanted to wish you luck meeting up with someone and let you know I will probably follow your lead if I'm in the same position as you and will drop an open invite here. Enjoy your stay in California!
> but very expensive e.g. $100/hour

Yeah getting specialized human help that is worth while for anything is expensive. I tried to being a tutor/mentor on some site, forgot off the top of my head. I'm pretty sure in and out or target pays more.

100/hr seems right to charge. Probably still not even enough. If you break it down, you spend a ton of time unpaid doing prep and searching for clients, the work it self is inconsistent, you pay taxes.

It also felt like a race to bottom on prices, where I think 3rd world country people were working as tutors.

I also just got asked to answer homework questions for cheap.
> but is there anything important about Austria shifting towards this end of the political spectrum?

Because the media's favorite go-to about ANYTHING right of center is "Nazis! Nazis! Nazis!" and well, Hitler was born in Austria, so this is an omen or something.
Docker doesn't turn off the firewall, but rather hijacks and repurposes it for itself. It's not any nicer, but it's not the same thing in reality.
I work at a 60 dev shop so not a startup per se.

Our biggest problem is feature environments, or actual integration tests where multiple services have to change. Because infra is in its own repo in terraform and the apps have their own repo we don’t have a good way of creating infra-identical environments for testing code changes that affect multiple services. We always end up with some hack and manual tweaks in staging.

Data engineering is another problem, managing how to propagate app schema changes to the data warehouse is a pain because it has to happen in sequence across repo borders. If it was all one repo and we got a new data warehouse per PR it would be trivial.

Not trusting CI to hold secrets is another. As soon as we do anything in CI that needs “real” data we need to trigger aws ecs tasks, because circleci has leaked secrets before so we don’t trust them and keep all our valuable secrets that can access real data in aws ssm. The more complex the integrations the harder they are to test.

If we had a monorepo I think this type of work would be much easier. But that comes with its own set of problems, mainly deployment speed and cost.

If there was a way to snapshot all our state and “copy” it to a clean environment created for each PR that the PR could then change at will and test completely, end to end, that would be the dream.
Hopefully KPÖ will agitate enough to guarantee their presence in the federal assembly.
Ah, I see. That clarifies things. Until today, I was a user. But this change in roles brought a perspective change.

Honestly, we are lucky to have one of the founders bring his huge network of contacts from all over the world, as he has organized large events in this space and was a CDXO for a worldwide company.
Show HN: Manage on-prem servers from my smartphone
Hi everyone,

I've just released the public repository of RebootX On-Prem (https://github.com/c100k/rebootx-on-prem), letting anyone to connect and manage their infra on their smartphone.

In my case the infra is pretty simple : 3 Raspberry Pi. But I'd love to have your feedback and see interesting use cases you could use this for.

I have lots of ideas for the next steps. For example, creating a Prometheus integration as well.

Looking forward to hearing from you and I would be glad to help if you encounter any issue getting started with the repo.
https://imgur.com/gallery/4e4G5
Would it be out of the question to relicense your project to GPL? I guess you want to allow people to use your work without releasing their source, but that's at odds with the fact that TinyMCE doesn't want that any more and you presumably rely on their work too.

I certainly don't want to reopen any tired debates, I'm just interested in what the perspective of a downstream developer is like here.
In EU, electricity price is indexed on gas price, and so, we the gas price is applied to cheap nuclear energy.
Also, care do demonstrate how buying Russian oil to India saves Ukraine? Thanks.
Filesystems solve linking insofar as the libraries themselves are on disk; otherwise, this is squarely the responsibility of the loader.
> The thing that amused her was the totally inappropriate photos people often supplied for the remembrance packs

It's always the case that different people have different amount of "prudence". What is normal and casual for some could be completely outrageous for others.

Think being topless at the beach/pool which is completely normal where I live, but I could imagine doing so in the US would cause havoc. Except these differences also exists between individuals, not just cultures as a whole.
I don't think your reply is particularly effective when you are replying to a comment that exhibits a formally verified microkernel.

> 1. Unfortunately the set of "some" programs is unknown and most probably really small.

Many useful algorithms can be proven to terminate. Compare against the situation in mathematics: many theorems are not be provable, but that does not stop us from trying to prove useful theorems, or recognizing that a given theorem has already been proven.

> 3. Proofs are not reuable: proving something about one program does not tell us anything about other programs.

This is true in the sense that a proof of arbitrary program A does not tell us anything about many other programs. But it is clear for example that if, say a program is recognized by inspection as the concatenation (splicing the final states and initial states together) of two programs that terminate, then this program terminates.

Even the link you provide gives optimism and claims that

> Now we know why writing correct programs is hard: because it has to be. But while we cannot verify all programs all the time – regardless of how they’re written – there’s nothing stopping us from verifying some programs some of the time for some properties.
Feels, on the whole, like raging against git because of the crappy porcelain syntax (way-overloaded checkout statement, etc). Won't help, too entreenched; frankly, just too good to be replaced over that. Same with the relational model / SQL.

Difference, though: Git is improving (switch statement, etc). So OK, the front-end SQL language could use some improvements... But I doubt it'll happen.
Women in prisons deserve better
When people are leaning towards far-rights it's sleepwalking, when they are leaning towards far-left they are a progressive society.
Someone did once joke that Docker is just static linking for millennials. I chuckle because there's a kernel of truth in there. ;)
My guess is the fairly recent history of a certain Austrian authoritatian far-right leader responsible for some of the worst atrocities in the course of human history has something to do with this particular fascination. Not saying every right wing extremist from Austria will turn out the same way, but perhaps not surprising that the locale does raise a couple of extra eyebrows when notable things - like elections - occur.
> Well, no. When people say "containers", they always mean "Docker".

Not really / not necessarily. https://github.com/opencontainers/runtime-spec
The tentacles of this tragedy reach out far beyond Baltimore.

I saw someone speaking of how their shipment of body pillows was on that ship and they'd be liable for customer refunds now, possibly breaking their business.

People working at car dealerships all over the East Coast now have customers they're going to have to disappoint, one way or another.

Where's your sympathy for the people attempting to deal with the ongoing consequences of the crisis?
I think a better analogy is, with containers you maintain more "servers" in the end, and patch and reboot them all.

So there's no free lunch and everything is a trade off. People thinking that containers are no more work than managing servers or services are in the wrong.
Your comment reminded me of one of the best books I’ve ever read… Mark Manson’s The Subtle Art of Not Giving A Fuck. He talks about what he calls the “backwards law” which is about these counterintuitive truths like the one that you discovered.
exactly. i don't understand why people feel the need to blame antirez. he wouldn't do that if he still ran the project anyway
OCI is not the problem, you can create reproducible images using NIX that reuse all the packages between different images.

The problem is the way we usually package the apps with Docker-Dockerlike builders
Angie, fork of Nginx, supports ACME
Angie v1.5.0 has released with automatic HTTPS provisions TLS certificates using built-in ACME support. It is used instead of EFF Certbot or Caddy.

Read more about what the difference is with nginx: https://angie.software/en/#features

Github repo: https://github.com/webserver-llc/angie
Obviously the "I think that [..]" or "it is my opinion that [..]" is implied.
>there are still micro-cultures out there that want to get it done.

My impression as well.

And I admire it way more when the attitude is maintained even when surrounded by those having lesser motivation.
>The other 93 percent of the animal’s lifetime diet will consist largely of feed that is inedible to humans, thus not in direct competition with the human food supply.

Just because feed is inedible to humans does not mean it doesn't compete with the human food supply or lead to environmental and resource problems. Take alfalfa, which is one of the most popular feed crops for cattle:

>How much of California's water goes to alfalfa?
About 1,000,000 acres of alfalfa are irrigated in California. This large acreage coupled with a long growing season make alfalfa the largest agricultural user of water, with annual water applications of 4,000,000 to 5,500,000 acre-feet.

https://ucmanagedrought.ucdavis.edu/Agriculture/Crop_Irrigat...
I wish you luck in your endeavors!

I am a math professor, and FYI your (1)-(3) are not common practice in math departments which I've seen. Math professors and TAs are generally happy to encourage students to learn on their own. As for administrators, if they tried to impose (1)-(3), then at most US research universities they'd get the raspberry.

Of course, MIT might be special -- it sounds like a ton of students show up to office hours, and I can understand how MIT's math department might want to manage their TAs' workload. Unfortunately, the TAs are there to do research, and they are not required or expected to go the extra mile in teaching. Wanting a long one-on-one session after each lecture... yeah, unfortunately no TA is going to see that as their job, and any TA who does will get behind on their research and burn out quickly.

You probably know this already, but MIT is highly atypical. Depending on what your target market is, I'd research what is going on at state universities. Google "student success in calculus" to get a sense of some of the ongoing discussion. If possible, find a professor or TA at such a university, and offer to take them lunch somewhere nice if they'll talk about their experience in teaching service classes.

A lot of universities want to do better in this regard, especially at the "service course" level, e.g. calculus and below. And there is lots of money out there, although university budgets are weird and the politics are byzantine, which means that your efforts would need to line up with some administrator's agenda to get a piece of it. Good luck.
> if modules are designed to run linked together in a shared address space.

How does this not apply to javascript?
Book review: 'Housing the Nation' informative introduction to complicated topic
The headline here is mighty disingenuous, Austria has been voting in far right parties since the late 1990s. In fact, as a country they've moved very much to the right even in the last decade. It's not sleepwalking into anything if the voters consciously keep voting this way in larger numbers, in fact it kind of absolves the Austrian electorate from what they've chosen... "It wasn't me mister, I just sleepwalked into voting for a bunch of unreformed nazis".
Hey! Daytona looks cool.

The last few PH launches I've run, I've also noticed issues with manipulated traffic to drive upvotes. Even if you're not buying fake traffic to boost to #1, it's likely you're activating a network of friends, family, or fans to get upvotes.

The result of this is that I mostly think of PH as a popularity contest for teams of people—and not necessarily a ranking system for new products. I don't imagine that many people receive the PH newsletter email, genuinely assess which ones are the coolest, and give an upvote to something they're checking out for the first time. It's mostly friends upvoting friends.

However! PH can be useful for getting feedback through comments. And the longtail benefits of having a listing on there are great for discoverability and traffic over time.

I don't think PH is totally passe, but I try to be realistic about what it means as part of a launch campaign, and I don't think it's worth stressing to hard to "win" the day. That little badge to slap on your website isn't that big of a deal in the grand scheme of things.
I’m the dad of a 7 month old baby. I think I feel around 100 years older than I actually am.
[1968]
No, because you can share common libraries across containers by putting them in a separate layer.

For example, if you have a complex service that consists of multiple binaries all written in C++ using boost, then for each binary you can create a container that contains a layer of a base OS (shared), C++ libraries (shared), boost libraries (shared), application binary (unique).

All the services can now share their common libraries, both on disk and in memory, which reduces I/O and memory use. That's one of the main advantages of containers over virtual machines (VMs): each VM instance has a distinct region of memory that is not shared with others even if they happen to load bit-for-bit identical binaries into memory.

(I know, VM memory deduplication exists to ameliorate this problem, but here my previous comment applies: it's much easier to start from shared components and link them together than extract the shared data after the fact. And typically VMs have lots of nonsharable state that containers do share, like pretty much all writable kernel pages.)
Edit: maybe you were suggesting the host does direct IO. That is exactly what I recommend. I initially read this differently.

Original:
If you are running the host OS you often have little or no say about what happens in the guest OS. Even if you control both it is likely not trivial to get the apps to use direct IO.

It could even be harmful to use direct IO because that would mean that writes would not stay in the guest buffer cache, forcing what would have been a cached read or minor fault in the guest into what it sees as a physical read.

The written blocks are not going to be shared, except maybe due to KSM. But KSM would do the same if that data was in the guest’s buffer cache if huge pages are not used.
Peter Thiel must be smiling :)