skysight-inc/HackerNews huggingface dataset:
The biggest reason why you'd want a formal semantics for your PL, as opposed to just a "human" language specification, is so that you can do proofs about the formal semantics. You can prove your PL, as defined, satisfies certain "safety" properties. And the point of doing these proofs is is to check that the definition of the PL "makes sense".

PLs that don't have a formal semantics (aka, most mainstream PLs) are more likely to be in situations where implementors realize, after the standard has been written, that e.g. some of the PL's features interact in a way that doesn't make sense, such as this example with C++ coroutines and lambdas: https://news.ycombinator.com/item?id=33084431

Two of the most common safety properties of interest are progress and preservation. (I touched on this in the last above linked post near the bottom.) At a high level:

1. Progress states that if you have a program that type-checks, then either that program is "done" or it can continue evaluating.

2. Preservation states that if you have a program that type-checks and that can continue evaluating, then as it continues to evaluate, it continues to type-check.

Note that the conclusion of preservation "feeds back" into progress: the program type-checks. And vice versa: progress may state as its conclusion that the program can continue evaluating, which then lets you apply preservation. This means you can keep applying the progress and preservation theorems in a "loop" until the program is done evaluating.

For each of the 4 posts in my series about formal semantics, I duly translated the rules presented in the blog post into Lean code, and then proved that the rules do satisfy the safety properties. For example, for the first post linked above:

- The syntax of the language: https://github.com/azdavis/hatsugen/blob/part-01/src/syntax....

- The static semantics (the "typechecker"): https://github.com/azdavis/hatsugen/blob/part-01/src/statics...

- The dynamic semantics (the "runtime"): https://github.com/azdavis/hatsugen/blob/part-01/src/dynamic...

- The proofs of safety: https://github.com/azdavis/hatsugen/blob/part-01/src/safety....
Since Hubble is at the upper range of LEO which made shuttle missions difficult, I've always wondered if they could make it slow down enough to lower its orbit more easily accessible for orbiters where part of the refurb is to refuel it so that it could get back to operating orbit.

Maybe not Hubble, but maybe the next gen?
These are some bold claims. Id like to see some evidence.
What do you think it was about instead?

Simple bloodlust, conquest, and imperialism?

Do you see how one line of reasoning is consistent with rational actors and the other relies pathological boogeymen?
I'd love to see Someone familiar with high magnetic fields answer this: what exactly is going on and why did it blow up?
I flagged both of those at the time because it seemed more likely to be user error than anything. Bold claims like that need more evidence before publishing.

One thing that any programmer knows is that until you have a way to reproduce something in a clean environment, a bug report on its own cannot be fully trusted. That doesn't mean you ignore the possibility that the reporter is correct, because sometimes reproduction is very difficult indeed, but you have to allow for the fact that something about the user's environment or workflow unrelated to your own code might be at fault.

We are all susceptible to errors in our methodology or limitations in our understanding of how complex systems interact. We should be humble and careful about jumping to conclusions.
Sounds great!

I feel like Ruby on Rails out of the box support would really help bring an influx of Heroku orphans.
that ten second video played in a web browser and IMMEDIATELY jumped to an ad-filled marketing one. The YouTube experience is visibly deteriorating
I mean, it's the shortest _possible_ pull request (since I don't think you can make a git diff of zero bytes, barring some weird quirk), but also probably has the highest PR description : PR diff length ratio of any PR I've seen.
How 56k Modems Work
Economic interdependence is studied in the theory of International Relations.

As other commenters have pointed out, interdependence is variously seen as preventing or leading to conflict. The former in the Liberalist school, when two countries both see war as too costly to their mutual interests. The latter in the Realist school, when interdependence is weaponized as a point of control or viewed as vulnerability.

The trade expectations model (Copeland) argues that high existing interdependence but declining expectations leads to conflict, while a statusquo that is relatively independent but with increasing expectations can be peace-inducing. I admit the expectations model is somewhat circular reasoning, cyclical really. Though it is statistically explanative of historical conflicts in the 19th and 20th century.

