skysight-inc/HackerNews huggingface dataset:
I think you'd want it to be a theorem (in Lean, Coq, Isabelle/HOL or whatever) instead of a constraint problem. So it would be more limited by developer effort than by computational power.

Theoretically you can do this from software down to (idealized) gates, but in practice the effort is so great that it's only been done in extremely limited systems.
Both those and something else jumped out at me, for different reasons. I remember this story from newsprint days:

https://fair.org/home/al-neuharths-front-page-sexism/
Why can't we restrict TikTok to the same content only in the west? It's just a matter of regulation, we know it's possible because it's how it's done in China. Now think about it, is it really China here to blame for our regulations?
in general growth is a coordinated process and pulling on one single lever hard is not going to be good. But there are times when encouraging growth is desirable, like using plant growth hormone (synthetic auxin) to encourage a cutting to produce roots or a plant to grow a new branch in one location.
On the off chance this is misinterpreted by non-US people.

truck here means semi-truck (18 wheeler). aka, these things: https://www.macktrucks.com/trucks/

these limitations are common in the US insofar as many places, particularly more rural areas, it's not safe for these types of vehicles to be going faster. These vehicles require a separate license to operate and have completely different concerns, such as riding their brakes on a downslope causing the brakes to get so hot they stop working and you get runaway semi's that cannot slow down and become dangerous.

That these types of vehicles have specific laws applied to them does not naturally stretch to applying them to 2-axle vehicles since these same dangers flat don't apply to them.

Semi's are required to have properly functioning mud flaps, this in no way implies a corolla should ever be required to have mud flaps installed.

Anyone curious about the brake thing: https://www.thetruckersreport.com/truckingindustryforum/thre...
This could be pretty basic browser extension. A little banner at the top or bottom: “websites like this one”
All that stuff should be done via smartphones and the screen in the car should be a dumb display for it.
The nothing website claims:

> Nothing Chats is built on Sunbird's platform and all Chats messages are end-to-end encrypted, meaning neither we nor Sunbird can access the messages you're sending and receiving.

> Nothing is powered by Sunbird, and Sunbird's architecture provides a system to deliver a message from one user to another without ever storing it at any point in its journey. Messages are not stored on Sunbird's servers and are only live on your device – once a message is delivered, it can only be recovered locally from your personal device.

From: https://us.nothing.tech/pages/nothing-chats

The Verge claims:

> Marques Brownlee has also had a preview of Nothing Chats. He confirmed with Nothing that, similar to how other iMessage-to-Android bridge services have worked before, “...it’s literally signing in on some Mac Mini in a server farm somewhere, and that Mac Mini will then do all of the routing for you to make this happen.”

From: https://www.theverge.com/2023/11/14/23960516/nothing-chats-i...

It seems to me like if they are doing the typical thing of using a bridge like https://github.com/mautrix/imessage then that isn't really E2EE, the messages are being stored, and could be accessed by Sunbird. I don't really see how their claims could be true. Does anyone know? Am I missing something?
Effect of microgravity on mammalian embryo development [pdf]
We have so much to do before "ultra-white" really matters;

Most buildings aren't white, or even close to white;

Streets -- and parking lots in many areas take up much more surface area, and they're mostly painted black, and they create heat islands. Phoenix changed the color slightly and saw great results https://www.fox10phoenix.com/news/is-phoenixs-cool-pavement-...
I know this is really tangential, but one of my favorite lines from cartoons as a kid was from an episode of Pinky and the Brain and it included this kind of wordplay.

Their plan included forming a grunge band, which they called "Frog the Dry Widget" (a play on Toad the Wet Sproket).
1699999000
One bummer is that modern building codes ask for better insulating roofs. Think 15 cm mineral wool. Because of this it does not so much matter anymore how hot the roof becomes at the exterior.

I doubt if you earn back the investment.
This would reduce the gas mileage negating whatever tax savings there were as well as increase maintenance. This would also damage the roads less.
OMG, why are we talking about ancient uncool technology?

