skysight-inc/HackerNews huggingface dataset:
> You can't create the set of natural numbers even with the axiom of infinity either, at least not in any first order logic. No first order logic is sufficient to strictly define the set of all natural numbers.

Eh that's a fundamentally different problem though, although that is part of the reason why finitism and ultra-finitism are attractive.

You can define a set that is the natural numbers for all intents and purposes from the viewpoint of your theory. If you were willing accept that something like PA is enough to do large parts of real analysis (and also believed in the usefulness of real analysis), then philosophically you should be totally fine with using theories that have models with nonstandard natural numbers, since "you can't observe any of the consequences from your theory" is the same bar in both cases (in the case of finitistic approaches to analysis it's even trickier because often you can only deal with encodings of objects rather than objects themselves and must rely on your metatheory to do the association of the encoding to the object).
If you take a look at how Flutter is implemented, you'll see that at the bottommost layer (dart:ui), it is imperative. On top of that, we built the rendering/painting layers (pretty imperative) and then the widgets layer (reactive).

Each of these layers is public API and follows the same breaking change process as any other part of Flutter's public API, so with a bit of effort an alternative imperative framework could conceivably be built built on top of what's there. The downside is that since the widgets layer is reactive, you'd be giving up all those shiny widgets that are part of the SDK and need to build your own (or find a way to wrap what's in the SDK).

This (old, but still accurate) talk by hixie covers the layers in detail: https://www.youtube.com/watch?v=dkyY9WCGMi0

TL;DR it's entirely possible to create an imperative framework on top of Flutter's lower layers, re-using a lot of our existing code, but (as far as I know) such a thing doesn't exist today.
Worth noting that in many programming competitions online, a large chunk of competitors either don't submit anything, or only submit a little example.
The asymptote for NixOS approaches -infinity.

Once it actually is usable, sure, I'll take a look.
OK, so you're talking about 14043 specifically.

No, that is not force. You don't have a right to work for the Federal Government, and the Federal Government does not have a right to require you to work for them.

14043 just says you can't work for the feds anymore if you've voluntarily chosen not to get a vaccine (exemptions available for legitimate religious and medical reasons). It doesn't say "you are unemployable now". That's silly.
Plus they sell in game services, cosmetics, and game time tokens.
From my understanding, the JVM is much more opinionated than webassembly (it has built-in GC, and I've heard it even has a notion of classes and related concepts at the bytecode level). Particularly for a low-level C-like language like Zig, it seems like a pretty bad match.
Data structure and algorithm for inter-generational pattern recognition.
Except the previous comment had no level of snark involved. You clipping out the "pretty useless" from the context is also misleading.

You then add on hyperbole to end of your reply that I'm expecting some sort of formal discourse. I'm commenting on the "linux distros", which seems irrelevant. Putting a ;)
> I can't understand folks who don't understand this concept.

Ok, very simple example, are slot machines fun?

I think anyone can objectively look at a slot machine and say "no, that's really not fun". Yet, people spend their entire retirements on slot machines. People DIE pumping quarters into a slot machine. People wear diapers to slot machines. Slot machines are HIGHLY profitable for casinos (which is why they have them).

Fun and profit are not the same thing. Some games, such as Diablo Immortal, have realized that addicting is more profitable than fun. The entire game industry has learned that if you randomize rewards (loot boxes) you can trigger addiction without having a fun game.

> You are not the only opinion in this world

