skysight-inc/HackerNews huggingface dataset:
I've worked on safety critical software, but we did not use formal methods. Lots of test and checking for coverage (at asm level). Oodles of static analysis and wading through false positives. Do formal methods usually supplement those or replace some of it? Can provers or formal methodologies scale to safety critical codebases of 100s of ksloc? Whether such codebases should exist, or be better partitioned is a separate issue.
You jest, but the halting problem is only unsolvable in the general case. For "most" (but not all) programs it is perfectly possible to prove whether or not they will halt.
Master doesn't have to be the only branch that deploys to prod, you could create a hotfix branch (starting from an earlier commit) and set it to push to prod in your CI to get an emergency release out.
I'm in your camp too on the Skywalker saga, though I really like Rogue One; definitely worth a rewatch. It's a bit scattered (perhaps a result of the massive pre-release re-edit to which it was apparently subjected) but it has its moments, including possibly the best Star Wars space battle set to film, as well as a visceral depiction of Vader's terrifying power.
Our theater did exactly that during covid - open on Friday concessions only for takeout. Popcorn prices aren’t as insane as $20 (the large bucket is $6) but it seemed people took them up on it. I know I did.
This was is great!

And also, as a long time observer of software correctness proof fails, I'm getting the old popcorn popper ready for the first instance where there's a bug and then we'll have explained to us that, well actually, the prover wasn't covering that case...
Give me your money. Now why don't you?

You're protecting your own interests. The state has to protect everyone's interests; and there's always an international aspect, at least in the EU. That goes beyond than what short-sighted and possibly "primed" employees might think they want.
If you look at Australia right now, their infection rates are rising at a rapid clip. So they may have a lot more people infected soon, and the difference between them and Europe and N. America may not be that great.

China probably had a lot more people infected than we (or they) know, because they were first, and there was no testing capacity at the time. Even if they were honestly forthcoming with everything they knew about, they probably had way more infections than they knew, because of going first.

Now, in the case of New Zealand, you may be correct, they might be in for a hard time. Having almost nobody infected before, and then finally getting the latest, fastest-spreading variant when they do get it, might be a bad thing. But, hopefully, this is countered by the fact that people who are vaccinated first have much milder symptoms.
The four most important charts in science and technology
How is this state even determined? If we exclude Facebook & Wikipedia how much market share is left after that?

I ask as the statistic seems to be projecting that it is the most popular amongst people, but it feels like it is a legacy language. Maybe adding in how much new server unrelated to the legacy apps are written in PHP would be a good contrast.
> I just don't want to try to hack a bunch of configuration files from pulse.

When I migrated from PulseAudio to PipeWire, I started by deleting all PulseAudio packages and installing the PipeWire packages. Then I rebooted and as it turns out, I was done. No fiddling with config files required here. Everything worked immediately.
PHP has quite a few things going for it. File-system based routing before it was cool. Each request cycle is isolated, so an error in your script won't bring down the whole server. With shared hosting, you get something very similar to serverless functions today. The language was created with embedding tags from the start, so there is no need to build or use 3rd party template parser. Everything outside of php tags just gets outputted as strings, very similar to JSX. The biggest downside is (was?) C-style file includes, instead of packages.
Breathing oxygen at a partial pressure over about 0.5 atm causes progressive pulmonary oxygen toxicity (loss of vital capacity). Brief exposures like the treatment protocol described in this paper are fine but it's not something you want to do all day every day. Saturation divers who live under pressure for days are careful to control chamber oxygen pressure below that limit.

Nitrogen is regular air is an anaesthetic. It literally makes you stupid, and the effects increase with pressure. If you want to be smarter you need to replace the nitrogen with helium. The high pitched voices are going to make Zoom meetings hilarious.

So generally working under pressure is totally impractical.
Environments are generally handled via deployment configuration.
This is incorrect. Google Analytics uses a first party cookie. Only the ability to create paid media audiences using GA is blocked by non chrome browsers and ad block extensions.
In your definition (which I like), AI is based on intent to simulate rather than perception. I agree that what is popularly considered AI is a moving goal-post — many don't see machine learning as AI either — e.g., it's just statistics.

