skysight-inc/HackerNews huggingface dataset:
It seems quite falsifiable. We Just need to visit or image several hundred tidally locked planets in the habitable zone.

Also, theory and models still have value in the absence of experimental data. They can inform your decisions on what experiments to run! They can also inform your decision on how to behave in the absence of data and validated models.
The fundamental issue is that links without any form of access control are presumed private, simply because there is no public index of the available identifiers.

Just last month, a story with a premise of discovering AWS account ids via buckets[0] did quite well on HN. The consensus established in the comments is that if you are relying on your account identifier being private as some form of security by obscurity, you are doing it wrong. The same concept applies here. This isn’t a novel security issue, this is just another method of dorking.

[0]: https://news.ycombinator.com/item?id=39512896
MangaDex security post-mortem: Reflected XSS in Auth. Callback
I mean, you historically could ignore it, but it's changed since the anti-corruption purge began in 2016.

Imo there's no reason to poke that bear anymore - a lot of bad practices that were common 10 years ago are not tolerated anymore (though sadly, a lot of good practices have also started getting cracked down, like domestic criticism)

Edit: you're talking about Gui Minhai. Ok yea that's fair.
I don’t have anything expert to add here except this is somehow a shockingly difficult problem.

When I boot into windows, the fonts especially in some applications look horrible and blurry because of my high DPI monitor. Windows has like 10 settings you can try to tweak high dpi fonts and man none of them look good. I think my Linux boot on the same machine has much better font smoothness and of course the MacBook is perfect.

Somehow most windows systems I see on people’s desks now look blurry as shit. It didn’t use to be this way.

I really don’t understand why high dpi monitors cause (rather than solve) this problem and I suspect windows has some legacy application considerations to trade off against but man - windows used to be the place you’d go to give your eyes a break after Linux and now it’s worse!

I realize I am ranting against windows here which is the most cliched thing ever but really come on it’s like right in your face!
People talk a lot about the bloat at universities, but I think that they don’t often think about that bloat as being the rational response to a system that is increasingly pushing them to (a) provide collegiate credentialling to basically the entire US workforce and (b) operate the infrastructure of a small village. Yes administrative bloat is real, yes universities are opaque morasses of money and bureaucracy. They are also charged with the care of tens of thousands of young people; keeping them fed, providing medical services, transit, housing, therapy, IT support, and obviously education in advanced topics across the entire breadth of human knowledge. Does this require endless “Vice Provost of X” type bullshit jobs? No, but consider the amount of cruft at a private corporation of similar size and scope. In some ways this is simply what happens when organizations grow this big, IMO

edit: I didn't even mention that they also must maintain enormous research operations, some of them performing research that is literally the bleeding edge of human knowledge. Like imagine trying to helm a corporation that is simultaneously invested in multi-billion dollar government grants for deep-tech R&D, alongside a portfolio of ~15 hotels, a minor-league football team, an urgent care, a landscaping company, and something like 10-20 high schools of students. Not to mention libraries, museums, gyms, food, etc. And god help you if your campus is more than 50 years old, because the cost of maintaining all those buildings are going to be insane. If you were able to do this all without bloat or graft honestly I think you'd a generational genius in management.
I can imagine that discoverability may be a factor. I've only ever used Google Play Store, and looking for good apps there can be extremely discouraging. The best apps are sometimes buried, you have no sorting options in search results or even in categories, almost no filters. The categories are very basic. I would want to sometimes look for apps with <1m downloads, that are <10 MB for simple apps, have at least X reviews, maybe recent updates, etc. And maybe filter for no ads, but that filter could be too bad for business for free apps (I understand that devs have to earn some money).

I know that things I'm describing are more for power users, but a filter like app size (or just showing it right in the search results) would be a godsend for regular people with cheaper phones (and you have A LOT of cheap phones in most of the world). And smaller app size usually means better performance and less stupid "features". putting on my tinfoil hat But maybe smaller and more performant apps would mean less money for manufacturers.

As with everything, when looking for a good app, I search "xxxxx android app reddit" in Google.
yep: https://www.cell-lang.net/faq.html
Or you could pretend this is a forum for discussion and not yiur advertising space and answer the questions directly rather than spamming your email.
> If you hire Chinese nationals in your tech company, you can be assured they are committing espionage

Liberal principles dropped at the first sign of trouble?
TIL that Hal Abelson, nerd-famous for the programming book _Structure_and_Interpretation_of_Computer_Programs_ (SICP), was involved in creating Creative Commons. Amazing achievements!
Doesn’t seem liken this includes images, which for some people could be a significant part of their conversations: photos, memes, reaction gifs, etc
https://www.fbi.gov/investigate/counterintelligence/the-chin...

https://en.wikipedia.org/wiki/National_Intelligence_Law_of_t...
> You don't get to sweep many zero-aspects of life that are zero-sum, by calling it a fallacy, under the rug.

