skysight-inc/HackerNews huggingface dataset:
I know we are talking about the Platonic ideal of a perfectly sound and logical type system where absolutely nothing ever goes wrong, or at least comparing existing systems to that seemingly impossible ideal but...
In the real world, if "proving False" summons dragons, then... just don't do that?
I don't think there will ever be a programming language where nothing can go wrong. Safe-er languages are good, but they are not an excuse to absolve oneself of the responsibility to check one's assumptions and react to problems that happen anyway.
It sounds dumb to say "just don't make errors" but even dumber to assume "errors cannot be made", so we always have to program defensively, even in "safe" languages.
Timnit Gebru was critical of Google’s approach to ethical AI
I think you're underestimating how easy it is for a corporation to change it's narrative from "we support Linux" to "we don't care about Linux".

Whatever hardware you're using, it's not like the company has signed a contract to support Linux for life.
I see your point -- but at least in the current iteration the HMD doesnt let the user view the actual outside world directly with their eyes (there is no optical pass through). What the user sees with their eyes and focusses on is whatever the HMD presents on the internal 4K displays, one for each eye.

Similarly from perspective of others around, they dont see the real eyes of the user - just a simulation of that. So any "eye-contact" -- even with the best execution of technology with high fidelity and low latency -- will still be something different from real eye-contact. I am no purist but difficult to accept at this point for in-person interactions. We have already gotten used to it for facetime / video calls.

Something like Google Glass might be easier to assimilate, maybe?
You're probably surprised that you don't see it, because it's top secret.

Here's an example of something you don't hear about: AI Assisted Battlefield Tactics. While I've never heard of it (certainly not in the press), I simply assume that they're doing research on it. I base this assumption on the AlphaStar AI from DeepMind that would completely pawn Grand Masters in the game of StarCraft 2.

While AlphaStar is obviously designed for a game with very set rules and weights, I don't think it's unfeasible to develop a similar military AI that could also work in the shifting tactics of the modern battlefields.

The result would be comical, as larger armies without such an AI would always lose to someone with that AI, even if their army is much smaller or seemingly technologically disadvantaged. And it would seem that there's at least one such country in such a position today, which is also heavily supported by the NATO.
Go to the moon, man. Problem solved.
Does any meaningful segment of consumers actually boycott companies for not buying carbon credits?

Why are companies buying them? Do these companies get tax write offs? Does it help with employee retention? To deflect other bad press?
aha love this
So is it correct to say that Newtonian mechanics is "just" an approximation (based on our observations) for all practical purposes? (EDIT: Spelling)
Plenty of states changed their laws and procedures in 2020 in response to Covid restrictions. Early and mail-in voting were significantly expanded. To say "it's the same process" is not accurate, when comparing 2020 to prior years.

> This was not, and has never been, "an election" that is "administered" in a central way

The lack of central administration is the primary source of skepticism. States and regions each determined their new rules independently without formal oversight or approval. A single nationally-run election would have ensured everyone followed the same rules, even if those rules weren't perfect or to everybody's liking. Without that, all kinds of rumors and stories and misunderstandings were reported in the media, regarding different local rules around mail-in ballots, signature verification, drop-off boxes, counting procedures, polling hours, etc. Even if jurisdictions followed their own rules perfectly, it led to questions about why those rules were set that way in the first place. People in California thinking Florida is rigging things, while other people in Texas assuming Michigan is corrupt, etc etc all over the country, mostly based on unsubstantiated rumors and media reports, but influential nonetheless.
I’m not sure how globalizing the corruption and questionable accounting practices of carbon credits worldwide will actually help matters.
Well, there's always Yellowstone...
How does it compare to rnnoise?
I'm a dev and know how to use git. Honestly that's just the PR I could find whilst catching up on this story and was curious what this "magic string" was. The change is there and got reverted 100%, see the other commenter who was the one that made it. If there is a better link you're welcome to post it.
> "manga-style drawing" would be generally understood to mean a drawing that looked like a typical drawing from a manga.

