skysight-inc/HackerNews huggingface dataset:
It’s not an impossible thing though; for example there are truly driverless robotaxis running in SF right now. (The Waymo ones)
I personally dislike Josh (moreso the ugly parts of the farms, actually), but strongly agree with him on this particular issue. The open Internet is extremely important to civil liberties.
Interesting, I know this is possible on a few other blockchains as well. I was asked to write code to front run trades on one of them, but laughed and turned it down. Seemed like it would end up something like this article.
Oh! I stand corrected. That's a wrapper for TSC, though, right?

Edit to add: I see, Deno embeds TSC as a library and tries to straighten out the mess of tsconfig. That must be a leaky abstraction, which makes me wary, but maybe it works well in practice.
Why is that funny? Sometimes compression is lossy, like JPEG and H.265
Does Bryan Johnson's $2M biohacking routine work? [video]
I've had FSD for years, and, well, it is awful. I keep hoping it gets better, but it doesn't.

The best way I have to describe it is: Picture a timid new driver, then give them 10 cups of coffee and make them really nervous. Now make them adhere slavishly to a random assortment of rules, and not at all to others.

One of my biggest pet peeves is that my car will try really hard to stay on the right side of a narrow residential road, coming inches from parked cars when there is no oncoming traffic. I always takeover, because I just know somebody is going to open a door into me, or an animal or child will dart out from between cars.

It will often hesitate to merge or turn left, even when given ample opportunity. And then it will suddenly dart across traffic with no warning.

I bought it in 2017 with the car, and drove like a grandma for a month to be eligible for the initial FSD beta a year or two ago. It was a complete waste of time and money. My hope when buying it was that I could have my car drop off my then 11yo son at school and save me a commute. My son is now 18 and drives far better than the car ever will.
Frog or Toad?
The current version of FSD is astounding. I used it a lot in SoCal for most of the free trial month, and wow has it come a long way.
> their existence doesn't change the harmful antirepair practice of other companies

Their existence doesn't but their success does. If and when Framework becomes large enough to steal a significant portion of marketshare from less repair friendly companies, they will adapt or die.
You are so close...... Honestly, crypto was an interesting experiment that has devolved into nothing more than digital penny stocks.
Apparently, I, and the overwhelming majority of Tesla's customers, are failing to see this convenience. Care to enlighten us?
Sure, that is a progress bar. And it's something countless devs have wasted hundreds of man-years reimplementing over and over again, instead of delegating to the terminal application. Because we're stuck with handling transparent character sequences.
>before Softbank bought Sprint, they didn't have the capital to upgrade their 2G/3G network to LTE, much less consider a merger with T-Mobile.

I think both of us can be right at the same time though. Just because they had problems before the SoftBank acquisition as well doesn't necessarily make what I'm saying unreasonable. There was still sentiment in 2013 when SB closed the deal that regulators would not have approved of Sprint acquiring T Mobile [0], despite the struggles going on at Sprint at the time (that you describe). Sprint was definitely putting together a bid to acquire T Mobile, WSJ reported on it [1].

As you yourself said, Sprint was _dying_ at the time of the SB acquisition, but as far as large firms go, they were far from bankrupt yet. SoftBank simply twisted the dagger and then presented the corpse to congress instead of the dying patient.

[0] https://www.theverge.com/2014/2/4/5376824/fcc-chief-reported...