The term AI is very vague and misleading. It implicitly suggests a kind of magic. A lot of people believe in the magic, intended or not. I don't think this paper would be an issue at all if it was referring to a new foundation for GANs or transformers or deep learning — or anything more specific.
Owncloud is switching to Go. https://owncloud.com/news/ready-steady-go/
"because in my experience I haven’t actually seen a single php developer "

With all due respect, that is one hell of a bubble :). Plenty of companies use PHP (not just WordPress) and there are plenty of PHP devs who work with core, symfony, Laravel etc.

PHP is battle tested and even though it has its quirks, you can never go wrong with it if you are looking to build a web application.

P.S: We are hiring web developers for our company and PHP experience is preferred considering our stack.
Stanford and academics can’t compete with Google. OpenAI etc. unless they get a crap ton of grant money. They want to be able to do so so this is one way to make that happen.
These days if you're not using PSR4 configured auto loading with all your code in the src or tests directory and a separate public folder then you're not really qualified to work on PHP at a professional level.

I highly encourage using this template for all new projects

https://github.com/thephpleague/skeleton
Python Delete File – Step-by-Step Guide
Outside of Wordpress, I don't think the PHP ecosystem is in a great state. I worked with it recently and the availability of 3rd party libraries wasn't great. A lot of them were abandoned. Python and JavaScript have healthier ecosystems.
I think the article is written assuming that most reviews are just bureaucratic. In practice though not all codebases have 100% coverage integ tests, perf regression tests and visual regression tests. Even then I feel you should still have a second pair of eyes but I agree with the underlying problem that code review is a development bottleneck.
Sorry, did I make a mistake? Isn't the Lord's Prayer in the New Testament?
That's very well possible, and a desirable property of such contracts. It does restrict the language in which contracts must be written.
We can do a probabilistic check. Just see how much data is being exfiltrated, if it's greater than a X% we can figure it's either Facebook or the Chinese government. ;-)
Was cold after cross continent flight and just missed the train by a few minutes, was also pretty late, place looked abandoned, had a bit too much luggage and had no idea how to get to my destination.
Any other circumstances, I would take the train.
> Did they learn nothing from the antitrust cases of the 2000's

They learned for awhile- until the rest of the industry caught up.

This might sound weird but I've actually been rooting for Microsoft a lot lately. A majority of their revenue is not from ads and lock-in BS and they weren't called in front of Congress recently over antitrust concerns. I was hoping they would set themselves apart from the pack in an odd way by making good software and hardware products that people enjoy using. (xbox, windows, office, WSL, VSCode, Visual Studio, hololens, phones, laptops, Halo on Steam, etc.)

Seeing the new browser war and direction Windows 11 is headed, now has me worried. The widgets pane is obviously for serving ads.

I understand that these public companies are required to act in the best interests of shareholders but I fear that the obsessive push for revenue gains only benefits short term shareholders. Long term shareholders get the shaft when every decision is aimed at squeezing revenue just for the next quarter.

Edit: I'm not a Microsoft/Windows-Stan either, I've been using Linux intermittently since 2006-ish and now daily drive Fedora as my main.
I do PHP and haven't touched Wordpress for years. Laravel and Symfony are great projects for building web apps with.
Direct link:

https://techtaiwan.com/20210913/unisoc-huawei/
Cloudflare Workers: The Fast Serverless Platform
Good effort in collecting the principles bit diverse IMO. Would be interesting to do a global analysis of most common words/principles.
Not actually clear what is open sourced here. The contents and links are to various other sites that arent necessarily open sourced. Almost all of the principles linked do not have any license attached to them. On a side note the principles tend to get written up at the beginning and are based on the thought process and outcomes agreed by a few who were there when it got defined. How often do they change or reviewed adn challenged ?
To a large extent the principles are like horoscope readings, difficult to challenge & always feel right. This doesnt mean you shouldn't define and document the principles, but also isnt necessarily the one you should remix and adapt because they sound cool.
Software constantly uses dark patterns and even “well-behaved” software asks questions with answers like “yes” (large writing) and “maybe later” as the only no option. It’s completely normalised.
Running Out of Database Connections in Production
A 'Gene Silencing' Injection Has Been Approved for Treating High Cholesterol
Ok... and here I was thinking that a single word without vowels in Slovenian (Trst, the Slovenian name of the Italian city Trieste) was remarkable. Guess I have to reconsider that...
Just to throw this out there.
https://c19ivermectin.com/

