skysight-inc/HackerNews huggingface dataset:
Do you like ref()、 reactive() .value OR useState() setState() ?

These are vue3's Composition API and React hooks, as well as some other complex APIs and concepts, such as defineProps, defineEmits, useEffect, useContext, etc.

// vue3

import {ref} from 'vue';

const count = ref(1);

count.value ++;

// react

import {useState} from 'react';

const [count, setCount] = useState(1);

setCount(++count);

Or try Alinsjs - No reactive API but supports full reactive capabilities. Compared to vue3 and React, Alins has the following features and advantages

// Alins

let count = 1;

count ++;

And Alins is more than that. Alins is the UI framework closest to native js.

1.NO vdom, the DOM can be updated at the most fine-grained level, with excellent performance. (js-framework-benchmark running score is better than vue3 and react)

2.Adhering to the 0-API development concept, there is no such thing as responsive api OR hooks. At the same time, it supports fully responsive data, single data flow, and two-way binding. The code is extremely concise, closest to js.

3.The component only runs once and has no side effects. Components are only used as an organizational form of UI logic, not as a module that needs to be rendered repeatedly during runtime.
A lot of this feels like it overlaps with the right to repair. Repairing a physical device is really about changing it and being able to change it — in particular, not being obstructed from doing so.

That feels very close, in spirit, to being able to run one’s own software on the device. Another natural extension is if one can run one’s own apps then that right ought also to extend to the entire device — the OS and the firmware.

The app / OS boundary is of interest to the computer scientists, but functionally there isn’t any distinction to the end user between the code that renders the heart under the cat video, the code that notices me touch the screen, the code which sends the JSON “{like:10295892983}” over the network, and the code which turns that message into radio waves.
Turkey is much much cheaper to raise in quantity than duck or goose. In my family it would be rare to use a turkey for an occasion, its just not interesting.
Here in Norway the child protection services have been found guilty[1] of being too quick to remove children from their parents, and not letting the parents see them.

This seems to have led to the pendulum swinging too much in the opposite direction, where they now seemingly force foster kids to meet their biological parents against the kid's will[2]...

[1]: https://rett24.no/articles/norge-felt-i-ni-nye-barnevernsake...

[2]: https://www.nrk.no/norge/mener-fosterbarn-presses-til-skadel...
That's fair.

I suppose one benefit of trains is all the intermediate traffic. Every flight attendant is only really serving an A->B flight, or an A->B->C flight with an intermediate stop.

Trains can make many stops and have higher turnover, and combined with the generally higher capacity of a train, I wonder if the passenger-hours per employee ends up being a wash.
You are conveniently ignoring any Windows release before 7.
he was behind the inbox zero philosophy
C safe enough to use for parsing untrusted input like this needs to be either formally verified to be safe (not to be correct, at least it's it's the canonical implementation), or written in an intrinsically memory-safe way which humans can fully reason about the safety of.
And at that latter point it's slower than Rust. (Not too mention that Rust's awareness of memory lifetimes enables substantial optimizations beyond plain C code that quite often result in faster code at the same level of effort.)
Terraform is a tool and module ecosystem for provisioning cloud resources from a declarative language, called Hashicorp Language (HCL). The idea is to specify your cloud resources in a file, commit that to git, and then run the tool on sets of these resources. The underlying engine will look at what you want this time, compare that to what is in the cloud, and make the appropriate changes, doing some nice graph walking to handle dependencies and work in parallel when it can.

For those interested, there is a small package that is the core of the specialized graph data structure that powers this: https://github.com/opentofu/opentofu/blob/main/internal/dag/... (link to the most interesting comment block in the package)
Politicians benefit from locking people up because it gives them an easily measurable way to look "tough on crime".
Online communities are communities like any other: they're a product of the people in them, and the people that control them. You may find some are more to your liking than others. There's no perfect way of doing moderation. If you don't like any kind of moderation at all, you're free to hang out on 8chan with the neo-Nazis.
The trust has been broken in electronics/technology products in general