[1] https://www.wsj.com/articles/SB10001424052702303293604579256...
If you are converting 2% of customers to the one thing which makes your company not worthless (according to it's largest owner and controller), then that might actually be bad.

Tesla won't win a price dumping competition on the mechanical engineering and manufacturing quality for their cars.
There are countries where Python 3's stable release is old enough to legally get married, and this change was being planned since 2004. It's not that recent!

This is the oldest concrete plan I can quickly spot: https://github.com/python/peps/blob/b5815e3e638834e28233fc20...
The title is extremely misleading. It is saying that 2% of people converted from a 30 day free trial of Full Self Driving to the $8k paid upgrade.
> Yeah but the fact is that it works today, and will only get better and faster with time.

And your assumption is based on what exactly?

WASM + WebGPU don't magically make the whole game, its assets and the engine it uses appear on your computer.
$25/week indefinitely for a hardware feature in your car that you already paid for?
Sure, everyone loses some of the time. LBOs totally have borrowed a bunch of money, sold something for parts, cashed out, and left the banks or the public markets or a future buyer or whoever else holding the bag. It has happened.

It is not, however, the business model, as many here seem to think, because the people on the other end aren’t THAT stupid. There isn’t that much dumb money.

The business model is buy a company that’s in serious need of improvement, fix it, then sell it/take it public. That’s why they prefer companies with high revenue and losses.

Or sometimes, if they think an industry is just poised for strong growth, they just buy and hold. I suspect that’s what’s going on with all the veterinary office purchases we discussed recently.

I really don’t know where Squarespace falls. They’re allegedly keeping management in place which would make me guess they just think it’s poised for strong growth but I really just don’t know.
Observable Plot is amazing. It is very flexible and intuitive to use. I now prefer it over Plotly.js which I used to use before.

The docs are pretty OK, the only thing missing is a usable API reference section, so discoverability is not great.
I have found, between the span of $8/hour and $88,000/year, that the amount of tracking (and also the amount of "if you have time to lean you have time to clean"-type busywork) is very close to inversely proportional to income in the US.
Yep. Actually I hadn’t even thought of pro-Israel donations to Biden until you mentioned it, but you’re right we heard all about Russian interference.

OpenSecrets lists the figure as $4.2m since 1990, but that is still the highest amount for anyone listed and clearly a great deal of funds. (And I suspect there are multiple ways to classify money as “pro-Israel”)

https://www.opensecrets.org/industries/summary?cycle=All&ind...

And yeah, you’re getting downvoted but what you’re saying is nominally accurate, just uncomfortable for people to face, and we’ve quite effectively been trained to dismiss those thoughts.

I don’t think anything politically is ever beyond repair, and I’m in favor of change, but it’s going to take a lot of work and it’s going to require broad-based grassroots efforts to get anywhere.
I have Tesla FSD and I've started to use it more since v12 came out. It really does drive like a human and is impressively good. The only reason I don't use it all the time now is because every 15-60 seconds you need to nudge the steering wheel (or change volume or speed) so it knows you are paying attention. Elon said they are going to be removing that nudge in the coming weeks. Once they do that I'll be using it a lot more and it's going to be like having my own Waymo car to take me places.
That may be true but the scientific hypotheses and theories well supported by evidence in archeology have been wrong enough times that it isn't inappropriate to question them
Show HN: I've built a macOS app for developers to clean their dev machines
Hi there!

During last time we (me and my friend) were building an app to clean various stuff after Xcode. I was fed up as a developer that Apple related things load my drive and I need hundreds of gigabytes just to do my job.

It's live now on Mac App Store and we'll be glad to hear your feedback:
https://apps.apple.com/ua/app/cleano/id6469460523

Features

- Simulators cleanup. It's a correct cleanup via 'simctl' so you even don't need to restart Xcode for it to take effect
- SPM repos cache. Swift PM stores github repos for packages separately and never removes them unless you ask it via cli.
- Derived Data, a first thing you try to fix weird Xcode linking issues :)

Some features currently in development:
- Desktop widget, so you can delete derived data with a single mouse click
- Support for more package managers like CocoaPods; they also have substantial caches that appear to be ignored

Links