I'd look into the mirror before giving this advice. I realize that some people find gambling fun. Whatever floats your boat. But I also realize that there is such a thing as gambling addiction and it is highly profitable.
What it has convinced me of is that politics still only wants to spend relatively limited amounts of money on public transport (a lot of cities and counties don't have the tax base to spend seriously more money on all sorts of things, anyway; states possibly could, but aren't necessarily that willing, anyway [1]; and the federal government – that one definitively has the financing power, but you can see how hard it was to get even the current agreement of increased money beyond the originally allotted amount.

Given that situation, I definitively would have mostly preferred better rather than cheaper public transport, but apparently everyone has succumbed to a frenzy of "free, free, free, gimmie, gimmie, gimmie!"…

[1] E.g. Hessen is right now still cutting its public transport budget in order to balance debts caused by Covid, Baden-Württemberg has cancelled a stated goal of increased service quality (a goal of providing public transport at least every half hour even in rural areas and every 15 mins in urban areas) before it ever really got started because it now has to finance its share of the 49 €-ticket and doesn't want to spend even more [2], etc. etc.

[2] I don't want to be too ultra-harsh on the latter – compared to a low point in terms of financing in the mid-/late-2000s, things have definitively improved and the state government is definitively spending more on public transport again, but clearly not limitless amounts more.
The level I was referring to includes the emotional and embodied level of being.

You seem to be parroting a Dawkins view of humanity which is a reductionist, incomplete view that people are fond of stating as fact because it supports their worldview (and often an escape from a religious upbringing).

Apologies for the tone — it was a rushed response. I do not think you are evil or stupid. I do think that by stating your own learned limits of exploration as absolute facts you are making a common mistake of assuming that entire realities can be reduced to something that doesn’t need to be considered.

There are some fairly clear classes of emotional response that are probably rooted in evolutionary function, however their evolutionary function is probably substantially altered from the animal roots (if each function has any) due to our recent and unique evolution.

Behaviors that appear irrational in a modern synthetic evolutionary view are probably under selection at a different level of abstraction, or they may be evolutionary hybrids or merged palimpsests, but to refer to humans as animals in such a way is almost always done to condemn the behavior of others, excuse ones own poor behavior, and/or end the conversation.
I never quite understood that criticism, since systemd is extremely unapologetically Linux centric.

It uses all the cool features of the kernel. It's configured with text files, and has an override system that works great with the Linux filesystem layout and package manager -- much better than SysV init, by the way. And it handles a lot of little annoyances that have long been a thorn in an admin's/user's side on Linux.
Most homes for the elderly here require flu vaccinations for all staff, and some even require flu vaccines for visitors.

Why is that okay?

New flu vaccines are developed annually because it’s a seasonal illness, which makes them just as “experimental” or “novel” as many COVID vaccines such as AstraZeneca that aren’t using mRNA technology.

Why is suddenly everyone up in arms about something they were fine with before?

When you can answer this honestly you’ll start to understand the problem.
I mean, cool and all. But I didnt have to do that to know where it was. I stood outside that hanger (with a B-2 inside) in 1989 at Northrop's 50th anniversary airshow.

If I can remember that, from 30+ years ago, I'm pretty sure the russians/chinese/whateverese also know.
I'd love to go further into this but I feel that the attitude I expressed in my first post is coming into play here.

I'll give you a short description, I guess.

You're throwing around terms like "willful ignorance".

It may not be conscious on your part, but that's patronising behaviour, and I don't feel a sense of goodwill there.

I'd love to be able to elaborate further and enter into a proper discussion but I'm just tired.
yes exactly! it's able to "guess" the output of the code without running it in the traditional sense. I've even able to get it to do loops correctly. This is kinda the reverse of it producing code based on comments.

But it goes further: now you can make up API function calls that don't exist and compose them with code that does. It feels like the entry to an entirely different space of prompt engineering.
Consider the following:

Google has a fiduciary duty to its shareholders.

Google has no duty to retain an employee hired at-will.

Is it more ethical to reject a duty by favoring the employees? Deontological ethics suggests otherwise.
Wouldn't be a systemd thread without shitposting in every other comment. Just flag and move on.
Low-code/no-code is a mirage in the desert. The illusion is that complexity, cost, and difficulty are the result of "code". Code is actually extraordinarily simple. The simplicity makes it almost infinitely flexible, and because it's so flexible, it's often used to solve very difficult problems.

This leads business executives to think that it's the "code" that is difficult.
It's not the implementation that 99.9% of people use, though.
https://en.wikipedia.org/wiki/MLX_(software)

Example of use:

https://lparchive.org/Computes-Gazette/Update%2008/
Good point, and now that we know the vaccines don't prevent transmission, the same goes for the vaccinated I suppose.
Maybe nginx logs at usable, but my experience with reading logs in the old way was often "grep servicename syslog" and prayer that the tool didn't have its own magical log file somewhere else.

The backing store may be controversial, but the journalctl command line is much more pleasant. "I want to see log messages from the end of the last boot when the system crashed" is no longer a Rube Goldberg command line involving less/sed/grep/cut/awk and manual scrolling, it's supported out of the box with no configuration necessary.
He also says that he wrote them something along the lines "whatever, let's do the first deal you have offered me" and then intentionally never read the contract. Who knows what they have discussed and agreed to "as friends".

The entire situation is very messy. Mojang fucked up by failing to get the contract signed and failing to even notice it. OTOH the writer seems like a contractor from hell who you wouldn't ever want to deal with, and that's based on his side of the story.
low-code is a good way of preventing all the controls that development tools normally provide. Had to deal with these headaches when a team insisted on using Apache NIFI. You get merge problems, you can't examine changes on their own, you get one environment to test things (i.e. production) and if it breaks rolling back is extremely non-trivial.

All that work that could be done automatically by tools now has to be done by people showing restraint and following process. And these are the people who want a low-code solution so understand the problems far less.

It's a nightmare. Going to be good money to come in and clean it up later though.
So now we know how to hide from the AI
Signal collects zero user data
Study links severe Covid cognitive decline with molecular signs of brain aging
>riskier, more stressful, and ultimately not much faster in reality

I used to think the same until we A/B tested it a few times (Maps/Waze) with different cars going to the same destination.

Waze really was faster very time.
I'm curious exactly what that toxic and pissy behavior looks like, and how it's motivated. Is it just because he's making them look bad?
> The person did not intervene on that specific drive.

Unfortunately, that part is not true.

It's one of the claims in the lawsuit [1].

[1]: https://news.ycombinator.com/item?id=33910962
twitter was profitable before the takeover; and they had invested in good auto scaling/recovery of systems to handle day-to-day through year-to-year problems; i for one am not surprised all seems okay on the consumer side after a month.

the real problems are when security patches need to be deployed to all levels of infrastructure and upgrades to all versions are required before patches go out.. that is the waiting game i'd be willing to bet will be most frustrating to them. but then again with so many people out of jobs there, there is that much more money to give to the remaining employees for incentives to live at the office
People are always like "well, what if he just wasn't so greedy".

The greed doesn't quit. You cheat to win smaller races, then you're in bigger races, and need to cheat more, and eventually it gets to the point where you need to lose OR you end up on a big stage where a lot of people have entire hobbies dedicated to finding and exposing cheaters. See https://www.marathoninvestigation.com/!

Like, the same thing that makes people cheat are the same people who can't stop cheating until they get too greedy and get caught. If they weren't greedy, they wouldn't cheat.
I think something around structuring business logic in easily testable mutations and having good ways of creating factories without too much boilerplate code are the main things on my mind!
A tiny nitpick - Horizon Zero Dawn and God of War (not the recent sequel that just came out) aren't console exclusives anymore (but have been for the longest time), you can buy both of them on Steam now.
You can't do 5+1 on the current total land area occupied by low-density because you'd end up with far more housing than 330 million or so people need. You add that level of density to the core of small towns, then you have enough for everyone. That leaves a long tail of abandoned infrastructure in the areas that you're describing (rural/exurbs not picked for 5+1 upzoning).

The suburbs take a huge amount of land. If everyone lived in NYC-level of density, we could all fit in New Jersey. If we all lived in middle-missing housing level density, that amount of land is still far less than the total area of all the suburbs.
So what is a better alternative for a retail investor to do top level portfolio optimization?
> We provide a minimal WASI interpreter implementation that is built from C source, and then used to translate the Zig self-hosted compiler source code into C code. The C code is then compiled and linked, again by the system C compiler, into a stage2 binary. The stage2 binary can then be used repeatedly with zig build to build from source from that point on.

Nope, no matter how many times I read this, I’m still lost.

But then I never needed to care about VMs, compilers and bootstraps.
And yet, the entire cost of FDRs New Deal was $1-Trillion (2022 dollars) compared to $5-6 Trillion in COVID stimulus...
I don't work for the Federal government. The order(s) were very broad and reached far far down the chain so as to effect as many people as possible.
You’re confusing things. Centralized exchanges like FTX are acting as asset custodians in the same way as a bank, or a stock broker. FTX is not a cryptocurrency.

Crypto users that espouse freedom from government are usually talking about being able to use crypto, on chain, without government interference. They don’t want to be taxed for using bitcoin as a currency, be able to use decentralized services without complex regulations and tax laws, etc. etc

I’ve never heard the case made that asset custodians should be able to steal assets from their customers regardless of the underlying asset.
There's a certain irony in the fact a feature supposed to improve safety actually made an already dangerous thing massively more dangerous. That's got to be the most cancerous product ever brought to market that didn't outright irradiate its user.
On the other hand, CRPGs (of a sort) are still alive and kicking after a short break. If you haven't, try:

* Disco Elysium

* Tyranny

* Shadowrun, all of them

* Pathfinder: Kingmaker

All within the last decade, and at least for Disco Elysium and Tyranny, every bit as good as Planescape Torment.

Western RPGs though.. I don't have high hopes for ES6.
God of War Ragnarok Is Being Review Bombed
I am sure I will get some grief from this but I've long noticed the "spoon theorists" who unlike other chronic disease sufferers don't fight against their conditions but instead withdraw from life, get weaker, withdraw from life more, etc. and firmly believe they will succumb if they don't withdraw some more. They get pretty agitated if you suggest that any their condition is even 1% in their head even though what is your head has a big impact on how most conditions affect your life.
Metadata is data, but without legs
As someone who has a vaccine and all the available boosters. They are absolutely maligned and their freedoms were unreasonably restricted.
There is a lot of value in learning about different cultures by physically travelling, but I think there are other options now. I believe the hyper-globalization of society due to technology allows many more people to experience other cultures without needing to travel. It's up to individuals to take advantage of it and lean into certain discomforts.

I don't believe it's possible to integrate with modern society successfully without having to go through some kind of culture shock. It's not limited to culture defined by regions, older generations feel culture shock constantly when trying to stay integrated or understand the culture of new generations. But things like YouTube have allowed me to experience culture in a way that wasn't possible 20+ years ago.

I have been loving the relatively recent trend of older people, parents and grandparents making cooking videos. I recently found De mi Rancho a Tu Cocina, a channel where Doña Ángela, a 72 year old grandma teaches Mexican recipes. The channel has 4.2 million subscribers and the first video was uploaded in August 2019 and hit 2M subscribers by December 2019. Very simple production value, except the wood fire cooking which is probably out of necessity as she lives on a ranch. A similar channel with more production value, but still very homey is Cowboy Kent Rollins, 2.32M subs, who is verified on YouTube and has built a brand and a merch shop related to outdoor cooking. I grew up in the suburbs in the tristate area, but love making myself traditional style Mexican and TexMex food, homemade refried beans is a favorite.

https://www.youtube.com/@DemiRanchoaTuCocina

Best Authentic Refried Bean Recipe - Cowboy Kent Rollins
https://www.youtube.com/watch?v=iC5mR5s70bE
We'd need some sort of impartial observer to really answer that question
With the sealed system volume modern macOS uses, shouldn't this relatively doable? (It'd be a long long diff of XML plists I guess)
> Does that give access to the full history quickly?