There is very little loyalty to the customer from the manufacturers, and so customers are now weary and loosing their loyalty for brands in the way consumers traditionally did.
Joby Delivers First EVTOL Aircraft
This is what industrialization has freed us up to do.
I don't get the point of this comment. So, there's a quote in the article by 'Dan Ariely'. The quote is 'Humans are predictably irrational'

So what if Dan Ariely is a fraud, a crazy or a madman. If something someone says seems valuable to you, take it. Why does their history matter?
Yeah, but that has no cussword component.

Verschlimmbesserung could be translated as imworsement maybe?
> interface{} and any behavior differences,

I'm curious now. They are type aliases. In which situations there is a difference in behavior?
At least this one doesn't sound as bad as the other post, but it's still in the same vein - you've never been a mother who can't produce milk for her child.

I've been as the husband there and are all your facts don't allow for people's situations.

Formula is perfectly fine.
fwiw retail taking >50% of the final price is the norm
>I’m very small, yet

I think we evolved an inherent sense of value or awe toward size because bigger things are harder to get to the other side of, are more likely to bop us on the head with impunity, but can also feed more people at the same time. Otherwise, what meaning is there in size? Microelectronics work better precisely because they are small.

> Perhaps it’s important to explore both ends of that spectrum.

my point is that the end of the spectrum that you are standing up to defend, I claim is currently, universally, getting all the attention, so deemphasizing it would right now be an unalloyed good.
Don't wanna be that guy, but just search for it on the internet? I don't even live in your continent and can find all sorts of talk about Seattle's DA petty theft policies. So yes laws are still on the books, but they effectively through various means, don't get prosecuted.

Here's just one, as I'm on mobile.

https://crosscut.com/2019/10/whats-seattle-doing-solve-its-s...
Might be my Scottish bias but could the codename give a clue?

https://en.m.wikipedia.org/wiki/Loch_Ness_Monster
Go outside, touch the grass and ride on the streets.
There is also https://faraday.dev/
Check out the tooling from the seL4 project.
I'm aware they used intermediate levels between raw C and the proof assistant, but I don't see why that should be prohibitive.
Writing a debugger from scratch: Breakpoints
Obligatory mention of Charles Stross' talk where he knits together exactly those two thoughts.

"Dude, you broke the future": https://youtube.com/watch?v=RmIgJ64z6Y4
A presumption of innocence doesn't mean that a trial is needed before (what are supposed to be) basic safety measures.

Judges can issue preliminary injunctions before trial in all places in the world. A justice system that can't take any coercive action until the end of a trial would simply not function.

In particular though, cases like this aren't even related to the presumption of innocence. The state believes that the child has suffered harm, so a judge takes them in protective custody. Who is harming the child remains to be determined, but taking the child into custody is supposed to protect the child immediately.

Of course, this can be, like in this case, wrongly applied to disastrous effects. But it has also saved many children from abusive parents, where leaving them without state protection for years while the trial advances would have scarred them permanently or killed them.
I posted this above, but its because its much much cheaper and turkey can be farmed on a scale which is very difficult to do with duck or geese.

Its not banned from our table, but it would get the same reception from my family as if I had heated up some microwave meals. But we grew up on farms and had good access to better alternatives.

BTW, if you like duck, try Goose for thanksgiving, and make sure you use the fat if making roasted potatoes.
Some things are difficult to solve because equipment manufacturers don’t really need to. Power meters just need to be reasonably accurate to each other and remain accurate to themselves as they’re a training tool first and foremost.

Some things are reasonably easy: don’t allow settings changes after a race starts. Why they don’t do this is beyond me.

That said, weight doping seems to be a big enough concern that esports organisers mandate athletes compete in a set arena and weigh in beforehand and use their calibrated trainers. I’m not sure how you solve that for people at home.
Steam doesn’t distribute apps on Android either? Is it even something they’d want to do?
Elon is already attempting the next step with X.