We also have a separate GitHub repo (we're developers, right?) to track issues and feature requests: https://deszip.github.io/Cleaner-Tracker/
It just floors me that someone is not yet in jail for this. It's so fantastical so as to seem surreal. But it's real.
There’s a really douchebag move here about them being able to fulfill LSE listing requirements but not fulfill supply side requirements to their own damn customers.

But hey, maybe a sudden cash injection post-IPO will help them actually sell their products.

Of course, then they’ll have the problem of raising their prices, and people will eventually say, you know what, no thanks, and just use a competitor SBC.

You already basically can’t buy from them at a price that makes sense, or at all.

And the really cool thing is their website lists a bunch of legacy products that no partner sells anymore so you get the great experience of trying to figure out what the hell you can buy from them in the first place.
Although it's part art book and part text features: Every Day is Play (https://www.kickstarter.com/projects/gamepaused/everyday-is-...), but because it has been funded through Kickstarter and published only once at the time it could be a rare find (although a quick Google search showed me that some copies are being sold through the likes of Ebay)
> currently a legal requirement to have a human driver ready to take over at all times

Waymos aren't running with a human driver ready to take over at all times, so that's not correct.
They want to spend whatever billions it costs to consolidate the industry and then reap the monopolized profits down the road.
I don’t think people appreciated this one, but it made me chuckle thanks.
Yeah, I would suspect this is more inline with a limited-time free trial conversion campaign.

Basically Tesla gave out a free FSD trial to every Tesla owner, and per this report, 2% of them actually signed up for the feature and are paying Tesla either the one-time or monthly fee.

I'm not sure about other "free-to-paid conversion" marketing campaigns, but 2% actually seems like a good conversion rate.
didn’t google make a deal as well? any idea how big this deal is in terms of $$$?
Some background:

1. "An unauthorised user cannot obtain some information" is not a property that can be achieved by any access control system, even in theory, eg. an authorized user can just provide a copy to an unauthorized user. I will outline the only achievable property below.

2. All resources in a capability system are designated by capabilities, just like all objects in a memory safe language are designed by references.

3. You can obtain more capabilities by accessing capabilities contained within resources designated by other capabilities, just like you can obtain more references by accessing fields of objects that contain references.

4. Capabilities intrinsically combine designation with authorization. If a user has a capability to some resource, they are by definition authorized to access it. There is no such thing as a "context" in which a resource may or may not be accessed, you only either have or do not have a capability to it.

5. Capabilities are not ambient in the environment, and so the only path to obtaining capabilities is through the capability set you're given. An example of an ambient authority is the ability to obtain a file handle
to any file in a system using an arbitrary file string you can just construct. Another example is being able to convert an arbitrary number into a reference, ie. violating memory safety.

Hopefully it's now clear how there's a formal correspondence between capabilities and memory safe languages that have had ambient authority removed. This does not in any meaningful way restrict our ability to construct programs, at worst we must pass around a few more parameters that we used to access using ambient authorities (like File.Open). Access to resources can now only flow along the reference graph and security analysis now becomes tractable, basically another type of dataflow analysis.

So the security property that you want to verify is that there is no way for user X to access resource Y if given capability set C. This means that the transitive closure of C doesn't include Y.

There are numerous ways to achieve this, but the most trivial way is to use a typed language and create a type specifically to hold Y, and two capability set types for authorized and unauthorized users, and then you can ensure by simple inspection that a Y never appears in any reference placed in a C (or you can go more precise and only ensure that Y never appears in any return/escape position, thus allowing X to operate on Y's indirectly via some API). The type system is already a dataflow analysis, so this just piggybacks off of that to achieve the property you're after. Note that these are comparatively simple steps compared to getting memory safety to begin with.

That said, I agree that "extra-program" means of undermining the foundation of one's secure system obviously undermines the security properties. This is not really a compelling objection to me anymore than the proof of the validity of an algorithm must assume that your computer correctly adds two numbers.
dupe: https://news.ycombinator.com/item?id=40357516
I would have agreed up until version 12 but I literally use it now to do almost all of my driving. I just got back from a trip where I rented a regular car and I didn’t realize how much I actually hate going back to micromanaging the car. It’s just so much more relaxing letting the car do the work and just supervising. I think for a lot of people $100 / month is just not affordable for a relatively small convenience at this point. Like another commenter points out the value prop isn’t really there if you’re still liable for everything it does. But I have driven maybe ~1,000 FSD V12 miles at this point (with maybe a handful of minor interventions) and I am 100% convinced that robotaxis are a lot closer than people realize.
Two former MIT students charged with stealing $25M of crypto in 12 seconds
The 10 questions will get you banned/flagged/ousted from even normal conversation amongst friends or casual groups, of course people are not going to risk their professional reputations with them.

Discovering the truth of these questions is not really worth ruining your life.

Look at James Watson, even if you win a Nobel Prize, your career can still be ruined if you say the wrong thing.
Do you plan to stop paying attention?
The DOJ wants the traditional finance market to be the only keyholders in arbitrage. Anyone who has experienced market open slippage will understand this.
I have FSD and I think it's pretty good now.

But unless I can take my hand off the wheel or do something else it's just not worth it.

Regular autopilot is good enough for highways.

If they can make it level 3-5, I think it will EXPLODE.
https://youtu.be/zoOCcrgWkIA?si=qfsrmduoc7qgzSp7&t=188

He cuts it pretty sharp here. And then shows a technique for smoothing imperfections. Also a lot of the stones weren't actually cut perfectly. Only the ones that were on visible surfaces. The technique was probably slow and laborious, but the Egyptians had huge numbers of workers and they spent years or decades on projects.

I'm not sure what the counterargument even is. If the Sphinx was built using super ancient metal tools, where are they? And how did Egyptians make granite carvings all over their empire over the span of millenia? They obviously knew how. We know it's possible. We just don't know for sure how they specifically did it and maybe never will.

It was only a few years ago that we solved the mystery of Roman concrete.
life is good until you try to read a file path that is not a valid string and discover that you read the wrong file.
Rewrite for the sake of rewriting sounds like fun. How useful is it?
Kagi takes GDPR seriously. My personal relaxed attitude (also taken out of context) is due to the fact that we do not need or sell customer data, and have nothing to hide. Transaction with Kagi is as simple as it can be - you pay to be our customer, and we try to give you the best web search results. Happy to address any issues related to GDPR that you think are not already addressed by our privacy policy.
I'm also guessing some of them are paying the monthly subscription that costs a few hundred dollars a month vs the lifetime $8000-10000 fee.
When I started at Oracle yonks ago, there was a bizarre bug management system.

When a bug was found, it was assigned to the next available developer in the team. It didn't matter who wrote the code and created the bug - there was no feedback to them unless they happened to be the one who picked up the bug report.

The bug reports were printed out and stood in a tall pile on a manager's desk.

Quality was, as one might imagine, terrible. Junior developers had no idea what a bad job they were doing - senior developers spent their days fixing stupid bugs they would never have caused themselves.

The solution, blindingly obvious, was to start assigning bugs to the developer who caused them. The improvement was instant, because most people actually want to do a good job, and to be seen doing a good job. The pile of bug reports literally shrank before people's eyes.

The current industry seems to have moved back to these bad old days but on a longer timescale.

Resume-driven development abounds. Developers move on to the next gig before the impact of their decisions becomes obvious and quality plummets accordingly.
I hope this also makes it over to the jax-rs client
Were there less laborers available after the Giza pyramids? Of course s/laborers/slaves/ would be implied. If the labor force was smaller later, would that contribute to less-sophisticated?
After driving a model Y for 6 months now, I really really dislike it. It’s easily worse driving experience that my old 10yo Corolla.

But, after trying the FSD for 30, I was pretty impressed. You do have to pay attention but it’s usually easy to see where it will get confused and you may need to intervene.

The reason I didn’t buy it is not because it’s not good, but it’s because of the cost. $8k is a lot of money.

So yeah, the title feels a bit dishonest to me.
So we're in agreement about the technical situation at hand - rely on nearby devices' location data. This should work fine in most airports, sure.

I'm still stuck on all of the friction involved in actually using airtags as a theft recovery device. Neither the tag or Apple's service can contact police or airport security on its own, so you're spending who-knows-how-long flagging down security, explaining the situation, and waiting for them to relay that message back to an appropriate authority who will go find the thief.

Alternatively, you skip the "talk to security" part entirely and go find the thief yourself (assuming you're comfortable with that sort of confrontation). You're still dealing with a moving target - one that can very easily leave the airport entirely, forcing you to choose between sacrificing your bag and potentially missing your flight, a cab, etc.

You also run into a proliferation issue. The more popular airtags become as a theft-recovery device, the more thieves will know to look for them and remove them from stolen items.
Yeah I suspect this person is immersed in western news and just hears all about “the bad guys”, but I wonder what the USA looks like to someone in those places.

I appreciate your sharing of links. I didn’t have the energy to dig up a bunch of data, but the note about military expenditures supports the point nicely.
Yep. And penny stocks are also already digital, for all intents and purposes. So, not sure what remains, apart from long-in-the-tooth unfounded hype and cultists.
Also, crucially: dB is a measure of sound pressure level at a point in space. It is not at all a measure of total sound output. And it tends to fall off at a rate of 6dB per doubling of distance.

So by halving the measurement distance and changing nothing else, a thing reads as being about 6dB louder. And by doubling the measurement distance and changing nothing else, a thing reads as being about 6dB quieter.

So stating that a jackhammer is 100dB and a television is 60dB is rather meaningless by itself.

If the jackhammer is measured at 0.5 meters (the distance of the operator's ears, say) and the television is measured at 2 meters (the distance of the viewer's ears, say), then there is a measurement delta of 12dB, which is a difference more than an order of magnitude in energy intensity.

And all we did to produce that massive delta was vary the distance where we've placed the meter.

(And, no, there is no standard measurement distance. Loudspeakers are often [but not always!] measured at a distance of 1 meter, and generators are often [but not always!] measured at a distance of 20 feet. It needs to be explicitly stated.

In all cases, if the only parameter relayed is "dB" then it doesn't really mean very much.

And this isn't even getting into other important factors, like if the measurement is performed in a half-space or anechoic or whatever environment.)
> The driver doesn't have to sit in the driver seat continually monitoring the situation

This is imo the biggest problems that forces users from not buying the tech. I used the beta, and not only did I have to basically pay attention, but at times, when I was already paying attention, Tesla would ask me to apply pressure on the steering to the point where self driving disengaged and I had to take quick actions. On top of that, just driving around my neighborhood, it failed miserably. It couldn't park itself when the entire curb was empty and I stopped in a non ideal spot. It would often incorrectly identify parked cars on curved streets and brake. A couple of times it almost ran over pedestrians at a stop sign, mostly because it accelerates too much on turns at a stop sign. It absolutely refuses to drive faster than the speed limits, going 25 on two lane main streets where everyone expects you to go 40.

At some point, its more stressful for the driver on self driving than driving yourself.
Does it get the answer right every single time you ask the question the same way? If not, who cares how it’s coming to an answer, it’s not consistently correct and therefore not dependable. That’s what the article was exploring.
this is a lot less of a convincing argument when you consider the fact that we’re talking about a database interaction. If we want to do the FP weenie thing, I would assume a transaction context is monadic!

Another ding on your argument is that in the metaphor you _would_ get [2 3] if you aren’t in a transaction! Of course the reasons for this are not incorrect, but I think generally “the end result of this list of actions is different if you are in a transition for a part of it, even if you are the only client operating” is a bit surprising compared to default transaction semantics in other systems.

Of course, people should learn about their tools and not assume everything works exactly the same. I think it’s incorrect to assume that the choice made here was the only one that would make sense for Datomic.