It's a pity that the whole issue has become politicized, but that's modern times for you. That's why ivermectin is called 'horse dewormer' rather than simply a medicine for parasite infections with a number of human applications. It's a term like 'XXXX denier' which is used to tie a political adversary to concentration camps by playing on our disgust or fears.

Does it do anything for COVID? Dunno. Should it be a discussable matter without internet censorship and crazy people twitterstorms? Maybe. Am I sick of being propagandized by everyone? Yes.
The implication is that WordPress sites don't represent what people are using to build software these days. This may or may not be a valid point of view depending on what you really want to know.
We (humans) overreact to new things. We are overreacting slightly less as time goes by. It is much like the post-9/11 overreaction to terrorism. It takes time for it so subside. The post-9/11 overreaction took about a decade; we seem to be self-correcting much faster in this case. But, yeah, still overreacting at this point.
I'm using UEFI on my Raspberry Pi 4: https://github.com/pftf/RPi4

Works pretty well.
Really, even wireless chargers? That's great.
except now the US' will to prosecute antitrust is essentially dead

the land of corporate power
Ask HN: Is there a high level guide to graphics technologies on the web?
As a hobby, I am looking to getting into graphics programming on the web. I understand that this may be a very very broad subject. I am already very comfortable with math (linear algebra, calculus, trigonometry) and not looking to relearn math. The only tools I am going to use are HTML, CSS or JavaScript - so say generating WebAssembly using C is not an option. Some things I wish to create are -