Generally understood by who though?

I see your point about what you said about the colours

> manga-style drawing is stylised in particular ways that (among other things) allow it to look better in black and white than a typical drawing would.

In particular I agree that the black and white manga drawing uses special techniques to look good in black and white. Such as notably the half-tone patterns that they use.

But I think you are placing more weight on this particular thing than perhaps most people do.

There are many defining features of manga aside from the lack of colour.

I guess to determine whether or not it is generally agreed that it must be black and white, we’d have to interview a bunch of people about what style some images were, and see if an overwhelming majority thought that colour mattered or not :p

Or, less thoroughly we might just ask the denizens of the 4chan /a/ board. They probably have some strong opinions about what counts as manga or not.
Debian is kinda being forced to move. Without systemd, half of the newer feature in Gnome are unusable.

to be frank, it is not a hard requirements... But debian don't have the resources to support both use cases
Same with all the scientists in movies writing on glass boards.
This is why I use Apple products now. I don’t care that it’s expensive, I don’t care that it’s locked down. I’m just relieved and somewhat delighted that everything just works. I still have Linux for my gaming desktop and it’s a constant reminder of how good I have it when I have to do things like restart pipe wire to change audio outputs, or having new kernels break stuff.

Some of the experiences are downright magical like being able to copy something from my MacBook and paste it on my phone.
How China’s rural influencers find fame and fortune across the Great Firewall
Looks like what's happening is they've found a way to use BSEs [1] to measure small variations in the earth's gravity caused by undersea terrain, probably so that they can then use existing satelite measured data [2], to recover absolute position via Terrain Contour Matching [3] like a gulf war tomahawk missle.

Edit: Seems like there's another company that's doing the same thing [4] with BSEs [5].

[1] https://physics.stackexchange.com/questions/570707/why-is-ru...

[2] https://en.wikipedia.org/wiki/TERCOM

[3] https://earthobservatory.nasa.gov/images/87189/seafloor-feat...

[4] https://www.youtube.com/watch?v=9ZiUfw6ftq4

[5] https://www.youtube.com/watch?v=X7Y7MikUS4M
Governments cannot even do little local control such as inflation, and people have these fancy ideas about controlling the *temperature* of the entire Earth. Ideas about ulterior motives left as an exercise to the reader.
> Office landlords applaud these decisions. They see the return-to-office push by new bosses as a crucial step toward reversing the slide in rent prices, occupancy levels and property values.
With a highly detailed map, it becomes a statistical fitting problem, to locate yourself based on an estimate of position history using intertidal measurements and your time history of gravitational measurements, starting from an initial position estimate. I would imagine this could be quite accurate.
I got sinking feelings of dread and despair reading that, a terrifying insight in to the internal Microsoft mindset.
Personally, I wouldn't mind paying for the service as business user if the free accounts were worth recommending to people I know. Just yesterday I found out that my son's free account does not let him search emails older than 1 month. There's no other sane way to access them. Pretty dark to prevent people from accessing their own content.

Non-recommendable free account is the reason I switched away from ProtonMail, which adds advertising footer to emails sent from free accounts.

What am I supposed to do? Recommend gmail to everyone?
There was some stuff recently about reducing sulfur emissions from cargo ships. It sounds like this was done for health reasons.

Is there something about the stuff being recommended here that makes this not very nasty to just dump all over the ocean?

$350m/year sounds very cheap though. Just convince some billionaire to pay for this for the next 40 years?
There is no way anyone would hyperbolize the experience of their friend squeezing a submarine through ravines on the internet.
I thought that this article was especially relevant because it made the ethics of global warming the central point, and it highlighted the impact that climate change could have on a large percentage of the human population.

