skysight-inc/HackerNews huggingface dataset:
I understand this, but the importance of this is highly exaggerated. How in the world does it make sense to only audit for memory safety? There plenty of other safety and security issues. Only if you pretend that memory safety is all that matters, you can then claim a fundamental example that you only need to look at "unsafe blocks" and nothing else. Now, you can say that with limited time we can at least more easily ensure memory safety by reviewing "unsafe blocks" carefully and neglecting other problems. And this is true and I agree that this is an advantage, but the overall improvement for safety and security is incremental in reducing risk and not fundamental.
> your second statement is just factually incorrect

https://news.ycombinator.com/item?id=25074959

https://sneak.berlin/20231005/apple-operating-system-surveil...
Awesome product. congrats. I'm curious, can you share more about the security measures in place to protect the telemetry data stored in S3?
I mean... why wouldn't a non-radio control channel defeat RF jammers? Breaking: enlarging the drones sufficiently to include a cockpit with avionics for a human pilot also defeats any RF jammer.
> Might that situation (very long wait for service, seemingly-idle employees) be partly explained (or at least rationalized) as a sort of social ritual, to make the establishment seem high-class, or the patrons wealthy leisure-seekers?

Well, it's a kiosk with no seating inside an airport. Presumably, there are no regulars either.
HotBot was my search engine of choice pre google largely due to wired magazine.

Search has gotten better but not at a rate that consistently supersedes its ability to be gamed. That waxes and wanes.
> He is describing stock exchanges:

Good for him, whomever that is.

She, on the other hand, talks a lot about crypto: https://www.mollywhite.net/resume/
Multiple configuration merging strategies do not imply inconsistency or uncertainty, nor do they mean that one file can overwrite or patch another.

KCL also provides a certain degree of immutability, such as ensuring that exported variables are immutable and that configurations in a file cannot be modified. You can only import it and use it to generate new configurations.

In addition, in the cloud native field such as Kubernetes, configuration merging operations can be seen everywhere, such as the built-in JsonMergePatch strategy, Kustomize, and multiple environment configurations for developers. You can find similar corresponding features in KCL.

In fact, KCL also has the idempotent merge operation of cuelang, and languages such as jsonnet, pkl, Nickel also have certain configuration merge capabilities. Only cuelang strictly follows the idempotency of merging, which to some extent limits its use and understanding.
Show HN: Quill Word Counter – Get Insights for Writers
Alrighty then. Let's start the doomsday clock for the date when real SkyNet goes live.
> Anyway. My point is, we need more backend compiler engineers on WG21 and not just front end, library, and language lawyer guys.

Even better, the current way of working is broken, WG21 should only discuss papers that come with a preview implementation, just like in other language ecosystems.

We have had too many features being approved with "on-paper only" designs, to be proven a bad idea when they finally got implemented, some of which removed/changed in later ISO revisions, that already prove the point this isn't working.
This sounds a bit like allowing each neuron's function to perform its own symbolic regression? But at predicting physical phenomena you might get better performance per cycle from just an A-Life swarm of symbolic regression cells competing than trying to harness them as a single organism. Why do you need a NN to model what's basically a deterministic result set, and why is that a good test?
It‘s interesting how the impact of roads and traffic on our insect population is always ignored in these discussions. Neither the article nor any of the top comments mentions it.

I highly recommend the book „Traffication“ by Paul Donald about this subject. It explains how cars harm our wildlife, not just by road kill, but also through noise-, light-, air- and salt-polution. These influences cover far more area than just the road surface, for some species the negative effects extend to more than 2km on each side of the road.

Moreover, for species that rarely cross roads, they also cut up the landscape in little pieces, reducing genetic diversity.

And all this harm definitely and directly affects insects, not just mammals.
The book cites numerous studies on the subject, and it also highlights how nature conversationists seem to mostly ignore this problem, focusing more on agriculture and other harms (exactly like the article). While these other problems certainly also negatively impact our wildlife, we do seem to have a collective blindspot for our roads.
> Did you see AAA777 to Las Vegas.