https://en.wikipedia.org/wiki/Economic_interdependence

https://www.jstor.org/stable/2539041
> Firefox being banned is because it uses its own certificate store

FYI You can instruct FF to use system trust store: https://support.mozilla.org/en-US/kb/setting-certificate-aut...
Ask HN: Netlify having issues?
Status page says all is well but all three of the websites I’m hosting at Netlify are returning an error page with no info other than a request ID.

Edit: As is typically the case, it started working again once I posted this. Will update if it happens again.

Update: https://www.netlifystatus.com/incidents/vfn9y20bh4g7
> In the ensuing weeks, the conspiracy theory grew as it shot around the internet. To believers, the claims showed how China had gained near complete control of America’s elections.

That part is still valid. And really we don't actually know what evidence the DA has or if the scope of the arrest warrant matches the theory. All they've said is that some data was stored in China.
career link returns:

Internal Server Error - Request ID: 01GEN0YR9YVQ4Y9EMR2XTTF6NA
> adsl-216-103-75-178.dsl.snfc21.pacbell.net - Some lucky sod had ADSL in 1999!

IIRC I knew a few UK people who had ADSL in 1999 but they were part of the BT trials, not a general release of ADSL (because the UK's broadband is an omnishambles of a monopoly.)
8.3 is CP/M or maybe earlier even, I guess?
Silly dystopia ideas: police seize an NFT of the suspect.
> It’s impossible to determine Putin’s personal motivations from outside;

Entitlement. The closest you came was the descriptor "narcissistic" in (c). Narcissism is supposed to be a rare condition, but it is found everywhere. It is easiest to understand leaders like Putin, Jong-un, Xi, DeSantis and Trump, if framed in psychological terms like narcissism with symptoms of entitlement, grandiosity, attention seeking, arrogance, bullying, lack of empathy, and a fear of criticism.
What about adding this feature to your creative workflow, for fast prototyping.

I've played with DALL-E, I'm not able to paint but I was able
to generate good looking paintings and it felt amazing, like getting new power, I felt like
Neo when he learn martial art in The Matrix. And I realized that AI
may be the new bicycle of the mind, like the personal computers and internet changed
our way to work, think and live, AI may now allow us to get new capabilities, extending our limits.
I would love to live in a car free city. I think this looks like a bad implementation of one. A few mistakes I see:

1. It is Arizona, which means it will be blisteringly hot the entire year.
2. The mock ups just don't look very pleasant to be in. There are no trees around, there are some sterile looking buildings. It looks like an amusement park.
3. The building lot sizes should be smaller. This is one thing that gives cities the nice organic feel.

If I were to do this project. Start with a train mass transit line into a city nearby, it might be worthwhile to go to the end of a line, buy some land and pay to just extend it. I would do it somewhere with temperate climate. In the charter of the city have no cars (except emergency vehicles), don't allow parking spots, etc. Then build a nice big square near the transit stop with a nice park and plaza, which is the standard american planned town that worked quite well. Divide it out into a few blocks. Build some initial apartments and missing middle style row home / shops. Then sell the land in half acre slices for some row homes around the town. If you don't have anything there no one will come, but if its all planned no one will want to go. Basically just follow the Philadelphia city plan https://hsp.org/education/primary-sources/a-map-of-the-origi...
But which of his points do you refute and why?
Being the person to say "let's stop doing X and do something different" has generally not served me well in team settings. Whether or not others on the team agree or even care, they often don't want to be vocal about stuff, and would rather just punch in and do some work and go home.

The psychology around "team decisions" is a weird one, and I don't think there's always as much 'group buy in' or consensus as people might think.
Not using newpipe.
But Brave does, as mentioned before, have their own built-in adblocker (based in part on uBlock Origin), which doesn't depend on extension features. uBlock Origin does still have some additional functionality that the built-in "Shields" don't, but mostly it's not dissimilar. So, given that an ad-blocking experience on Brave doesn't depend on extensions entirely in the first place, I would think that would be a business/econ reason why they may not want to divert lots of resources into maintaining v2.

(Not sure where 'semantics' came from in the first place here.)
Google officially launches Equiano subsea cable
> If you are installing fswatch using a package manager and you would like the PDF manual to be bundled into the package, please send a feature request to the package maintainer.

I can't find the PDF manual in the repo. Do I need to contact the author and say please?
It can for AI, it is consuming and mixing in training trail cam images, etc. that weren't composed shots.
But with RSS, I only see stuff from the people I subscribe to. There can be a billion of nut jobs and one reasonable person in the whole world of RSS, but if I only subscribe to the reasonable person's feed, all the other stuff doesn't affect me at all. With Twitter, I see random stuff suggested by the algorithm and I see comments in tweets from the people I follow. I also see quote tweets and replies made by the people I follow.
Oh I've lived here my whole life, and trust me, I know the score.
Just looks like an explosion to me. Whats the point?
Nobody is screaming.

Even presuming usable structural materials can be discovered (not worked on in 3 decades) and tritium at PPB concentration can be extracted from thousands of tons of blanket material every day (never worked on at all), a working plant would cost more than an order of magnitude more on every axis than fission.

But fission is already not competitive. Fission falls farther behind better methods each day.

So, no one will build a fusion power plant, and there will be no fusion power. "Pursuing avenues" with no possibility of desirable results is wasted effort and wasted money. We have valid reasons to avoid waste.
Requires massive centralization of data and complicated logic for access control enforcement, which now has to happen for every call.
False, though common, misunderstanding of responsibilities. The NRO is the operator/owner of the space asset. The NSA is (one of) the customer getting data from the NRO space asset. (along with many other sources)
I’m not a fan of trick questions. It’s usually something as simple as “you have 10 minutes write out a program in any language you like that takes in a string and prints out the reverse.”

The idea is just a litmus test and I don’t think it’s useful for filtering anything other than liars. I never had someone completely freeze up.
I don't really care about all of that. Really, I'm more of the "shouting into the void" kind of situation as I know no one cares about my postings, but I do it anyway.

So Pixelfed wouldn't really change things for me except give me a better experience while shouting into the void.
Org-mode on Emacs checks all those boxes. The only issue might be the learning curve of core Emacs.
I hope the Apple security team that was assigned to investigate this report is enjoying a nice beverage tonight. Dealing with unconfirmed critical security reports with few details can be a nightmare, especially when they turn out to be unfounded.

Good practice for the real thing, though.
I mean, I can’t predict the future for sure, but I can point to examples in the past and throw out some hypotheticals.

It’s hard to imagine a more impactful invention in today’s world than modern genetic engineering and pesticides (both in good and bad ways). It’s what allows countries like China and India to feed a billion people, it’s why we have 1 farmer feeding hundreds of people, freeing other people to work on things like tech and science, it’s also causing mass ecocide and harmful biological effects. Sure, the personal computer has changed the world, but almost 40% of the world still has no access to computers of any kind, while share of people who don’t rely on genetically engineered food or pesticides is likely under 1% at this point.

Now, you might say “genetic engineering is a scientific invention”, but I don’t think you can meaningfully separate science and agriculture in that way. Scientists who invent genetic engineering techniques rely on farmers to POC and industrialize their inventions in the same way deep learning academics rely on SWEs to industrialize their discoveries.

Some important ideas in agriculture that have the potential to spur revolutions:

Permaculture - could allow people and communities to decrease their reliance on big corps, reduce reliance on oil for transportation in an era where oil is becoming scarcer, make space colonization feasible, eliminate food deserts.

Urban farming - in a revolutionary scenario, this is less about “urban” vs “rural” and more about removing land ownership as a requirement for industrial farming.

Food as leverage for political/economic movements - see Dutch farmer protests for a small example

Similarly, revolutions in art can’t meaningfully be separated from science. Art and industry/science have historically worked in kind of a call and response fashion where science attempts to concretely define human understanding, and artists theorize about things that can’t yet be explained and solved by science.

As an example
artists perfect photorealism -> camera is invented -> modern art is created, which emphasizes aspects of the human experience that can’t be captured by photorealism -> discoveries about how the human brain works (e.g. modern psychiatry, neurology, artificial intelligence) -> postmodernism, a focus on individualism and societal structures -> ???
Maybe Hanlon’s razor applies here and hopefully someone simply created a cloud resource in the wrong region.
Yup, I second that.

Many places that I've worked with are now considering using a zero code website creator instead of actually coding, and for many scenarios it just works perfectly, cheap, and flawlessly. Of course it's not for everything especially if there's customization and server technologies involved, but it's very big to create disruption.
When I was 12 I followed ESR’s guide on “how to become a hacker”. I wanted to learn hacking but didn’t know where to start or have anyone to ask. Started with html then c++ and using linux. For me, it’s probably one of the most important things I read, because it ultimately altered the trajectory of my whole life.

http://www.catb.org/~esr/faqs/hacker-howto.html
I for one endorse a general, casual and technical re-emphasis on the shell. That and a pastiche of Die Neue Typographie but geared toward GUIs.
You can host your own and it's federated. The "fed" part makes it a portmanteau of "pixel federated". There's also multiple other hosts you can sign up to.
damaged maybe, but i have an framework were it happened, so the maximum potential damage was lower.
> Unless I'm misinterpreting what you said, it sounds like you like the SQLite Code of Conduct?

The part I like is where they state, as their official position, that they are OK with people not wanting anything to do with this. As you said, tolerance, live and let live.

I also recognize I am able to exist as an atheist in a Christian nation precisely because of tolerance and mutual respect, with emphasis on "mutual". There are parts of the world where being atheist, LGBT, or <insert group membership here> can easily get you killed.

And then there's the fact that any decent person would agree with quite a few of the items on their list. Here are 46 I think might qualify:

Then, love your neighbor as yourself.
Do not murder.
Do not commit adultery.
Do not steal.
Do not covet.
Do not bear false witness.
Honor all people.
Do not do to another what you would not have done to yourself.
Do not become attached to pleasures.
Love fasting.
Relieve the poor.
Clothe the naked.
Visit the sick.
Bury the dead.
Be a help in times of trouble.
Console the sorrowing.
Be a stranger to the world's ways.
Do not give way to anger.
Do not nurse a grudge.
Do not entertain deceit in your heart.
Do not give a false peace.
Do not forsake charity.
Utter only truth from heart and mouth.
Do not return evil for evil.
Do no wrong to anyone, and bear patiently wrongs done to yourself.
Love your enemies.
Do not curse those who curse you, but rather bless them.
Bear persecution for justice's sake.
Be not proud.
Be not addicted to wine.
Be not a great eater.
Be not drowsy.
Be not lazy.
Be not a grumbler.
Be not a detractor.
Recognize always that evil is your own doing, and to impute it to yourself.
Keep death daily before your eyes.
Keep constant guard over the actions of your life.
Guard your tongue against evil and depraved speech.
Hate no one.
Be not jealous, nor harbor envy.
Do not love quarreling.
Shun arrogance.
Respect your seniors.
Love your juniors.
Make peace with your adversary before the sun sets.

Nothing wrong with aspiring to be this person, even if people could succeed at a portion of this the world would be a better place.
I haven't decided yet which parts I am going to open source or which license I am going to use; but the binaries are available for free download on our website https://www.Didgets.com and I have a newsletter at Didgets.substack.com
OK, now how do we solve it?

I’ve been thinking about this problem a lot. It seems to me you either go full send on the privacy front -> use FLOSS operating systems and self-host Nextcloud, or you want the comforts of modern apps and services -> buy into Apple’s or Google’s ecosystem.

There exists no option where you get to keep your privacy and enjoy modern technology.
"Default" makes it sound like a deliberate decision or setting, but that is not how these models work. But I guess it would be trivial to actually make a setting to autmatically add specific terms (gender, race, style, ...) to all prompts if that is a desired feature
I think file mode changes (eg 0644 -> 0755 to fix a script not running) could be smaller
I don't feel bad at all. I'm just saying, that's the way it is. I'm not arguing for Apple to be paying more. What I am calling "slavery" for lack of a better word, in whatever form it may take, is a key component of capitalism. I'm just saying that no one really wants something made 100% in the USA because very few people could afford it.

You are 100% right in that this is the primary mechanism for increasing the standard of living around the world. It's worked so well in fact that the wages in China are not nearly as low as they once were. I would say that low wages alone are no longer the primary benefit of having something made in China. It's much more the scale and loose environmental regulations that are valuable now. There are quite a few things that you use every day which are almost exclusively made in China or India or similar.

I think people in general do not realize just how much we rely on China and Chinese manufacturing, and how beneficial it is for everyone to have things made abroad. People focus on the higher end factory items like iPhone assembly but don't often think about all the sub-components. Base materials like adhesive, spray on preservatives, plastic containers, labels, etc. are almost all made in China or somewhere with loose environmental regulations. There are so many items that go into day-to-day items that are either made in China or made from products imported from China. If it's made from plastic or for plastic, and it's made at scale, there is a really good chance it's made in China.
> Remember when they invaded and took Crimea?

Yes, I mentioned it. That was in 2014 - 22 years after the fall of the Soviet Union.

Russia's antics have been damaging but child's play compared to the cold war. The US and the Soviet Union were engaged in proxy wars, insurgencies, coups and counter coups across the globe pretty much non-stop for nearly 50 years, all the while pointing two order-of-magnitude larger nuclear arsenals at each other.

Economic interdependence obviously didn't stop Russia from eventually going off the deep end. But it probably helped keep relations cool for quite a while.
Almost no greyhound related ads. I see occasional pet related ads, but not nearly as common as bogus health supplements, diabetes related stuff (I'm diabetic), random garbage I don't care about, Amazon, and other accounts.
I'm just tired of the rhetoric that 100% of such software is 100% unassailable and 100% utilized by 100% honest actors with 100% honest motives, 100% of the time, and anything else is a "conspiracy theory."
Depends on whether you consider `git commit --allow-empty` a weird quirk ... I guess it would be reasonable to do so ;).
And that scene is almost certainly referring to Ralph Nader’s best-selling book, Unsafe at any Speed:

https://en.m.wikipedia.org/wiki/Unsafe_at_Any_Speed
$1 billion for an undersea cable that long seems almost ... cheap.
For all practical purposes, the parent comment is describing at a gross level the design of the Webb : ) (not much cost savings in that direction...)
`git commit --allow-empty -m 'empty commit'` will do.
I was disappointed that this wasn't the release of a new record by The Magnetic Fields.
Your Sr Data Eng posting says "Sr Data Scientist" and looks almost identical to the scientist posting.
I don't know if packages should necessarily be moved out of nixpkgs since I doubt most people who don't use nix would want to maintain flake.nix in their project, nor would users want to have 30+ flakes in their inputs. However, I can see a good case for separating the package definitions from the nixos modules and the stdlib (mkDerivation, stdenv, etc). Maybe there could be a flake for each.

As for keeping up with PRs and other responsibilities, that seems to be one of the stated goals of the this new Nix Team. I guess we'll see how they intend to handle this soon.
Wow, that's whack. I couldn't PUT up working in a place with such a hackneyed firewall limiting my OPTIONS so much, really raises my hackles. I'd HEAD out the door so fast in such a ramsackle establishment, I wouldn't even ask for a reference, I'd just kindly ask that they DELETE my number
For those who are implementing these security guidelines: how do you ensure they have been correctly implemented?

Do you have any kind of static check program that can check beforehand that you are going to deploy a hardened kubernetes cluster? Do you have a "live" checker that can verify the actual configuration of a running cluster? Does it run all the time oronce in a while?
Also , if you have an automated way of verifying your configuration, which program do you use?

I only know about Chef's Inspec and the CIS profiles that are available online, but the experience wasn't extraordinary and I was wondering what is used in the wild?
How could anyone say this seriously after recent events?