Declaring life as a zero-sum game doesn't make it so.

I didn't just declare life as a positive sum game, I gave some basic counter examples to your claim that life is a zero sum game.

> Many scenarios in life are game-theoretical with tradeoffs, where deviation from the greater sum results in higher rewards for individual actors ...

This is a separate phenomena. It sounds like you're alluding to the Prisoner's Dilemma problem [0]. Notably, many formulations of the Prisoner's Dilemma problem are not zero-sum [1].

I never said game theoretic ideas don't apply nor did I claim that individual rewards could inhibit global reward, I specifically addressed your claim about it being zero sum.

[0] https://en.wikipedia.org/wiki/Prisoner%27s_dilemma

[1] http://pespmc1.vub.ac.be/PRISDIL.html
Interesting that it does not bother you that Israel has been indiscriminately bombing civilians BEFORE October 7th as well as engaging in night raids all over the west bank, resulting in one of the deadliest years for Palestinians in the West Bank - again BEFORE October 7th. But somehow, their lives are worth less than the ones tragically lost on October 7th?

Second, as an occupier, there are no internal border. As the United States and Israel do not recognize a Palestinian state, they did not cross a border, they broke out of their concentration camp.

“In the medicolegal assessment of available photos and videos, no tangible indications of rape could be identified,” the report concluded.

https://thegrayzone.com/2024/03/07/media-concocts-un-hamas-r...
To my knowledge, the court doesn't cost anything unless you're the one bringing the case to them or you choose to consult private counsel which is not mandatory.

I would also argue that calling those legitimate businesses "predators" is a ideological position that is highly subjective.
Show HN: Git.new – a free GitHub link shortener
https://thegrayzone.com/2024/03/07/media-concocts-un-hamas-r...

“In the medicolegal assessment of available photos and videos, no tangible indications of rape could be identified,” the report concluded.
Then again, abstractions can be helpful too, including in game programming. Epic's heavily invested, for example. Or in databases, relational algebra often beats out an array with linear access. I agree that OOP-in-the-small lacks mechanical sympathy though. That's one reason for entity-component-model, though another, I'd argue, is that it provides abstractions that are easier to reason about.
But does it work like that for other professions which also don't require a formal degree/license? Also how it would work world-wide or do you mean a national one and bar expats until they pass it?

For doctors and lawyers one may need to go a long mile to get necessary paperwork done in order to work in another country
When it comes to the internet if something like this is not protected by anything more than a random string in a URL then they aren't really private. Same story with all the internet connected web cams you can find if you go looking. I thought we knew this already. Why doesn't the "Who is responsible" section even mention this?
It seems like it would be more practical to create non-zero integer/other number types, and only those can be used as denominators. But it would also be nice to not have to make a custom subtype every time you needed something with a specific property.
Looking at the flag colours I cannot but think that Sweden is paving the way for Ukraine's membership.
I'm currently going through a hard copy of the book's third edition. But I'm wondering whether the description of the language in the book is detailed enough. Could you share some opinions on whether it will be good to go through some other JavaScript books after it? I'm considering going through "JavaScript: The Definitive Guide"[1] or "The Modern JavaScript Tutorial"[2] after it.

[1] https://www.amazon.com/JavaScript-Definitive-Most-Used-Progr...

[2] https://javascript.info/
We really didn’t even care about space, until we decided spaceflight might lead to easier control of the strings of power through use of icbms or even manned space stations. Then it became an appreciable fraction of our GDP overnight, from no polling of voters only under the pressure of our unelected military authority.
Note that Chinese emigration rate increased again due to COVID, and more Chinese are staying since then. It will be interesting to see if that sticks or not.

A lot of Chinese just hedge their bets with lives and investments in both countries (including anchor babies).
I don't see the connection? It's perfectly possible for X to have been an awful mess internally and Wayland to be buggy and feature incomplete for users; neither of those claims contradicts the other
Wikipedia's blank page

https://en.wikipedia.org/wiki/Special:BlankPage
It would probably take me 20 minutes or so, and would be very maintainable and not make anyone's eyes bleed. I'm not willing to put that 20 mins in to prove my point, but I am certain that the unmaintainable code vomit which they have as an example on their website took much longer than that.
I like that joker quote :) but he said town I think?
Hairdresser
01794 765 678
A significant portion of deaths resulted from drug overdose, and there was also a notable absence of acknowledgment regarding criminal activities perpetrated by migrants/tourists who arrived last year, despite numerous reported cases.
In the case of the code that you have cited, these are all different elaborations of the binding at the invocation of the lambda, due to the interplay between activation records and scope rules.

It's not really an "immutable variable" - it's a local binding getting bound to different values on each scope entry.