That's just a typo in the article, the actual flight number is AA777

https://www.airportia.com/flights/aa777/dallas-fort-worth/la...
They do make a U-turn.
And now Kafka, without Zookeeper.
Perhaps yes, but perhaps a social indicator that I am doing something and have requested not being bothered, should be enough to discourage the people who just can't wait to ask you questions and converse with you.

In that, extroverts are like little children: pay attention to me, pay attention to me, I have something so important to tell you that can't wait, and I don't care what you are doing at the moment, attention needs to be on ME. NOW

I'd say, let's normalize scolding people who ignore obvious social cues and bother you uninvited. How about that?
Too expensive to ever see that again.
I really like the idea, but as a left handed person I found it needed to have a keyboard shortcut accessible from the right hand (maybe this can be an option in the menu?)
Bon voyage, Jake. I follow in your steps from the same diagnosis. Thank you for bravely sharing your experience and helping others in similar predicaments <3
Original title:

Hiring women, rather than just talking about it, works. That doesn’t mean all men are on board, it turns out
jQuery UI 1.14.0 Released
As proven by musl versus glibc issues, that possibility is mostly theoric, with plenty of gotchas in practice.
looks great Ryan - congrats on the launch
Browsers are a special tier of software difficulty. All the recent browser efforts have a non-open source funding model behind it. Which means people believe it takes interesting $ to sustain a promising browser project.
There was this concept a few years back which had history timelines and all, called Refresh. But nothing came from it afaik: https://news.ycombinator.com/item?id=17638477
It's super hardy and opportunistic. It's not uncommon here in the UK to see it growing out of cracks in brickwork at the tops of buildings.
> how it is done in Germany

Germany isn't exactly a huge centre of innovation these days or even remotely close to being a success story when it comes to software.

I do understand your overall point though and agree to a large extent, it just seems to me that this is primarily a natural outcome of workers having significantly more bargaining power than before. i.e. it makes little sense for companies to invest much into less experienced workers when they can't "force" them (directly or indirectly) to pay back all of those costs by working for depressed (i.e. compared to what companies which only hire experienced workers can pay) wages.

How can we bring this back without significantly reducing worker rights/bargaining power?

Government/etc. funded programmes might be an option but that would/should effectively be more of a reshaping of formal education to be more inline with teaching the specific practical skills/etc. that would allow workers to be immediately productive (not necessarily a bad thing but not quite the same).

OTH if tech mega-corporations continue growing at the same pace and consuming all competition we might end up in a situation where investing into junior/inexperienced workers will makes sense again because they wouldn't have any other choice but to stay and to work at the same company that hired them for the remainder of their career.
Interesting approach on distributed AI training albeit a very expensive one. Personally I'm baffled why no one has come up with a similar project to SETI@home or Great Internet Mersenne Prime Search in harnessing truly distributed and low cost solutions to open model of AI training at scale [1],[2].

[1] SETI@home:

https://setiathome.berkeley.edu/

[2] Great Internet Mersenne Prime Search:

https://en.wikipedia.org/wiki/Great_Internet_Mersenne_Prime_...
Oh, I also presented some performance numbers in a presentation to a CMU a couple of years back. A little out-of-date, but gives a order-of-magnitude sense. https://youtu.be/JLlIAWjvHxM?t=2690

The biggest performance improvement since is due to the introduction of Queued Writes. See https://rqlite.io/docs/api/queued-writes/
I've never heard anyone ever be concerned about the "relaxed" security of trains, and virtually everyone here uses them. I did hear everyone who flies complain about the theatre and how they accidentally took whatever prohibited item on, forgetting they had a water bottle in some bag for example