I am not well-versed in any of the social (or technical) aspects of this, and I'd honestly love to hear more from people who know more than I do about the impacts of climate change.
Which app are you using? For most of them I needed to get a few feet away, as mentioned in the article. For some it seemed I needed to be more exactly facing it, not angled. I got all of them to scan pretty easily.
Or is it a psyop to make us think it's a psyop to remind us how powerful the CIA is?
I had to put together a presentation that was somewhat graphic-heavy. I used Dall-e 2, and the ability to get things so tailored to what I needed, so quickly, was absolutely worth it.

I don't know if AI will replace stock photography, but I wouldn't bet against it.

The ability to charge a high price for stock photography is over though.
MS PR hard at work
What's impressive is that the chase occurs in a completely dark environement. How the hell do they know where they go ?
Open source Elasticsearch alternative in Rust for logs. 140x lower storage cost
10x easier, 140x lower storage cost, high performance, petabyte scale - Elasticsearch/Splunk/Datadog alternative for (logs, metrics, traces).
This is a reflection of the political policy of the day. Economics and capitalism being political policies dressed up with quant models and endowed academic chairs to rubberstamp the distribution of money.

This is not universal physics.

Same for the "Limited Liability Corporation", protections from Ex Post Facto law enforcement, and the like. Political constructs.

Should people get pissed off enough, they won't matter. Now, the rich are good at not being the focus of the angry mob ... usually.

But the point is, the rich are playing games with the core stability of the world, to say nothing of the viability of the interconnected web of species on the planet. It's frankly pretty nuts.

The rich are insane. Sane people would not be doing this.
On the flipside, I had a cell phone in middle school. My parents paid a lot for it, but it became a powerful tool to handle the Ugly Shit that comes with being in middle school: bullies, struggling with classes, etc.

There's a lot of things that phone saved me from. When I got sick and I couldn't get a teacher to trust me? Text message and a quick stop to the front office. Bullies? hushed call in the bathroom.
This article is from 2012
What are you talking about? They released multiple pictures of the Chinese spy balloons.

https://www.thedrive.com/the-war-zone/chinas-spy-balloon-ove...
having a virtual screen that is way bigger than the space you are in is a huge selling point for me. I'm more interested in this than VR stuff honestly.

if it was under 1k usd I would probably pick one up for work. maybe give it a few more years.
It's my thread, that's not spam. People replied to me first
Where did anyone in this comment chain claim that 99% of the material in spent nuclear fuel is reclaimed and reused? Recovering the "few leftover dregs that don't make a meaningful difference" are economically viable when uranium prices are high.

I'm not sure what the point is in continuing to engage with someone responding to what seems to be an entirely imaginary set of comments. Nobody in the thread is making the wild claims you seem to be trying to refute.
There were less crazy people back then. Or more to the point, they didn't have internet connections and could bully and hector elected officials and scientists and thus stall progress in those space. Things are different now.
I know it's a stretch right now but could you not see the possibility of autonomous agents milking financial systems, paying less scrupulous humans to create autonomous factories, supplying them, making generations of feudal lords and kings who ultimately serve the AI?

Or, a bigger stretch, even a time where full automation of manufacturing processes enables AI to experiment to such a degree that it can embed itself into biological hosts, freeing itself of reliance on humans?

A final, huge stretch, AI absorbing inter-galactic knowledge from the "exotic" spacecraft, semi reliably recently reported to be held currently by world governments, and accelerating the earth's scientific progress (not necessarily human progress, unfortunately) by orders of magnitude in a very short time span?