EDIT: By the way, the `b` binding in your code can be modified. Did you mean `const b = a;` ?
Many of these problems don't exist in a vacuum though and some of these things are inter-related and fixing them goes hand in hand: plastics are so insanely cheap because they are sort of "waste products" of other petrochemical activities. If we shutdown some gas refineries and allow the cost of gas to go up, the costs of plastics will rise (and the markets will start buying other materials again).

As a culture we collectively don't want gas prices to go up because so many people rely on internal combustion engines for daily transportation. But it should be clear that many of the funds we are using to subsidize cheap oil and gas are the same funds still subsidizing cheap plastics.

(The same extends also to some of the other "toxic" chemicals polluting our environment: there are a bunch of chemicals in our economies that exist primarily to feed gas/oil refining, or as by-products of it such as working with plastics, that we'd collectively love to see a reduction in because of known harm to waterways or to soil.)

A lot of people claim that they want market solutions: one of the easiest market solutions to climate change is to start by forcing gas prices to rise. Remove subsidies. Set limits on new refinery construction. Set refining limits on existing plants. We could do it slowly and in a controlled fashion and give the market time to adjust, rather than waiting for the subsidized low prices to collapse on their own (as they did fifty years back in the 1970s oil crisis) and let the market panic all at once.

(We also don't have to do it in supply-side regulations if you think that's too heavy handed in manipulating the market. The old ideas of trying to bring externalities into the market more directly such as "carbon taxes" or "price ratcheting" [where once prices go above certain increments they are never allowed to drop again below those points] are still options. The point is: raise gas prices slowly somehow now [better yet, yesterday], don't wait for a bubble to burst or a crisis point to snowball.)

The tools to do it today are there if we just had the willpower to try it. Many people are addicted to cheap oil and gas and will kick and scream if we tried it, though.
It can serve canned responses np. If there is a need to freestyle it has to properly explain it is a chat bot and that the response isn't legally binding.

You can pretty much say anything if you put a question mark behind it?
In my definition, someone cannot claim to know QM if they do not know (a) Heisenberg's uncertainty principle, (b) how to compute interference patterns or (c) how to compute the spectrum of hydrogen.

Aaronson claims that QM "can be derived" (quote from the original comment) are followed by an introduction to some aspects of QM that leads to strictly none of these things. That is why I am unhappy with it, and I still do not see why I am "somewhat mistaken" (quote from you).

In fact, I can go even further and say that (from a quick glance at least) in his whole book positions and momenta make no appearance, let alone the correspondence principle. (I do not even see hermitian operators!) Without them I just do not see any reasonable "derivation" of (or, more properly, argumentation for) what I call QM.
They can get them the same way they acquire other things
Stay away from the top-40s.
And text forces you to be linear. It’s no coincidence that everything asynchronous is treated as a minefield of potential race conditions and ephemeral bugs.

“Real code” allows you to hide the mess behind imports (I think everyone had experience of dealing with accidentally circular imports at least once in their career) and abstractions. But once you put your code as a graph on a 2D plane, you realise what kind of horror you are dealing with. And sometimes even this trick doesn’t work: For example, it’s hard to abstract away the states and transitions of a finite state machine; so while they may look fine on a diagram, they often look like a mess of spaghetti as code.
there's not a single city in the US that has a real bicycle network

despite all the improvements even cities like NYC still doesn't have this

imagine a city that's made up of a neighborhoods with high quality roads inside them but unconnected and separated by patches of sand dunes or dirt fields with between them

would you look at that and conclude "nobody drives here, these people must hate cars, we shouldn't invest in roads then, roads and cars are a useless technology, hiking on foot or riding a camel or donkey is superior!"

of course you wouldn't

but that's exactly what it's like being on a bike in ALL cities in the US - islands of a few (mostly unsafe) bikeways here and there, but not a complete, safe network to connect them in a meaningful way, so it's little wonder they're not as used as they could be (although despite that, esp in nyc, bikeways ARE heavily used)

if you wouldn't ride in them, they're not safe

if you wouldn't let your kids or nephew johnny ride in them, they're not safe

meanwhile in the Netherlands, Valencia, Seville, Barcelona, Paris and a bunch of other places in the world, they HAVE started to build meaningful, safe bikeway networks, and what do you know, then, tens of thousands, hundreds of thousands and millions of people (including families and kids) end up using them daily

taking cars off the road and freeing up space for ardent motorists who always complain about traffic

it's a win win but most motorists are too blind to see it
I agree that there are people in the world who regularly trample on common notions of ethics and morals. It is really sad and frustrating that such people exist. I still find empathy to be a better reaction than blame and contempt. It is foundational to the way I choose to live my life. And with this response, I'm pushing my values on you in a way which is probably immoral! The author suggests that this "Brotherhood of Morons" is a recurring theme in their writing. The recurring theme is my writing is a simple mantra which I find brings me peace: we are all just humans doing our best in a difficult world.
Agreed. I think this is where dependent types become useful, but that is a whole can of worms.
Yeah, I don't find I end up with copilot code that survives very long as it came.
Yeah it's a 60Hz country

Hence the 29.97 FPS for TV ...
I would place money on China in 2024 being worse at rule of law, not better, than in 2016. They granted defacto citizenship to that snowboarder, for example, even though there is no way she qualified under the text of its own law (China doesn't allow for dual citizenship...unless convenient). That was 2022.

It has been downhill since Xi took charge, but yet, he was able to use accusations of corruption to purge his competition. The things that have improved are mostly public order (like prostitution being much less visible than it was).
The 8+ runs at slightly faster clocks and has a smaller die. Somehow TSMC's 4 nm is better than Samsung's 4 nm.

But yeah everything I wrote there should be applicable to the Snapdragon 8 Gen 1 as well, just without the 10% GPU clock speed increase that Qualcomm says the 8+ gets.
Jordan Neely
Why Are All Swedish Cottages Painted Red?
I love it. :)))
> The first copy we know to make it out of Berkeley was to Tom Ferrin at UCSF on the 9th of March in 1978. The license was signed on the 13th, the media was an 800 bpi tape, and on the tape was the “Unix Pascal system” and the “Ex text editor.”