If fear of people were the #1 reason not to go on public transport where you live, I'd be deeply worried for your culture
> I understand the importance historically but I don't agree that it's something very important about being a human being. Someone trying to impose that on me is as unconvincing as a religious person trying to convert me. Give me practical arguments.

What one values, or does not value, in life is a fundamentally impractical subject. IMO you're asking for the impossible.
Yeah, call it luck if you like, IIRC the Violent Femmes rapidly ascended to fame on the back of busking in the right spot for the right person to see them

We could argue that this particular girl band had a "cute" video that infatuated a connected producer, or ...

There are few positions in the spot light and they're taken up by a fortunate few who happen to hit a sweet mix of hard work, connections, and sheer luck by varying degrees.
What makes node inherently unsuitable for finance software?
Where do you live and how did you calculate your 50% figure?
Music distribution, as well as other worldly matters, cost money.
It was also a strongly gate-kept industry, while this isn't the case anymore.
The main reason for gate-keeping is supposedly to "keep the financial equation fair for everybody".
The problem is nobody knows most of the parameter in the equation, not even the gate-keepers themselves.
Why? Because the basis for how payments should be done, the mythical "play", is gamed by bot networks.
The bot networks are used by small and big artists.
Officially, the gate-keepers (Spotify) do not releases official numbers of real data, officially to not give better tools to the bad guys (bot networks).
Of course, we know how well security by obscurity works, and it makes everyone dependent on trusting the gate-keeper, now Spotify rather than the music labels.

Another point is while the revolution in the distribution model happened, another one happened which is that the gate-keeping essentially disappeared.
In any case, the industry has embraced that through for example DistroKid being targeted at making a small revenue from any aspiring musician without any musical barrier. Note that Spotify has shares in Distrokid, even though they have pinky-sweared this special relationship does not give either to Spotify nor Distrokid any advantage regarding access to data from other involved third parties (other marketplaces, labels, etc).

To round it up, even if the parameters of the financial equations are partly released, the creative industry is known for its "creative accounting" (also known as Hollywood accounting).
The creative accounting lets the industry take advantage of the tax breaks that are offered to the music industry in basically all countries on some conditions, and stretch these conditions to situations that the spirit of the law normally excludes.

There is another incentive to lie about the numbers. It gives the possibility to undercut any viable competition to consolidate a monopoly (the Amazon method).

I believe that the only thing that can really improve the situation is way more transparency than we have.
The complaints from musicians are often unrealistic, but it is not their fault as they cannot have a realistic view of what things really cost.
So all they have is to try to strengthen their side in the tug of war.
Ideally we would move away from that process towards a cooperative model, but this is possible only through trust, which cannot be obtained by obscurity.
True I suppose, and it's not like we're on the verge of any new energy density tech that would make personal VTOLs viable either so runways might be the bottleneck that keeps throughput constrained for the foreseeable future I guess. Although you can always build more of them :)
"Mandate" and "market forces" are two terms directly at odds here.

If this was really a "market forces" situation, then parking price would be what determine the equilibrium, not a zoning law article written by the local government.
We've let the garden go wild this year (and last) because we're concentrating on other things. I can't help but notice how much the bees love the cow parsley that's sprung up, as well as the purple toadflax. Haven't seen butterflies on them unfortunately, they've declined to such an extent that now just seeing one is an occasion to point them out to my family.
the WAL is not for when your disk dies. It's for when the server crashes. First writing what you're going to do to the WAL before doing it makes it possible to recover from a crash at any point. If it crashes during writing to the WAL? Ignore the half-written WAL records and keep trucking. If it crashes during writing to the data file? Use the WAL to rerun the writes that didn't complete.

It doesn't guarantee you don't lose data written during the crash, but it does guarantee you can get the database back into a usable state.
Radial menu for some reason triggers my OCD. It feels out of place, where all the menus are square. If this was an option I would have that turned off. It is also obscuring whatever there is around the cursor. Reminds me of autocompletes where they cover the line below that has information I need to see whilst typing. So annoying.