It doesn't because no append-only log does. Apache Kafka is that "unique web3-only thing never seen before in traditional systems" that no only has been seen in traditional systems, but has been successfully used in those systems at scale dwarfing all of crypto, and has well-understood behaviours and patterns.

Edit: In 2019 Linkedin (who developed Kafka) were processing 7 trillion messages a day: https://engineering.linkedin.com/blog/2019/apache-kafka-tril...

Edit: In 2018 Pinterest was handling 15 million messages a day with 1.2 petabytes of data per day https://medium.com/pinterest-engineering/how-pinterest-runs-...

A view of the final state of data is literally one of the things they require, and everyone knows how to make one.

> For those that don't want to do this, and want to quickly access just the latest state, that's exactly what services like this offer.

So this service just creates a "traditional" database with a "traditional" access method (actually an ancient access method, RPC) with a "traditional" ElasticSearch on top and pretends it's something new, never made at scale, and something no "traditional system" was ever prepared for.

Edit: see LinkedIn and Pinterest above. Or Facebook. Or Amazon. Or AliExpress. Or... "Omg they traditional web2 tech cannot work at the amazing scale of web3" is such a bold-faced lie that I can't imagine people who can look at it and say "true, true". The amazing scale of web3 can barely process a few hundred thousand transactions per day, all of them with minuscule payloads.
ChatGPT for Mac, living in your menubar
Probably because of this:

“When asked by Reuters why the couple decided to buy a vacation home in the Bahamas and how it was paid for -- whether in cash, with a mortgage or by a third party such as FTX -- a spokesman for the professors said only that Bankman and Fried had been trying to return the property to FTX.

"Since before the bankruptcy proceedings, Mr. Bankman and Ms. Fried have been seeking to return the deed to the company and are awaiting further instructions," the spokesperson said, declining to elaborate.“
https://www.reuters.com/technology/exclusive-bankman-frieds-...
This is one of the reasons why individualism and public health are fundamentally at odds.

Ethical questions become easier if you assume that all actions are intentional and made with full knowledge of the consequences. Unfortunately real people are biological organisms that may shed pathogens wherever they go. Your mere presence may be enough to harm other people, without your intention or knowledge.

Should we as a society allow people to endanger bystanders, if the known preventative measures cause more harm than good to the person taking them? Or should we require everyone to follow the best practices, if the benefits to the society sufficiently outweigh the harm to the individual?
in the interest of inclusivity & getting a more complete picture, a followup question: is anyone still continuing to get more "boosters" or whatever? are those still being released? or, if not, at what point did you stop? the second shot? third? fourth? did you ever take/are you still taking one of those non-injectable covid medications?

I'm so out of the loop about this stuff because it hasn't affected my life in any way in months, so this is me genuinely asking to see where people are at with this stuff. I have a feeling that many people got the initial shot and maybe one booster thereafter but since then haven't kept up… but this is just an assumption, and a pretty big one at that. no idea about the non-injectables whatsoever.
I know very little of this, but why would they want to continue with multiple map products?
Well the ones in the higher math classes would have been, but that's perhaps a small class size effect. I mean half of them did do either a math or engineering degree, one did a math PhD. I'm not too knowledgeable about the ones doing other subjects like history or art.

But yeah it would seem of the people who were on the path to apply to Oxford (or any other mathy course at a university) would have been fine if they had gotten in.

I'm extrapolating that the other kids in other subjects were just as qualified.

I mean of course I'm not saying people who hadn't done the prerequites would be fine, just the ones who did and didn't get in would be.
Aixios: Experiments in teaching ChatGPT to write stories in the style of Axios