Jokes aside, there are so many cool standards for doing stuff it's a shame we seem to reinvent the wheel over and over again.
one significant difference is, tiktok forces you directly into the spotlight/reels/tiktoks section immediately upon opening the app. With youtube, you must elect to choose a short even tho they appear on homescreen, with ig reels your sorta coerced into it because most videos are reels and once you hit one, youre in. For snapchat you must elect to open to spotlight page. I think all pf these are less predatory than tiktoks approach, snapchat being the least predatory right now
And please, please, finish developing the embedded software running on car before shipping said car.

Sorry, but things no longer work that way, and never will again. This is a good thing, as long as processes are improved to avoid situations like this one.
And .... ??

Not only that, it's almost 9AM.

Sorry, but I can't see what the big deal is supposed to be. Maybe I'm missing something.
I'll be impressed when it can predict rainfall better than GFS / HRRR / EURO etc
That makes more sense when you are housing people than servers, no?
Wait, I've seen this quality buyer beware scaremongering play out before:

- German cars in 1950's

- Japanese cars in the 1970's

- Korean cars in the 1990's

- Romanian cars in the 2000's

- Chinese cars in the 2020's <--- we are here

Seems like all those low-quality bogymen from the past improved over time and are now selling well in the western markets where they were once ridiculed for being knock-offs of low quality. What makes you think Chinese makers won't do the same?

Especially in the current market where the average European is poorer than before and has less disposable income for flashy purchases from top brands.

Most average cars today are just mass market commodities, like your fridge, laptop and microwave oven, there's no tech moat the western brands have other than marketing, perception and brand loyalty, all of which change over time.
The top comment there is actually by NightHawkInLight, so they seem to be having a friendly competition/mutual inspiration in pushing this DIY technology forward :)

EDIT: curious to see if Tech Ingredients' barium sulfate or NightHawkInLight's calcium carbonate will work out better in the long run. The latter looks a lot easier to manufacture though.
Let's face it, the Zelenskyy deepfake at the time was hilarious https://i.imgur.com/XSRIBz2.jpg
I was pretty hopeful when Musk started talking about car tunnels.
That’s awesome! I’ve hooked something similar up to my service - https://dropory.com which predicts which day it will rain the least for any location

Based on historical data!
> But financial capital, political capital, and public attention are fungible and directly trade off.

I'm not sure that's true in any simple way.

As far as the government goes, it has a role, but this isn't the 60s. SpaceX has shown that a company can launch rockets. As long as there are people willing to work on the necessary problems and people willing to take the necessary risks, I see no reason (that isn't degenerate) why anyone would want to obstruct those efforts. It's not like making SpaceX illegal is going to somehow fix climate change or cure malaria.
The huge Ford Excursion had an initial design flaw where it would do cool stuff like monster truck over smaller cars in a head on collision

>During the development of the chassis, Ford learned that its initial design caused smaller vehicles (such as a Ford Taurus) to become severely overridden in a head-on collision. In the test, the tire of the Excursion drove up to the windshield of the Taurus (reducing the chance of survival for its driver). As a response, Ford modified the chassis to include an under-bumper "blocker beam"; the device was initially tested by the French transportation ministry in 1971. For the rear of the chassis, Ford chose to include a trailer hitch as standard equipment in production to reduce underriding in rear-end collisions by smaller vehicles.

We've known huge vehicles are less safe for people other than the driver/passengers for at least 20 years. There's similar pushback on automatic driving cars...nobody wants to drive a car they know might make a choice to kill them to save others, and most people want their car to protect them at the expense of others.
LiveBarn offers this (as a pay per use service, $15/game) for youth ice hockey. I haven't used it, but it at least looks interesting https://www.livebarn.com/en/playeranalysislearnmore
> metabolition
> Our lawsuit targets bad actors who set up dozens of Google accounts and used them to submit thousands of bogus copyright claims against their competitors. These fraudulent claims resulted in removal of over 100,000 businesses’ websites, costing them millions of dollars and thousands of hours in lost employee time.