It's a big no for me.
> his case here is that the downstream labor cost of compiler churn exceeds the actual return in performance gains from new features

Yes but his examples are about churn in code that makes assumptions that neither the language nor the compiler guarantees. It's not at all surprising that if your code depends on coincidental properties of your compiler that compiler upgrades might break it. You can't build your code on assumptions and then blame others when those assumptions turn out to be false. But then again, it's perhaps not too surprising that cryptographers would do this since their entire field depends on unproven assumptions.

A general policy change here makes no sense because most language users do not care about constant runtime and would rather have their programs always run as fast as possible.
#HeadBox #PaperEquipment #PaperMakingMachine
Leave your email for price!
If you are interested, you can contact us.
Email address: wastepapermachine@gmail.com
https://drumpulper.com/head-box-for-pulping-process.html
#papermill #papermachinepulpmachine #everyone
I think that everyone should do most, if not all, of those things at some point in their lives. It doesn't have to be an everyday thing. But I think that a lot of people in modern societies are completely unaware of how lucky they are to not have to do those things any more, and would greatly benefit from the perspective.
Astronomers uncover array of strange exoplanet worlds
That’s misunderstanding the human spirit in my opinion.

Maybe some would coast and be happy with whatever the basic income is, but I suspect many others would strive and do more. If not for survival and the privilege of having food + a roof (like it is now), then mostly for the satisfaction.

I don’t subscribe to the theory that giving everyone a basic income would instantly turn everyone into a couch potato. That’s just not how a healthy person thinks/functions. At least not in the long term.
Not "hard" to use, no, nobody's saying that. But painful to use for anything else than scroll/click/play, absolutely yes.

Active music discovery is terrible, tracking your "progress" in your weekly releases listening is actively being made impossible (the list is seemingly being re-randomized, at random), the obsessive emphasis on tracks rather than albums or artists is very limiting, UIs are not flexible enough, and I could go on for a while.