1) Simple 2D games like Tetris
2) Animations of mathematical concepts
3) 3D animations like what was popular in HN few days back (My Room in 3D - https://news.ycombinator.com/item?id=28496650)

I am not looking to create graphics related to data - e.g. d3.js. Doing some investigation, the various technologies are very confusing. What is canvas good for? What are main uses of SVG? Is it possible to do raytracing on the web? What is the future of WebGL and when will WebGPU replace it? Does it make sense to learn libraries like three.js or babylon.js?

Can someone help me with a link to a guide which explains the different technologies and what each is good for?

Thank you in advance.
as the other commenter said - yes. But the thing is I think it's unlikely that the parrot associates language with the problem solving. Parrots with language capabilities and parrots without language don't seem to have different problem solving capabilities - parrots don't have a spoken/written culture. Humans that are prevented from getting a spoken culture (by isolation) exhibit much reduced problem solving - because the humans with a spoken culture have lots of tips from other humans.
I have a very distinct memory of disembarking from the Budapest to Belgrade night train to the smells of leaded fuel in Belgrade.

Budapest was no standard of cleanliness at the time (late 90s), however Belgrade was truly still in its post-war phase and had all of the energy, anger and edge of a place that had been pretty beaten up.

We were robbed, given a pistol in a nightclub (still have no idea what was going on there, I just remember being really surprised that pistols came in styrofoam and shrink-wrap packages when they are new... Being from Canada I had never even seen a pistol before), were surrounded by really beautiful people who we thought wanted something from us but who were only generous and kind, and .... the smell.

The smell of that leaded fuel was everywhere. It smelled sweet and was so unique. It's what has stuck with me 20+ years later.

One other side note from that trip. We were in the countryside (mean to be meeting a friend from home in his ancestral/family village but took the wrong bus) and someone in the village directed us in to a pub that was basically an old barn. Inside there were many middle eastern guys and a mix of Serbian and english speaking people. I was given a pin by one of the middle eastern guys after I threw an excellent game of darts on the dartboard next to him.

Years later I had a job for a defense contractor and the subject of that trip and the pin came up. I showed him a picture of it and he recognized it instantly: al-Aqsa Martyrs' Brigades. I looked it up and so it was.

We were put up with a local elderly woman who served us some type of soup in the morning and then someone gave us a ride out of town to a bus stop that had service that day. We waited only an hour until the first car came along, reeking of leaded fuel.
Have you tried reporting the issue to the PipeWire devs?
I use php for pretty much everything. Php has a lot going for it, there are tonnes of developers who knows the ecosystem. It works on every OS/plattform there is. The performance is decent. Any systadmin out there knows how to admin an php application. The tooling is mature and you are not bound to any specific editor or ide.

For me its the perfect language.
I will do so, thanks for the hint.
Surveillance data in Canada collected Nov 2020 thru March 2021 had roughly 1 to 4% of Canadians having antibodies from previous infections, depending on province.

We're now losing control with the most infectious variants. But most of us seem to still haven't had it, including most unvaccinated (about 15% of adults). Accepting we're probably all going to be exposed eventually is a bit annoying after all this, but the fully vaccinated don't have too much to worry about. The main worry remains burden on the healthcare system for treating the unvaccinated. There are only so many ICU beds -- less than half as many per capita in the USA -- and now that some regions are running out of those even the fully vaccinated are in trouble if they need other urgent medical care. The plan, if we can call it that, is to keep the rate low enough until everyone has had it that hospitalisations are manageable.

One thing I've noticed is that some Americans don't appreciate how politically unacceptable it is for much of the public to get COVID-19 in countries that have had some success in containment. New Zealand appears ready to become a hermit kingdom forever if that's what it will take. Anecdotally, my mother has been fully vaccinated and looks at me like a dog with two heads when I try to explain that she's at comparable risk of serious illness to influenza when fully vaccinated. It's the plague and a "managed" exposure is unthinkable. Do not underestimate the political will there to maintain countermeasures, whether it makes sense or not.
They are. Default file associations are protected in Windows 10 [0][1]. The default browser is in essence also an file association.

[0]: https://devblogs.microsoft.com/oldnewthing/20170517-00/?p=96...
[1]: https://devblogs.microsoft.com/oldnewthing/20190724-00/?p=10...
OpenRA: Red Alert, Command and Conquer, Dune 2000, Rebuilt for the Modern Era
The difference is the carbon costs of the dollar are not following an exponential growth curve.
Seems to support all the new IRC features. What's the best client to get all of those features? For the terminal and GUI on Linux. Or for Windows.
Ahhh…. Protecting workers from their own stupidity. Got it.
This is why I recommend converting from Ruby to PHP. Costs are way lower and it's easier to find devs.
> I see no replacement for it in the free world

I know what you mean, but what about GRUB and UEFI? I think both of those could be supplemented to be able to do a lot of the same things, don't you think?
GEIC hosts first exterior pour of graphene-enhanced Concretene
The last few server-side languages I've used don't use extensions or publish a header banner. In many cases it's just not possible to tell what's running.

w3techs admit as much in their disclaimer. The data and conclusions from it are junk.

> In order to obtain any information from websites, we rely on the websites themselves, their owners or their webmasters to provide such information. Some websites are more open to sharing this type of information than others. Some technologies may provide more means to reveal information about their usage than others.
Why is that, though? Is it merely because it's been institutionalized, or is there an inherent advantage that Fortran has (over say C or Rust) for things like weather forecasting?

By no means am I suggesting that it wouldn't have an advantage; I'm just a young whippersnapper who has never had the chance to write any Fortran.
Wait a minute. Firefox is Open Source; wasn't Microsoft in love with Open Source? (their words)
So it appears they are only when they don't smell competition.

One of the reasons why I'm extremely worried by whatever they're planning to do with Linux.
> If the next tokens happen to randomly match what you'd expect to see from a system capable of reasoning

can we say what we would consider random and can we test to see if GPT3 does better? Has someone?
Related bugzilla entries:

https://bugzilla.mozilla.org/show_bug.cgi?id=1637357

https://bugzilla.mozilla.org/show_bug.cgi?id=1703578

Apparently, the new one-click method is called UserChoice.
I Used Python to Resurrect an Ancient Japanese Script
Samsung Galaxy S22: Everything you need to know
Well yes, if you need to run actual graph algorithms on network data I agree that pgSQL (or any general purpose database, including "semantics" oriented graph db's) is not the best.
New job postings is a good metric for new web sites, but new sites are a tiny fraction of the total internet.
In ASP.NET Core the HttpContext is very mockable.
The closest thing to a module metadata system is the pkgconf, but it does nothing about actual module import/building. You have to use external tools to achieve the later.
It's not a realistic answer for the vast majority of users.
In my opinion, self-skepticism, the way I understand it, is not a critical attribute: almost any scientist has an emotional attachment to his work and, during investigation, focuses on the good parts. I personally see nothing unhealthy about this.

What I do see as a critical failure of the current state is the lack of a scientific method to resolve disagreements: the clearly explained methodology, reproducible results, etc. And in the lack of it, the only way to resolve disagreements is to shut down opponents, which also gives rise to a cottage industry of consensus forming and discrediting minority opinions.

Push back to this and return to debating topics on merits would be a great help. My 2c.
Uchuu Simulations: a 2.1 trillion N-body simulation for a virtual universe
> Seeing scientists disagree, debate and use repeatable experiments to settle disagreements could help bring the rational argument back, instead of the current "my science is stronger than your science" style of debate. My 2c.

In order to do that, there has to be a framework. The framework currently used is a peer reviewed publications. Currently, the disagreements are being settled not based on experiments in but on opinions in mass media, Twitter threads and Facebook posts. That's not the agreed upon framework.

I know that "peer review is fallible" but that's the current agreed upon framework. None of the others are ideal, it's the best we have at the moment unless we come up with another one.
A wireless charger has no data transfer capability yet, so "no" for now. However if a USB port shows any sign of data transfer capability, it's blocked until you trust it.

Power starvation / observation attacks are passive attacks in a sense. They get their results by observing only.
Pulseaudio is opinionated in favour of quality. For example if attaching an input to an output in pulseaudio it will resample by a minuscule amount to sync the clocks (eg 47999hz to 48000hz).

This sort of thing does not come for free, and any other solution that is using less CPU may be cutting corners in areas like this.

For me Pulseaudio is still my weapon of choice for running a dedicated realtime DSP where the input and output are on separate cards/clocks, but I can see how it has grown beyond sane scope for ordinary desktop usage
> I mean the stakes were incredibly high, billions in revenue for the foreseeable future.

That's exactly why the first sequel movie (EpVII: TFA) was so timid; I'm sure it was the most de-risked thing the writers and execs could think of—just a re-skin of the original.

> cheapening the force and the ability to wield it… It's telling that the secondary things - Rogue One, Mandalorian - are fan favorites instead.

Star Wars suffers from power and stakes creep: Death Star I is a planet-killer; DS2 kills planets and ships: Starkiller Base is a multi-planet killer; every ship in the Exegol fleet is a planet-killer. Force abilities are another example.

The Force co-opts any story it touches into one about destiny. And sometimes that's not appropriate, as in tales about rebel troopers or backwater mercenaries. As much as I adored The Child and was excited about Luke's cameo, I'm really glad those two things exited the show, hopefully resetting the stakes at a lower level.
I was using MooTools before jQuery ever was a thing but you don't hear me complaining about PHP. I love PHP and enjoy working on it each and every day.

It's legacy is a hell I agree but quite irrelevant and getting old.
I am regularly stumbling upon Haxe. It seems like a well designed language but like you I never yet found a use case.

Though it seems to be also great for game dev. The show case of games written in Haxe is quite impressive:

https://haxe.org/use-cases/games/