So Google needs to remove the sites first, likely to be legally compliant themselves, hurt the businesses in question, then sue to be able to re-instate the websites that they knew shouldn't have been taken down in the first place?
Even so, there are still ways that it can make streets more hazardous for others. For example it's pretty hard to see around big vehicles, sadly.
This is awesome. Would love access for my daughter's soccer team.
Funny, I did a similar exercise in 2019, https://earth.hoyd.net/visualizing-100k-decimals-of-pi-and-t... loved how it turned out. Even planned to make it into an art piece on the wall.
I was thinking the same. What does "use AI" even mean? For example if you ask Bard for video theme ideas, did you "use AI?"

And as time goes on this line is going to get even more murky with AI creeping into software like Microsoft Word, video editing suites, Photoshop, et al.

Based on the description it sounds like this has nothing to do with "AI" and is more flag videos that artificially create events that may not have occurred or as some would call it "fake."
Towards a Logical Definition of Emergence [video]
Kinda too late by then. They've found cardiovascular disease in 20 y/os who die of other causes, e.g. car accidents. It's a lifelong process, so early prevention is key.
Honestly, I don't think web platforms care about the artistic integrity or anything like that. It's more that they don't want to have to be the storage destination for anyone that can figure out how to hook up a video generator to a while(). This segment of the userbase has the ability to grow to be 99% of your resource usage overnight, and with video being the most expensive form of media, it just isn't practical to welcome them with open arms.

See also: why no consumer backup platform offers unlimited quantities anymore. It only takes like a couple hundred hoarders to bleed you dry, and those guys don't even stand to profit from the activity like the get-rich-quick youtube and kindle schemes are promising.
Why does it have to be only one nation state? Couldn't it be multiple pooling resources?
"Prefixes" in this case mostly expand the instruction encoding space.

So rarely-used addressing modes get a "segment prefix" that causes them to use a segment other than DS. Or x86_64 added a "REX" prefix that added more bits to the register fields allowing for 16 GPRs. Likewise the "LOCK" prefix (though poorly specified originally) causes (some!) memory operations to be atomic with respect to the rest of the system (c.f. "LOCK CMPXCHG" to effect a compare-and-set).

All these things are operations other CPU architectures represent too, though they tend to pack them into the existing instruction space, requiring more bits to represent every instruction.

Notably the "REP" prefix in question turns out to be the one exception. This is a microcoded repeat prefix left over from the ancient days. But it represents operations (c.f. memset/memmove) that are performance-sensitive even today, so it's worthwhile for CPU vendors to continue to optimize them. Which is how the bug in question seems to have happened.
If you could pick a curated video catalog, where a human editorial team accepted or declined new video submissions at upload time, and a human team decided what videos ought to be featured / amplified more broadly to various user clusters, would you prefer that to an open system where anyone could upload and ML decided that some users enjoy seeing reptilian conspiracies but a particular group of moderators/curators weren't the arbitrators of truth and taste and moral purity?

(not a loaded question, and it is possible different companies could emerge that would compete on the basis of their taste/curation/moderation policies. also equally possible it would be too costly/ unprofitable for the market to bear many smaller competing entities).

I think perhaps there's a third option but we just haven't really defined and figured it out yet. Some mixture of crowdsourced taste/moderation plus top down taste/moderation plus unfiltered UGC. Twitter's new user-generated Community Notes might be a good example of a step in a new direction. Social media is still relatively new.
Cows: Science Shows They're Bright and Emotional Individuals
Rising to Top Net Worth, by Age
People have been asking where the line is.