All streaming clients are currently hot garbage. Again, not hard to use, just extremely user hostile for anything more than click and play.
TBH it all depends on how you define an "IC CPU". The MP944 needed several support chips to actually be a computer, but then so did the 4004 and the Four Phase Systems AL1. I can recommend a good video by Alexander the OK on youtube (https://youtu.be/YpruA5mC7wg) that goes into a lot of detail about the MP944 and its contemporaries (which I feel like OP has watched too)
Well, somewhat. A "natural phenomenon" in the sense that the natural economic equilibrium implies that huge amounts of money are spent on maintaining a system that props up superstars.

I think Mr Mouse's point was that we should imagine for a moment that the natural order of things was upset and we instead had a system that was a bit more organic in promoting good musicians and the implications that would have. Ie, a counterfactual.
Apologize less for using completely benign standard macros. They are an okay tool if not abused.
A little off-topic, but I love that the first paragraph describes the project. Usually, posts exclude that information, and the landing is not of more help.
> Even if you had to make the auto trip 400 km because roads aren't as direct, this comes to 51 kg CO2.

What if there's a sogging great mountain range in the middle and I literally do need to drive 2-3x as far, because (rail) tunnels take something between 2 and 3 decades to build and won't be finished before 2040, if any are even planned to begin with?
Oh, the swearing is supposed to be internal? That's probably why my colleagues give me these strange looks...
Pie menus work quite well for selecting tools, as an alternative to the tool palette. Here are pie menus in SimCity for X11 (from around 1992):

X11 SimCity Demo:

https://www.youtube.com/watch?v=Jvi98wVUmQA

Here's a demo of a more recent version for Flash from around 2009, which demonstrates how the pie menus serve as a much quicker alternative to the tool palette:

Micropolis Online (SimCity) Web Demo:

https://www.youtube.com/watch?v=8snnqQSI0GE

And of course The Sims 1 uses pie menus too.

The Sims, Pie Menus, Edith Editing, and SimAntics Visual Programming Demo:

https://www.youtube.com/watch?v=-exdu4ETscs
> aren't capable of writing music people want to listen to.

That puts most of it in a nutshell. If they -can- write music people want to listen to, they need to get it to people's ears.

My problem as a listener with dollars in my hand is: how do I find that music. (Else, I can make do with what I've got... but it's not fresh! or new!)

At one time, there was a system that got it to my ears. It was a radio with a great DJ who named the song and the artist after each track, so I could walk to the record store. Or else a good friend played their copy.

That system is gone. NOW those musicians haven't got a way to get to my ears. In case they find it, I'll keep listening around.
In comparison: my commuter train in Germany comes every 30 minutes (even a bit more often at peak), but travels at 160km/h. Door-to-door, it's about 20% quicker than driving, with no parking stress, no unpredictable highway conditions and I can even get some work done on the WiFi.

Sure, there are issues with those trains sometimes, but it is really an easy decision.
You also can't travel anytime you want. What happens when a doctor has to reach his hospital for a critical emergency but the next train is scheduled in half an hour?
https://archive.ph/XNpit
It reminds me of when a friend called into their property management at their apartment complex to make sure she could have three guests come over to her apartment to watch a movie. I don’t know what to call it.

Maybe “proactive rule following”.
> What makes it pseudoscience is that it's not theory-driven

Science is primarily empirical, and there's nothing inherently wrong with an effective theory that works, until we find a better, principled theory.

> It's Brian-Wansink-style p-hacking [1] at a massive scale.

Sometimes. Models that generalize are in fact generating theories though.
Do you happen to know if there is a recording of that talk available?
A better title would be that the diet triggered rapid weight loss which in turn put the diabetes into remission. That is, the weight loss caused the remission, not some special ingredient in the diet.
Talk is cheap. Haskell has an endemic problem where way too many development resources are put into fringe parts of GHC and way too little is put on other tooling: package management, debugging/profiling, editor support, etc. It’s like, guys GHC has enough Template Haskell features please work on the basics.

Haskell has the worst support for records of all its peers. SML, OCaml, F# all have better records.

Without good records it’s unreasonably hard to write large software projects. Just look at any Java code, what’s it full of? class declarations. What’s C code full of? struct declarations. What’s JS code full of? object literals. Structures are a critical part of any programming language. A significant part of all code involves declaring structure types and marshaling things in and out of structures.

One of the issues is that Haskell added a lot of type system features without thinking how they’d interact with records. AFAIK it’s hard to retrofit ML-style structural subtyped records onto Haskell, because the type system is designed around that not being possible. But they could still have much better nominal records.

I love Haskell, it’s frustratingly close to being a great language, but it needs a push to prioritize developer experience.
I'm not sure calling the collapse of the AMOC a "questionable idea regarding a hypothetical event that's not even remotely shown itself in actual measurement" maps with reality. Scientists have been dumping data to models and for a few years this possiblity has gone from unlikely to "it could happen within the next 5 to 10 years".
Are there plans to make Pie Menu available on Homebrew? I don't install anything from the App Store on mac.
And on the seventh day, God tinkered with Jupiter and stuff, to keep His metrics up.
In the case of synchronous design patterns that handle metastability, it was to point out that the clock clearly isn't there "to make sure all transistors in a given stage of a CPU reach a steady state". The clock is there to invoke state transition, whereas achieving steady state is a function of satisfying setup/hold times; the former is fundamentally constrained by the latter.

In the case of QDI circuits, it was to point out that there exists CPUs which do not contain clocks, again challenging the assertion that the reason computers have clocks is "to make sure all transistors in a given stage of a CPU reach a steady state".
Can we also stop the hordes of big brown slimey snails destroying pretty much everything in my garden. Any pointers greatly appreciated. I mean i love animals, insects, birds and whatnot but these snails are just way out of order.