There is going to be a race to become the WeChat of the west.

Governments more generally need to deal with tech and the EU is the only one with the heft and the stones to do it. But this piecemeal approach of trying to hit each of these giants like this ends up paralysed by court processes and intervention from the American Government.

Network effects are powerful. And there is a huge incumbency advantage past a certain point.

Meta, Google, Microsoft, and X are the big winners out of this decision.

Competition on storefront take will be slow.
Mistral AI “drops” mistral-7B-v0.1
Something to consider, In some Asian countries, Goat meat is called as Mutton. In western context, Mutton means meat of an adult Sheep. So you might be eating Goat meat instead of Mutton.
Would you share what widgets with useful information you have? I found it to be distracting and useless but perhaps missing something
Various projects do the Alphabetical thing. If you're going to have names, it's a great way to do it. OpenStack, Ceph & Ubuntu all do that.

However it's still a challenge. I work with all of those daily and I often think about the project over-all and it's features or bugs in terms of the alphabetical name, but there is also a numerical name and I have to lookup and translate from it - when looking at diagnostic output from customer installs, or git tags, etc. I keep some subset of the translations in my head but not all them :)
There's an observation in "How Asia Works", by Joe Studwell that all the successful Asian countries grew at about 10% per year as they industrialized, because you can do that by copying the developed world and exporting while paying low wages. Once they caught up, growth dropped to about 5%, because then you have to do something new and pay people more. Japan, Taiwan, Singapore, etc. all followed that path. Countries can screw up and do much worse - Cambodia, North Korea, etc. China is now about at the point where the growth rate drops to 5%. This is not a disaster.
I can't find the paper ATM - but this was discussed by an Australian group (ASPI adjacent) tasked with China watching eight years (? ish ?) ago .. and as I recall it played out more or less as they predicted.

China central planning pushed for and encouraged 'over buiding' for efficiency and surplus, doing bulk deals on concrete, streamlining steel creation from iron ore, etc.

If you put aside the traditional western stock market view of companies trading in the building domain (which grew and collapsed) and look at it as state planning for bulk efficiences of scale it perhaps makes more sense.

Right now it makes sense to look at what the next five to ten year state backed push will be as we might anticipate more "one foot in the free market" bubble like growth there.
We do the same for plants (e.g.trees).
> WebKit itself has no chance of being a monopoly in the forseeable future

Of course it won't, because Apple restricts it to run only on devices built by Apple.

They had a Safari for Windows many years ago, then killed it.
There’s no attribution that I can see on the second embedded map on the page (on mobile). A honking great Radar logo, but no OSM attribution.

This trend of “our branding takes priority over the required attribution for the free map data we’re using, but hey, they’re a little nonprofit so can’t afford to sue us” really ticks me off. Mapbox started it as a calculated move, and since then others have followed claiming it’s “the standard”.

But in this case I’ll assume good faith for now and hope it’s fixed. A simple “© OSM” would be fine.
A threat to Amazon and a test of the FTC is this big tech’s antitrust reckoning?
> And of course, the Taiwanese really don’t like this idea.