- I think a video with a synthetic actor (even when it's cloning a human) is synthetic and should be labeled as such, whatever the provenance of the script

- I think a video with a human actor, but an AI-written script could also be labeled. The line is blurrier there for me, since some folks have very elaborate prompts which basically amount to "here's my first draft, make it better". But having a straight-up rule is still good. False positives are better than false negatives here.

- And then there's the issue of AI-generated translations (which is what we do at my startup[1] ). I do believe it's fair for viewers to have those tagged as well. And to be able to track provenance to avoid deepfakes.

[1] https://www.onetake.ai
https://en.wikipedia.org/wiki/Zwarte_Piet
Mono wasn't abandoned so much as "code merged" (a beauty from that both are now open source). Mono merged into the main .NET repo and the best parts of it became "a single runtime". There are still useful parts of Mono left that aren't exactly inside the "a single runtime" yet, but the amount of "Mono code" shrinks with each version and the more it is all "just" .NET.
The lawsuit with Viacom in the mid 2000s that could have basically killed the entire platform over copyright complaints with big studios. ContentID was a direct result of that lawsuit with the explicit goal of making sure google would never be held responsible for copyright violations.

The vast majority of "Copyright claims" on youtube are not DMCA takedowns.

Google doesn't require proof or ask for evidence or anything because they don't give a fuck about the rights of a creator. The entire goal of youtube's copyright programs are about the continuation of youtube as a profitable entity. They do that by purposely making it easy for big rightsholders to get what they want, and in the process have made it easy for strangers to bogus claim things and possibly get advertising revenue for a bit unless the creator has enough clout and access to youtube support reps to get it fixed.
> However, then he said, "We overemphasise the parts of the system we've personally worked on, particularly those we've most recently worked on. We downplay other parts of the system, including the impact of dependencies (e.g. libraries)."

> Oh. Um, well, this is also not my experience.

> I work on software alone, and I do not have any dependencies.

If you work in a company of 100+ engineers with multiple specialties it's impossible to keep up with everything. At <50 engineers if you collaborate and/or switch teams it's possible to know almost everything, but that's the most I think the majority of us have the internal storage/RAM for.
Most materials, aside from metals, of sufficient thickness have high high infrared emissivity. All white paints, for example, already did radiate heat upwards through the atmospheric window. These more reflective films are no more emissive than previous paints (they're all quite emissive to begin with!)

The only difference, optically speaking, really is that they are better solar reflectors.
Speaker Chip Uses Ultrasound to Crack Volume Limits
OpenAI Microscope: Neural Net Visualization
Phones sales are dropping world wide. It's an oversaturated market. It's like introducing new toothpaste when the toothpaste aisle is already overflowing.
Joining the Commonwealth
> but I think people forget that SUVs and trucks started their expansion in the mid/late 90s, before the modern CAFE regulations.

CAFE was adopted in 1975 and effective from 1978. Are you confusing "modern CAFE regulations" with the late 2000s narrowing of the "car" and "light truck" CAFE regulations (which, yes, did push automakers to try to push more vehicles that fell out of the "light truck" category, just as the earlier standards pushed from cars to light trucks), which has effectively shifted back the old gap after the actual (and more complex) modern (2011+) regulations came into play.
Related to this, I built a service that shows what day it has rained the least on in the last 10 years - for any location and month! Perfect to find your perfect wedding date. Feel free to check out :)

https://dropory.com
The part that annoys me is the obsession with sobriety as the only acceptable means to avoid further prosecution. Its like, thats not how any of this works. Your neurons and brain chemistry doesn't give a shit about deferred prosecutions or expungement etc when its not able to brain.
Nearest location is 3,443 miles away. Tis but a stroll.
I'm not going to criticize them but being able to type with my keyboard is pretty high in my list of requirements for a text editor :D
Unbelievably tragic story. Thank you for sharing. I did not know about it.
Great, thanks!

To have access just fill out this form:
* https://forms.gle/U8UeeTwrWiMjiUzZA

I'll send you some requirements for the video. I'm providing soccer video analysis at no cost in exchange for feedback.
Pedant's note: GP's comment was how Guillermo del Toro compared Miyazaki to Mozart. Grave of the Fireflies was written and directed by Isao Takahata, not Hayao Miyazaki.
Ara2: RVV 1.0 Compliant Open-Source Processor
https://www.youtube.com/watch?v=Szdziw4tI9o Theme music. :)
Amazon asked me to and I actually did it for all the Brazil third party imports...

granted it wasn't the most thorough of reviews, as is the nature with huge PRs
Yes, I said as much in my comment.
I've heard about Sublime Text but never considered getting it.

The first code editor I ever got any real use out of was vscode. Which until recently was perfect (some feature regressions and issues with crashing.) At this point the last thing I want to do is depend on a proprietary editor.
I don't know anyone who did, maybe that's why nobody commented here?

As a ~15-year-old, I taught a sibling how to do some things in game maker, but can't say that either of us could really code at the end. Gave some tips to another sibling later but they were mostly doing their own thing, wasn't really involved there. Wouldn't really call either thing "teaching to code" let alone using a certain "method"
> What’s amazing about the Romans is that theirs was and how many primary sources still exists.

Because they had writing and used it.
I suppose it would break any currently compliant C++ compiler for which the target platform's CPU will throw an exception (or even less likely, return a random number) when shifting by a full word.

But I'd also suppose there aren't many such CPUs. Does anyone know of any?
Integrated global assessment of the natural forest carbon potential
Reading between the lines of their public comments it sounds like they did run a full test through their test fleet, their employees, and then were rolling out to customers when the promotion process was "fat fingered". Maybe someone accidentally promoted the wrong release version.
You mean a "non-drivers driver licence"?
I wanted to argue this, then thought it through.

https://media.tenor.com/GXgi36aVH3gAAAAM/confused-meme-confu...
It was an A3000 and some sort of early 90's 9600 baud modem. The 2400 -> 9600 upgrade felt huge!
Yeah, I worked for 12 years on the chef-client so I'm well aware of that.
> Canada rescinded those taxes and the black market (and its associated crime) evaporated.

This is completely incorrect.

The taxes remain and have in fact been increased, and the black market has remained, but mostly shrunk as the pool of smokers has decreased due to the increase in taxes and other national campaigns to reduce the amount of smokers.
I really dislike when people say SBoM could help with the Solarwinds scenario, because it would not.

Once the CI/CD environment is compromised, how would the SBoM be trustworthy anyway?
I purchased the Opal C1 and have had nothing but issues. Additionally, my experience with the company has been shady and disingenuous.

My C1 has been far too hot ever since the day I got it. The heat causes it to shut down and disconnect after using for more than 5 minutes. The only way I can actually use it is in low power mode, which removes all of the cool features and makes the video look worse. I have tried all of their software updates for the past year and nothing changed. I reached out to them multiple times over email for support and none of their suggestions helped much. Additionally, they advertised that PC support would come soon. It never came, and when I asked for a refund because they cancelled PC support I was ghosted.

They texted me ads multiple times today.
How did you pay for it?
Rivian does have a test fleet, and they test it for weeks before releasing.
This particular issue is because they apparently distributed the firmware signed with the wrong cert.

Not a bug in the software itself.

That is independent of testing the software, but still a distribution issue.
That's an interesting mechanism. If you know if there are any numbers on how often that happens?
I hate the clickbait title combined with the obvious result....

I have read papers like this which were good, and mostly consisted of fine-tuning, combined with a few tricks to achieve high performance in large but specific domains.

This was a waste of my life. I want the minutes of reading this and of writing this comment back.
I knew it would kill hundreds or thousands of people when I voted for it. I also intensely dislike recreational drug use.

But people should be in charge of their own behavior, even if self-destructive.
Amazon Bedrock now provides access to Meta's Llama 2 Chat 13B model
If I thought it was worthwhile, maybe that would patch that specific hole.

The other problem I get when trying to make it write code is that it gets kinda slippery with iterated refinements. In the back and forth dialog, addressing issues 1 through n in sequence, it gets to a place where issue k < n is fixed but issue i < k gets broken again. Trying to get it to produce the right code becomes a programming exercise of its own, and it's more frustrating than actually typing stuff up myself.

I mean, I still use it to get a basic shape especially when I'm working with a command line tool I'm not an expert in, it's still useful. It's just not great code.
Good news: The tools are secure.

Bad news: You are condemned to die alone in space.