skysight-inc/HackerNews huggingface dataset:
Anecdotal, but the only person I know who was killed in a car accident was ejected due to not wearing a seat belt.

For a long time, it was my go-to rebuttal for the idiots who claimed that they'd rather be "thrown clear" in an accident: "I knew someone who was thrown clear. Then the car flipped over on top of him."
Yes, but any calculation that you'd use to count whole units things, like reasons, that would result in 2 would yield precisely 2.
The credit card company could access subcategories of your purchase. It would make sense for them to do that to track you
I think you're underestimating how powerful social media and TikTok in particular is
The benefit of Cedar mainly comes down to the language. Cedar was designed to sit in the middle of a runtime call, so it has reliably low latency (see comparison here: https://twitter.com/Sarah_Cecc/status/1766141060370329748) even at high scale. It's way more readable so it's easier to author and debug. And it's validated against formal methods proofs so certain properties of the language (like default deny) are mathematically proven.
More about the benefits of Cedar here: https://cedarland.blog/design/why-cedar/content.html
> What if Google says no?

Same as if Google says no to paying taxes. Law enforcement mediated by the courts.
For me, it's definitely code. But only certain flavors of code.

I would choose to write C even in an oldschool world where it only paid $50k. I even do it at home for fun!

Java[Script] or C# though? Nah; I'm going back to school or something.

What a weird professional dynamic.
You are right but what matters is disclosure.

Here is a car that sells your driving data.
Here is one that won't

If you knew they were selling your data you could objectively demand a discount from one of the 2 .
open-sourcing is on our roadmap (https://roadmap.acreom.com), when it comes to the data ownership & privacy, acreom is built on technical decisions to deliver both in full fashion.

it's local-first, all your data is stored on your device as regular markdown (no custom md flavor) and works fully offline.

the (optional) sync is free and E2E encrypted.
Thank you for defining "broken capitalism".
ChatGPT 4.5 Turbo
If the losers aren't non-US automakers, overseas workers, and corporations who want to pollute the planet who are they?
That's a bad argument because western platforms are free to compete fairly in PRC market, provided they follow PRC laws like EVERY OTHER PRC PLATFORM. Facebook/Twitter only got banned after 2009 minority riots for abetting terrorism and not cracking down on posts calling for mutual retaliatory violence. It's more accurate to say most major western platforms at the time was simply incapable of of moderating PRC content. This was pre western human moderation push, unlike domestic PRC players who already had 10,000s of human moderators because that's what was needed. Western platforms didn't want to spend the money at the time and it wasn't after they scaled their own moderation efforts that FB/Google spung up (now defunct) projects to re-enter PRC market. The fundmental fact is western platforms didn't want to put in the work to comply with PRC laws at the time because it was expensive and looked bad optically (and still does, because are they going to handover dissident info to CCP?), and it would be unfair to allow them to operate in PRC without the same onerous moderation infra as domestic PRC platforms. There's a reason Bing still operates in PRC, see recent Bloomberg piece on Microsoft keeps Bing running in PRC by basically complying to mass censorship like domestic players. Like it's not PRC's problem if internal Google decent killed project dragonfly and whatever Zuckerberg tried to do in the mid 10s.
Things are not simple, and a simplistic take of this matter is very prevalent, sadly. I mean, what are even the real numbers? Did you forget about the Hamas rocket hitting a hospital in Gaza, which they claimed was Israel's bombing that killed 500 civilians? Later they settled on 50, when it was widely accepted that it was their doing.
Fighting Hamas is hard, mostly because it uses civilian population and infrastructure to its benefit, but what are the alternatives? reward Hamas' actions by letting them off the hook? I haven't heard any other suggestion on how do deal with Hamas except for fighting them head on.
Things like "when do people start work in Brisbane" is not universal across all people in Brisbane, knowing "on average when do people start work in Brisbane" is not terribly useful

Today, if you need to contact a business in Brisbane, you start by looking up their hours, then you convert timezones, then you plan your contact

Without timezones, you no longer need the second step.

Similarly if you are planning a meeting with someone in Brisban you can just say "Does tomorrow between 4 and 8 work for you", with no timezones involved

Honestly seems like an obvious advantage to me
Immediately this sounds wrong to me, because even talking of "re-arranging my code" is something that should be avoided.

Let auto-formatters format. This is especially important in team situations where formatting enforced via editorconfig will keep merge conflicts to a minimum. Even working solo having a forced style will keep code consistent and remove distracting unimportant changes from refactors.

Define a style, have tooling enforce it.
You can take a step back to explain this in the "bigger picture" sense.

The US is a for profit country. Virtually everything is done with the intent of making profit, rather than to benefit citizens. This is different than other developed countries, and the reason the US is so rich.

Prisons exist to make money, not to rehab (or punish) inmates.

Higher education exists to make money, not to educate.

"Healthcare" exists to make money, not to heal people.

(The list goes on and on).

Companies spend hundreds of millions of dollars lobbying the government (money is speech, after all) to keep it this way.

So when it comes to filing taxes, the goal is to make money, not to provide a service to citizens that is convenient, easy, free, etc.
Marcel Grossmann and his contribution to the general theory of relativity
One of Grossman's bound, beautifully handwritten notes, many which were once used by Einstein to get through university exams: https://www.e-manuscripta.ch/zut/content/titleinfo/146744
> “Europe is NOW a global standard-setter in AI,” Thierry Breton, the European commissioner for internal market, wrote on X.

Not something to brag about. It is way too early to be regulating this technology. Imagine regulating a glorified markov chain.
Fun new line of business idea: Manufacturers could claim the texas abortion bounties by reporting any motorist who travels to an out of state clinic.

The problem with allowing this kind of data usage is you will also have other moral authoritarians that wish to use the data as well.
I'm proponent of year round winter time. And allowing changing of schedules when possible. If people want to work earlier let them or have them negotiate for that. On most areas I don't see reason why it could not be done.
For application authorization, Oso is a compelling solution. (Disclaimer: I work for Oso). It provides a DSL and a prescriptive, but flexible data model that are capable of modeling RBAC, ReBAC, ABAC, or whatever else you'd like to model. Obviously I'm biased, but I think it strikes a great balance between opinion and flexibility.

One significant complication that all centralized authorization solutions share is that you end up needing to reproduce application data in the authorization system. We've been doing a lot of work in this area to simplify data management and have some beta functionality available. I'll include some links to the docs for those.

Sync and reconcile data: https://www.osohq.com/docs/guides/data/sync-data#initial-syn...
Filter lists with decentralized data (about halfway down): https://www.osohq.com/docs/guides/enforce/filter-lists
Go far enough from equator and that will happen anyway, or for some of us sunset at parts of the summer and sunrise parts of the winter are both NaN. But the change between standard and DST makes a big difference for some weeks during spring and fall
The speech to servo movement is impressive as others pointed out. What strikes me as amazing is the speed with which it is performing tasks that require dexterity. This is the first object manipulation robot demo I have seen that didn't require speeding up the video for it to look "natural".
> If people want to download a Chinese app and watch straight up Chinese news and propaganda ... That's the entire idea of the First Amendment...

> Congress shall make no law respecting an establishment of religion, or prohibiting the free exercise thereof; or abridging the freedom of speech, or of the press; or the right of the people peaceably to assemble, and to petition the Government for a redress of grievances.

Arguably it's not even one part of the 1st.
Totally agree. I keep TextEdit open on the side just so I can paste in there first then re-copy before pasting in the final destination.
License changed? I remember when it was on here before and the license was an immediate nope for such a vital thing.
> it is really hard to beat the VS Code extensions for handling markdown.

YMMV, I always been pretty disappointed with VS Code's handling of markdown coming from Atom.
TikTok has been the only popular social media network in the US not censoring Israeli crimes on Palestinians.

https://www.theguardian.com/technology/2023/dec/21/meta-face...

https://www.aljazeera.com/features/2023/2/28/twitter-under-f...

https://www.vox.com/culture/23997305/tiktok-palestine-israel...

There is a reason this is one of the things that's passing with bipartisan support. Both parties are excusing, and are on the side of Israel and they know that public opinion turning against Israel will cause them future problems.

Reality is, the sudden push for a TikTok ban after it was stalled for more than a year is Palestine: https://www.nbcnews.com/tech/social-media/tiktok-ban-israel-...
People act like this is the end of the world for regulation but it isn't. Nor is getting rid of chevron deference a bad thing. SCOTUS' intent here is pretty clear. If congress wants to delegate a power to the executive then they must explicitly do so. And courts shouldn't take regulators at their word in cases anymore but actually test to see if what they claim makes sense or is in good faith, you know, like everyone else must do in court.

The actual issue relevant to this article is that America lacks any real overarching privacy law. We need one badly. Congress is unlikely to come up with one on its own. So people need to get active and lobby for one. We've made good progress with right to repair in the last few years so that shows doomerism is just that. Get off your ass and spread the word. Normies have been deaf to us saying this is problem for years. Maybe when you tell them that their insurance will go up every time they have spirited drive they will actually pay attention.
Upvoted. Not sure why this got downvotes. It's very cool that you were at TI7 as I only watched this on youtube. I also thought this was an important moment.
When will AI replace QA workers?
Deep Dive into Astro DB
Just did this:

https://pastebin.com/YfyB0K0Z

In less time that it would take me to figure out how dictionary comprehension work in python. But hey, I guess you already know about these use cases.
I hope devs are able to use this to give more life to NPCs. So many times we've been promised NPCs in RPGs that have their own lives, do their own things independent of the player, etc. and it's never really materialized into anything notable. With AI though, I feel like we may be getting close.
We have active communication with many people at Google about the areas we're heavily working on such as this and are not basing this on assumptions. You're talking about what you think happened based on your assumptions about it from lightly reading about it.

Most of the crashes were fixed via HWAsan before MTE existed in hardware. Their security people want MTE enabled in production. These issues were fixed before MTE and would have been fixed whether or not MTE was available in the standard ARMv9 cores/cache used by Pixels. MTE would likely already be enabled in production for the base OS (not user installed apps) if there weren't performance concerns. They clearly integrated it with that intention. We're more than capable of reading the commit messages and talking to engineers who worked on it along with other contacts there. They aren't keeping it a secret that there's a clear goal to enable MTE in production.

ARM provided MTE in their standard ARMv9 Cortex core designs. That's why MTE is available on the Pixel 8 and Pixel 8 Pro, because Tensor currently uses the standard core/cache designs. That's why MTE is not available for Snapdragon, and it's why it is theoretically available for MediaTek and Exynos.

The current availability of a high performance MTE implementation doesn't mean Google is highly committed to it. Pixels will be moving from standard Cortex core designs to their own core designs. There's an open question about whether MTE will be supported in the same way it is now. You're assuming that they're heavily committed to it and going to keep providing an extremely low overhead implementation. We have concrete reasons to be concerned.
This isn't a secret. Go read one of the world's largest data broker's annual report to investors, ctrl-f for "insurance": https://www.experianplc.com/content/dam/marketing/global/plc...
>Hey remember when Apple, Google & Amazon all colluded to ban Parler off the face of the planet within days, a purely political move,

I actually don't remember that. I do remember lots of terroristic and genocidal posts on Parler though.
Good catch! I just fixed csv-to-usv so it prints newlines now. You're right, Parquet and Avro are both great, for use with schemas.
Agreed it's crazy, but it's a good political move. Everyone agrees we should ban it, but no one wants the blame because you'll have a huge amount of teenagers and young adults who will blindly hate you for it. So if you're the one who isn't in charge of the hard-but-good decision (or in Trump's case, if you don't particularly give much of a shit about it anyway) it's easy to just pick the most politically advantageous side.
Well, at least it's under a minute. Could have been 25.
> every American has access to even government propaganda of foreign adversaries. It's part of the 1st Amendment. Denying access to this information feels really weird

As it should. Fortunately, this bill doesn’t do that. If ByteDance won’t sell, TikTok gets removed from app stores. TikTok.com will remain free to access.

The bill curtails distribution and amplification, not speech.
It's not even leftist, let alone extreme.

It's our industy that's so zionist centric, that even a neutral and humane point of view seems leftist.
"Besides why should less risky drivers subsidize riskier drivers?"

They essentially do. If the safe drivers are never at fault, those premiums went somewhere. If the risky, repeat accident drivers aren't paying thr full price replacement vehicles, that money came from somewhere.
When I download the version for M1 Macintosh, it tells me the application is damaged. FYI.
Really? Have you used it much? I haven't used it a ton but it definitely says "uh" and has various other artifacts. Maybe they have improved it recently but it was quite obvious when I first got access. Or maybe some of the voices are more prone to it than others.

The naturalness of the speech is extremely good, though.
> it's not about copying anything China does, it's about reciprocating restrictions

Your justification is literally "They're doing it to us, so we should do it to them".

Apply that logic to everything China does. Do you want to behave like them?

Wait a few years and it will be about reciprocating other things China does.
> if you model a geometric, g : Real -> Real with computable, c : Int -> Int then there are gaps at arbitrarily high precisions, say p (eg., p = delta(g, c) at (x, t))

Nobody takes "computable approximation to g: R -> R" to mean "a computable function c: R* -> R" where R is the computable reals. There are many mathematical issues with this caused by self-referential programs (realised by Turing himself in "On Computable Numbers"). Typically you would model it as "c: R* x Q -> R*" where Q is a rational describing your desired precision, right?

> Since 10^BIG are required, "delta(g, c) < BIG" is required in order for the system to remain deterministic (ie., described by g).

I'm not sure what you mean by this - the computable approximation "c" is deterministic essentially by definition. If you mean "in order to remain within some bound of g" I can kinda see what you're saying but in that case you can interleave computations with smaller and smaller precisions (the "Q" I mentioned) in order to work around that issue, right? It won't be efficient, but it will certainly be computable.

> Refences: Look for physical church-turing, church-turing thesis, non-det and det in chaos theory, non-det in classical mechanics, physical interpretations of the reals -- this will be in postgrad work, it wont be in popsci books.

Thanks! I don't know much chaos theory, I'll have a look around for a good textbook.

Edit: I just want to say - you have a pretty wild way of writing that makes it hard for me to tell if you're a crank or not. Either way, reading your posts here has given me a ton of food for thought =) what's your background?
I think my reason for commenting was because the way you comment makes it seem like the product is out to try / "check out my product!" but the product doesn't even exist.

It feels dishonest? Like a bait and switch.

That being said, good luck.
Bitcoin Bulls Cite a Simple Reason for Its Rally: Not Enough Coins
most of the acreom users who switched from obsidian switched over because of the UI, out of the box tasks implementation, integrations (Jira, Github etc.) and many other features which require plugins are do not provide the best experience.

acreom is designed specifically for devs and makes it easy to bring all relevant context in one place, create and track progress on your projects and capture stuff quickly.
For the most part, yes? Sure, the very first time I talk to someone in a new time zone I have to look it up, but IME with working with globally distributed teams you get used real fast to thinking "China is at -9 (+ 1 day)" or "Amsterdam is at +8".
The problem isn't proving your identity to IRS.gov. The problem is allowing a third party to store and sell your personal information. If IRS.gov is going to use a third-party verification service their agreement should require that the collected information is used solely for providing the identification service and deleted after an appropriate timeframe.
Very hard to break into the boeing/airbus duopoly. All the supporting infrastructure: maintenance engineers, parts, pilot training, etc... is all heavily invested in those two. An airline would have to make a substantial investment to transition off, and their margins are already pretty thin. Not to mention most of them have large backlogs of orders for planes that haven't even been built yet. As a manufacturer would need to heavily subsidize the transition in order to make it work. Would take a tremendous amount of capital and many years to pull it off. The juice is not worth the squeeze.
What a legend. You poor man. Thank you for showing us what's possible. Thank you for never giving up on life. He always had a smile.
Does Tik Tok actually need to be an app? On the consumption side I'd expect it could be done entirely web based.

I understand it has some content creation support, like recording short videos from the app, but I think there are stand-alone apps for making and editing short videos, and a Tik Tok web based app could probably be made to import from some of those.
Cute zeroth order approximation, but you can also shift consumption forward if you think a nuclear war is near, or devote more resources to preventing it if you think the probability is higher.
This is a more formal version of a comment I made here a year or so ago. I wanted to write it up and put it out there because I still get comments on this over a decade later. Lots of people assume that it shows how silly Twitter was but honestly it was a product of the restrictions we had on our environment, and the time we had to solve things quickly vs the right way.

I do love telling the story though. It is very much "startup engineering" at its finest. =)
In 2024 do you really call people unannounced without sending a text first anymore?

I think it's becoming more and more expected to send a "hey is this a good time for a phone call" before calling.
They did not actually have time because they mostly died in infancy.

That said if you are satisfied with a pre industrial quality
of life no one is stopping you from doing zero hours of work and just becoming homeless.
Single-player AIs are fine-tuned by the developers for fun instead of frustration. I think the GP is talking about undetectable online cheating.
COMAC is already eyeing 10% of Boeing/Airbus' lunch and they've been working on it for years with state-level "help" that resulted in espionage arrests/convictions. Airplanes are extremely complicated.
I wonder how many "minimalists" will go to a church of stuff.

This is something I regularly confuse myself on. As I start to appreciate high quality things too much, a materialistic spiral begins. AT some point you're watching a 35 minute video on someone's top 10 favorite EDC items.

Is there a good way to appreciate stuff without making my life about stuff?
All the Hams scramble to grab a spare dummy load.
How does this pass muster with the Constitution's forbidding of bills of attainder?
This is a death knell for MMORPGs where botting is already a massive problem which distorts the player economies and degrades everyone's playing experience.

The cat-and-mouse game of stopping these goldfarmers just became exponentially harder.
Yes, I know grocery chains which harassed their cashiers to stand because of customer complaints even when they had a doctors note and were suffering from real physical ailments that made it painful to stand, and standing delayed their recoveries.

Unethical is an apt word. If I see cashiers seated that’s a place I want to shop. It signals that they care about their workers.
They (management) does this deliberately, there are youtube videos on it
Not Europe, but around 2015, Russia passed a law requiring foreign companies to store data on servers in the country. Then banned LinkedIn in 2016 [0], and tried to get Twitter and Facebook to comply in 2017-2019 [1]. All of which were met with ridicule from many people in the US (IIRC from article comments and reddit).

IMO, somewhat similar situations - popular social media, known for data gathering, based in another country that is viewed as a geopolitical and/or ideological opponent and is often villified.

0: https://money.cnn.com/2016/11/17/technology/russia-linkedin-...

1: https://arstechnica.com/tech-policy/2019/01/russia-tries-to-...
Perception is a strange thing too, and I think greatly distorts when people do make comparisons. On a forum about my local area it became a common thing for folks to go down to the expensive grocery store and post pics of the most expensive thing (usually pre-preapred meals) and rant about how expensive it is at the expensive store.

I was curious so one day I was at the more expensive store (I like it, they have good stuff) and I took some photos. I then went to Aldi and took some photos.

Without commentary I posted the photos from the expensive store, but only of items that were actually less or equally expensive than Aldi on that day. People ranted about the prices being high at the expensive store and shared that "That's why I shop at Aldi."

People are weird.
Yes.

Most people are physically harmed by standing on hard floors for 8 hours a day. There is no conscionable reason for doing this to your workers.