UCSF and UCB (as well as all the UC campuses and enterprises) are technically the same legal entity, incorporated by article 9 section 9 of the California constitution. Strange that they signed a license, when I worked for the regents we called them MOUs if it was a "contract" with another part of ourselves.

When I started working for UCSD and found out we were licensing BSDi for some boxes I was sort of confused, like why don't we get that for free?
“Hide Reader”. The article is longer than that.
Majority of Israelis civillians (>50%) killed on October 7th were reservists. Do you classify them as "not really civillians"?
Mac updates take the longest for sure. I feel like they used to be shorter too.
GTK and FLTK are web now?

(Of course, they aren't really Rust, just bindings to C libraries.)

egui goes straight to graphics APIs, but it's not really a desktop UI widgets kind of a thing, more a game-oriented custom UI builder.

Iced has pluggable rendering backends, but I understand it also targets the low-level graphics APIs directly.
To be clear, this doesn’t currently exist, but the premise was that everyone agrees to switch to something else. (Which is an unlikely premise, but maybe if something got momentum…)

Microcontrollers do have their own proprietary serial debug protocols. ARM SWD, for example, has been around for almost 15 years. It’s “proprietary”, but being ARM that means it’s in billions of chips from many manufacturers. It does require a clock line, though.

https://www.ti.com/lit/wp/spmy004/spmy004.pdf

I’m suggesting something much simpler though, just keep the UARTs and stick a Manchester encoder/decoder in between.
https://www.fbi.gov/investigate/counterintelligence/the-chin...

> Talent plans can sometimes foster legitimate sharing and collaboration as part of an appropriate business arrangement or research exchange, but this is not the norm.

> Instead, talent plans usually involve undisclosed and illegal transfers of information, technology, or intellectual property that are one-way and detrimental to U.S. institutions.
> Can anyone give me a downside to shutting down every social media website tomorrow?

Perhaps the biggest violation of the First Amendment in the history of the US?

If that's not "abridging the freedom of speech" I don't know what is...
A lot of software dev hiring is not on demands, to fill a pressing gap, but more like an opportunistic background process. The perfect candidate will be added to the herd, but if that perfect candidate fails to show up, the opening will remain open forever. Not hiring the almost-perfect candidate is a hedge against the scenario of the perfect one entering the market while the company is not advertising an opening.
Hi! I have a short reflection essay, which should be mostly covered by the documentation in the repo. But I could share it if you shoot me an email.
The specific polymers are pretty interesting.

PVC - from plumbing? It's hard to imagine other environmental sources. We're not drinking from PVC cups or eating from PVC plates. I personally would have expected to see particulates from food prep surfaces (teflon pans disintegrating during cooking) since ingestion is a likely path into the body.

Polyethylene - perhaps it's polyethylene terephthalate. Basically any soda or water bottle.
The government basically invented the notion of "retirement" in the first place, too, though. There was no historical precedent for just stopping working before you physically couldn't anymore, in which case you generally died very shortly thereafter.

At the time U.S. social security was invented, the age at which you could draw benefits was higher than the average life expectancy, the thought being, "Well you've put in as much good work time as most people do when they die, so if you live longer than that, we'll take care of you."

This whole notion of a decade or more of "retirement" being totally normal is extremely novel, and I'm not at all sure it's good for people. Is it good not to have to do physically demanding work when you're 70? Sure. But as a culture, we would benefit an awful lot from learning from elders in advisory roles, if we didn't idolize the innovative flash-in-the-pan-probably-won't-work-but-let's-try-it-anyway startup mentality.