Reminds me of when Biden was standing next to the German chancellor and said he'd make sure Nord Stream would be stopped if Russia ever invaded Ukraine and then when Russia invaded Ukraine and Nord Stream was blown up, everyone just ignored it.
Exploring Wordle
Programmatically finding all remaining eligible words for a Wordle game from guess-score pairs.
Oh man, I have never loaded music on my phone, so whenever the car starts, it plays the first song on the iPhone. I hate U2! And I hate that they’re receiving money each I do this!
Once my kid cut his butt cheek falling off his bike (to this day I don't know how). I brought him to the hospital for sutures, and was asked to live the room while he was questioned. I felt very uncomfortable, and almost guilty, while this lasted for all of 5 minutes.

I cannot imagine losing custody of your child while he's in an emergency situation for a couple months. This must be a nightmare.
I haven't touched OpenBSD for a few years if I'm honest but one of the things that did not enrage me about it was that it didn't nag me to change anything once I'd got it working properly. I suspect that's part of it. There is a clear separation of OS and applications. Regarding all the other stuff I remember it mostly just worked. But of course that is within the realms of the particular package actually working in the first place, which is variable probability.

As for myself I got lazy and just use Windows 10. It doesn't enrage me if you turn off all the cloud shit, treat it like a file manager/window manager shell and run all your open source stuff on it. Again that works because there's a clear separation of OS and applications.

When you start mixing the two (hello Linux) it's where you get problems. I think snaps were an attempt to solve some of that (badly).
I think the last paragraph is the real point here. Formal Verification can't really guarantee zero bugs, but it's often advertised as such so people rightfully question it.

The most obvious ways that it misses bugs in my experience (in hardware design but I guess it's the same in software) are:

* Mistakes in the formal properties

* Omitting properties that should be proven

* Adding assumptions that actually aren't true

* Bugs in the prover

There's also an insidious failure mode for SystemVerilog in particular in that the semantics of the language for formal verification are subtly different from the simulation semantics. And that can be different from the synthesis semantics which are not actually even specified anywhere (SystemVerilog is a language for simulation of hardware that has been co-opted for synthesis).

It's like if you could compile your TLA+ code to C but the semantics of the C code were slightly different in a few places to the TLA+ semantics.
Oh yeah, esp. funny if you always hated U2, and suddenly it appears in the middle of your music collection. Same with "Alone at home", not quite my taste.
It's not a huge inconvenience in my experience, as the apps should be written to ask for permission if they don't have it. Thus it should be a single additional click in that case.

I much prefer that over apps having permissions "forever".

Only thing I dislike is that the Android permissions are quite coarse grained and intertwined. I still get asked for some seemingly irrelevant permission but when I check then it turns out it's just Androids permissions being weird.
Everyone bats on about the latency problem.

This is technically solvable with more compute thrown at the problem. Think bigger!
I'm very glad they've fixed the performance issue with stage manager.

Before macOS Sonoma using mission control while having stage manager enabled would be very choppy. This seems to have been resolved and now I can finally use stage manager on macOS.
This is so awesome!!! AI generated nodes? I'm hooked.
Fantastic article! I have a project with a similar arena allocator, so I'll definitely be taking some of these tricks. One thing my allocator does do is organize arenas into a linked list so that you can grow your size dynamically.
However I really like the article's point that you're always going to be living within _some_ memory budget, so you might as well allocate everything up front into a giant arena, and then divide the giant arena up into smaller arenas.

Also I've heard that you can save an instruction when checking if your allocator is full by subtracting from the top, and checking the zero flag. It seems to complicate alignment logic. Does that ever end up mattering?
It’s not a prison to keep me in. It’s a wall to keep bad things out.
Curious about this answer. Do you have any example in which prices of goods and services actually went up after more competition entered an industry? In case you do, are you sure you aren't cherry picking?
"Stop staring at my hands"
Be aware that Awair has intentionally bricked their first generation of Monitors [1].

[1] https://www.reddit.com/r/Awair/comments/y7i5ku/awair_discont...
Nix leverages hardcoded paths inside the binaries and other outputs it builds in order to ensure determinacy. Nix packages are not always trivially relocatable. Consequently, reliance on the binary caches means different users have to rely on the same path to the Nix store, since it's part of all those outputs.

You can build Nix with a custom store prefix and run it that way if you're willing to build from source.

In practice, Linux users don't really have to contend with that tradeoff because you can relocate a Nix store wholesale using a bind mount, or a user namespace (unprivileged chroot), or various fakeroot tricks to run a Nix store in your homedir as if it lives in /nix. Unfortunately macOS just doesn't have any of those mechanisms.

If macOS some day gets first-class container support and, consequently, relevant user-facing primitives for user-mode chroot, then unprivileged, cache-friendly Nix installation methods for macOS will doubtless follow. I hope both happen!
my bad, the piston is indeed just the inner moving part, my point was that we think of syringe as easy because it is not under pressure, but if you think in terms of car piston/cylinder you appreciate more why this can't work in a rocket fuel tank.
> the assumption that this is plain malice designed to let the state rob a few more individuals of their freedom makes much more sense.

Of course it makes much more sense that there was a massive conspiracy across the medical, legal, prison industry, and press to put more people in prison. Rather than some doctors and legal professionals assuming SIDs was a simple explanation for a not very well understood medical phenomenon probably with many causes.
Instead of "/usr/bin/time" you can also write "command time".
McKinsey pays out another $230M to settle opioid cases
I think it's a matter of convention, and that all the maths I can think of survives the following definitions:

If infinity were to be defined as immeasurably large, and zero as immeasurably small, we would be saying infinity=(some finite number)/0 and 0=(some finite number/infinity

This still leaves us unable to find an definite answer to the multiplication of 0 and infinity, because we might have chosen any 2 finite numbers for the definitions above.
Apparently, it is going to snow 30 cm next week here. No grass to be had sir.
It’s not particularly funny that some people don’t understand that what you just described is still very far from “software freedom”, though
Wow, you really should stop using internet. Most of it is absolute bs
As far as I know, for any type of meat it will go from soft to hard and then back to soft as you go from short to long cooking times. So lamb cooked to pink is quite delicious. But if you want it cooked all the way through, you have to go for a very long time to get back to a nice texture.

And of course eating meat that is pink is a luxury of having very high level of hygiene from the farm all the way to the table. This is difficult and expensive, so even in the highest income countries it has only become common in the last few decades.

Here in Scandinavia our traditional dishes involving lamb are also based on boiling or steaming the meat for many hours. If you had offered my late grandfather a piece of lamb that was pink inside, he would have refused to eat it.
> and the mirror went unfixed.

They don't maintain the mirrors themselves. These are maintained by third party who decide to hosts the mirrors so there is that.
The Android app for pass seems to be 2yrs old, not the worst, not the best.

I've heard KeePassX can have sync conflicts if you edit on multiple devices with the wrong timing.

I think for a real conflict-free experience you'd need to put each password in its own file, or give each device a logfile to publish CRDT updates with cr-sqlite(Looking into adding that to a baserow style app).
We have a very different definition of "Ad" then. I just opened my App Store and only saw one ad - and that was for a game I already have installed.

Do you consider the new content suggestions on ATV+, Netflix, Prime video etc. as "Ads" too?
It's common enough in sheep grazing areas.

I grew up in Australia with mutton making up 90% of my meat intake, as we slaughtered our own merino wethers (so not the breeds of lamb raised for eating).

The local butchers would also have a decent stock of different cuts, particularly things like neck chops for stews. Numbers of sheep around are lower now, so that may have limited things a little.

I also think hogget is equally as or more common than lamb in city butchers. Some of those chops are huge and have a nice tang.
Amazingly well done. Super clear. Thanks
There’s a pretty strong “market for lemons” effect going on almost economy-wide in which every manufacturer out there seems to be sprinting to make the lowest quality shit they can sneak past the regulatory bodies, so it’s not surprising consumers are selecting solely based on price because there’s functionally no other differentiator at this point.
That's a false trip down the memory lane, nothing was "perfectly good" back then, arguably even now there are big issues with all the package managers
>Of course it makes much more sense that there was a massive conspiracy across the medical, legal, prison industry, and press to put more people in prison.

Not like it hasn't happened before. And you're overestimating the required massiveness of the conspiracy IMO.

https://en.wikipedia.org/wiki/Kids_for_cash_scandal
Could satellite lasers do this? [video]
Unions like IWW fight for all workers, cause they want to end whole wage work.
Oh the good old, violent Easter European bias mixed into crap science.
Ski?
Which ones? Maybe there's one or two I can check
And so is my apartment door. But I can open the door whenever I want and its not up to my landlord to decide which guests I invite.