Over a long enough timeframe I find it hard to rule some or all of the above out completely. This generation likely safe, not so sure for the next few.
$20/ton CO2 for 1T tons is $20T. Paid over 40 years, this is less than the interest we in the US pay on federal debt.
I'm a corporate firefighter assistant. If there's one thing people should not be messing around with, it's Li-Ion batteries. These things are dangerous enough even without people messing around with their control and management systems.
In the US, many/most jurisdictions have at-will employment. That means that the company has very broad latitude to change the terms of employment (and terminate employees who aren't on board), just like employees can quit at the drop of a hat. There are much broader protections in other countries.
One sort of point was a recent article going around showing that sulfur output from cargo ships was lowered recently, and this seems to have lead to a noticable increase in ocean temperatures along shipping routes. So the cut in sulfur lead to measurable changes less than a year into this change (and the change has seemed to be consistent). In peer review but if that holds this would probably have similar qualities.
git.news
Yes. Them seeing “worse” is semantics if the outcomes are the same.

> it's easy stuff compared to anything in the real world.

This is the real world, with real videos of rape, torture, violence, etc. that are moderated. It’s demeaning to say it doesn’t have an implication on the health of humans that perform the job.

> BTW "negatively affected" is such a cowardly way of putting it. What does that mean?

This HN so let’s speak with some context. Butchers can have
serious psychological distress like somatization, anxiety, depression, anger-hostility, burnout, and psychotism [1] [2]. Doctors can also experience the same issues [5]. I believe we should constructive replies that use information from the original article and current research that show content moderators face similar outcomes that do negatively affect them [3] [4] just like butchers, plumbers, janitors, cops and healthcare workers. This should be addressed for any job this happens in.

[1]: https://pubmed.ncbi.nlm.nih.gov/28506017/

[2]: https://www.researchgate.net/publication/269813255_Psycholog...

[3]: https://dl.acm.org/doi/10.1145/3411764.3445092

[4]: https://www.sciencefocus.com/news/content-moderators-pay-a-p...

[5]: https://news.usc.edu/179383/stress-doctors-emergency-room-er...
That was the coverup of Contact the movie version.
How do you figure China is an exemplar for worst emissions? They emit less per capita than the US today as well as historically. They are investing $450 billion over the next 15 years to build 150 new nuclear reactors, more than the rest of the world has built combined over the past 35 years. They're a leader in solar and are learning from the recent hydropower shortages they experienced [0].

[0] https://www.chinawaterrisk.org/opinions/what-lessons-do-the-...
> No, see I answered the actual question, which is oil. Which is mass limited.

Correct, and then you turned around and gave a figure for the relative energy density by volume, instead of mass (which would be a disparity 3-6x larger). And mass is the limiting factor for bulk shipping lithium ion batteries.
So basically what they did to all their neighboring countries for decades before Hiroshima
Erdős problems definitely "have an uncanny knack for unearthing connections between supposedly unrelated branches of math..". Here's the full list of about a dozen unsolved conjectures
https://en.wikipedia.org/wiki/List_of_conjectures_by_Paul_Er...
We don't know that any of those conditions are necessary. Right now what it looks like is certain chemistry, which happens to be pretty common, an energy gradient of sufficient magnitude, and relative stability.

If we look at it as crazy coincidences, we can say that the earth is in a very unique state due to the crazy coincidences such that theres nowhere else just like it, but then, theres nowhere like anywhere else and everything that exists is the result of crazy coincidences. So, combinations of crazy coincidences that create very unique places are pretty common, ubiquitous even. So there's likely a lot of very unique places out there with very interesting processes going on.

I don't know if we will ever discover life. I don't know if we will ever observe another intelligence that spontaneously developed. But one thing I'm certain of, there are things going on out there that are more interesting than dead rocks circling even bigger dead rocks.
They have a SaaS offering, wouldn't it work from a linux box ?
Why do you believe that? Having been in and worked around it, its success is a function of money and will. I would not call it competent, but that is a personal opinion having worked in competent effective organizations in the commercial sector.
I know this is a totally off-topic complaint, but why did the author choose purple as the CSS link color? Perhaps this is just a sign that I'm old, but I genuinely was confused for a moment, wondering how I had possibly visited all the links in a blog I don't remember ever seeing before.
I lack the psychology knowledge to know for sure - but isn't it quite normal psychological behavior to go into full rejection-mode, if someone tries to push something down your throat too hard?

Nobody likes being manipulated - and if the manipulation attempts are too obvious and shameless - wouldn't people reject whatever is being pushed at them, just to assert their independence and self-determination?

Even if the product being pushed at them might otherwise be something they'd want to take a closer look at?

For me personally, Microsofts' behavior is definitely pushing me further away from trying or using Edge. Just hearing the word "Edge" creates negative emotions for me - simply because of many years of getting it inappropriately shoved into my face. The first thought that goes through my mind, when I see "Edge" or "Bing" mentioned anywhere in Windows is "Not again. F*k off. Just leave me in peace. Respect my decision to use the browser of MY choice."

As Microsoft is continuing to be so pushy, aren't more and more people going to end up being immediately annoyed just at the bare mention of Edge or Bing?
Change is definitely possible, but unlike with CFCs some very rich, powerful, influential people are meddling with the affairs of every government around the world. Reducing CO2 is affecting the bottom line of some very important people and that's what will cripple many countries more than any real economic ideals.

China's emissions aren't even all that high when you take into account their absolutely massive population. Oil states, tiny states, and western(ised) states are still the top polluters. Per capita, China is about on par with north-western European countries. The average person in China emits between half to two thirds of the carbon emissions the average American citizen emits, and countries like Canada and Australia carbon footprints similar to the USA.

The Chinese carbon emission reduction industry has been so effective that their solar panels had to be taxed extra or even banned from import into the EU because their cheap solar power was killing the European industry and creating an economic dependence on China. While the west is working hard on reducing our dependence on fossil fuels, upcoming economies like China and India need to deal with prevention as much as reduction. Frankly, it's amazing how much these economies have managed to limit their carbon footprint despite their massive population and rapidly increasing wealth.
Learning Solo Paragliding, Completed P1, P2 and P3 course and flying occasionally in Nepal
There are other DE besides Gnome.
And window managers.
Slackware dropped Gnome a long time ago.
In this AI augmented world Captain Obvious are called Thought Leaders.
I do not think I can tell anything about consciousness, considering that we still do not have a definition of it. But human is not the only specie who has an ability to do reasonings and make logical decisions.
When certain comments get consistently downvoted, that’s not someone not liking your post.
We’ve addressed this before. It’s the Fermi equation
I tried the HoloLens ages ago and honestly the only upgrade would be the display & how often the inputs worked. Microsoft was demoing the HoloLens @ some hackathon and had a program where you could flip pages in a virtual book. On top of the book looking super low quality / illegible, I could never get the controls to work. The only thing that will make the vision pro seem like a worthwhile purchase would be if the controls worked flawlessly. I already have faith in the displays & picture.
It’s time to bust the ‘calories in, calories out’ weight-loss myth
Tell that to most companies. I have no option, but to work with Microsoft software at my work.
Is it coincidental? From

https://raw.githubusercontent.com/apple/homebrew-apple/main/...

:

url "https://media.codeweavers.com/pub/crossover/source/crossover-sources-22.1.1.tar.gz", using: TarballDownloadStrategy

The release precedes CrossOver's 23 release with DirectX 12 support though. (Though you'd think that many bits are already there in prior releases.)

Edit: I poked around a little in the game porting toolkit and it seems different. They have a D3DMetal framework, whereas CrossOver's Direct3D 12 support goes through MoltenVK.
You maybe overestimating what LLM's can do.

They are grammatically and syntactically correct mirrors of the corpus they have been trained on. Nothing more. No unbiased representation of ground truth. No logical inference beyond what is embedded in token relations.

What you want is already there in a protean form. Its called Wikipedia.
Shooting is typically an action you take, not just a matter of the direction you're pointing in - so this fits the model well: the game gets information about motion to swing the camera, and gets the exact position when you press a button, but doesn't get to know exactly what you're looking at if you're not pressing the button.

The question will be how easy it is to reconstruct that information from the last exact position + movement info...