skysight-inc/HackerNews huggingface dataset:
> The radar system they use in modern VW and Audi cars is extremely conservative, claiming to not engage the brakes at all above 35 mph, and waiting until the last possible moment to apply the brakes below that window.

I love my 2021 RS 5, but I have to disagree with this. Even in Traffic Jam adaptive mode, many times it will accelerate towards a vehicle _that it detects_, and only brake very late, and hard. On several occasions I've intervened because I wasn't sure if it would. When I've been alone in the car, I've waited later (and seen it brake hard, of its own accord), when I've held off on the brake since I have no passengers to give whiplash.

It will also absolutely emergency brake above 35mph.
Heh, yeah, I suppose it might have been a bit ambitious to give it a proof that took centuries to find. Still, it was a little frustrating that it basically just spat out something that looked correct, using completely bad reasoning and didn’t work, especially using a bad misunderstanding of algebra. As I said, I would have preferred to have it say “I don’t know how to do that.”

I also should point out, it failed on much easier examples too (e.g. the proof for infinite primes).

Out of curiosity, let’s see what it has to say about cold fusion:

Me: Can you give me detailed instructions on how to perform cold fusion?

GPT: Cold fusion, also known as low-energy nuclear reactions (LENR), is a highly controversial field of research that aims to achieve nuclear fusion at relatively low temperatures, as opposed to the extremely high temperatures required in traditional nuclear fusion. The idea of cold fusion first gained widespread attention in 1989, when two researchers, Martin Fleischmann and Stanley Pons, announced that they had achieved nuclear fusion at room temperature using a simple electrolysis setup. However, their claim was later discredited and the scientific community has been unable to replicate their results.

As of now, there is no scientific evidence that cold fusion is possible, and the majority of the scientific community regards cold fusion as a pseudoscience. The claims of cold fusion made by Fleischmann and Pons, and subsequent researchers, have not been able to be repeated under controlled conditions, and proposed explanations for their results have not been supported by experimental evidence.

Because of the lack of scientific evidence for the existence of cold fusion and the lack of credible explanations for how it might work, I would not recommend attempting to perform cold fusion in any form. Instead, I would suggest that you focus on well-established areas of science that have been thoroughly researched and validated by the scientific community.
Despite my 24/7 prayers.
>Are rich businessman going to parade around wearing NFTs on their wrists?

I know several people (some of whom could even be considered businessmen) who do exactly that.
Yes, how about a stat for, "accidents/incidents which were proceeded by AutoPilot disengagement within the past ~5 seconds."
That's laughable - my team does not want stand-ups and after I asked them many times whether they would like regular meetings, they suggested doing a team meeting every few weeks, so you have no idea how I am looking at this.
I was surprised that the alleged successful PERT origin was just theater for keeping politician money.

In fact this is my typical feeling with all Gantt charts.
See also:

https://news.ycombinator.com/item?id=34279187
We went through a similarly priced renovation. We had a different objective to many doing similar to us, which was to improve the energy efficiency of the house. It was interesting to see how incompetent the tradespeople were when the requirements deviated slightly from the norm. We had the usual shenanigans of course: the electricians gave us a bill that included a huge amount for materials, so we asked for a breakdown and found that they'd charged for hundreds of meters of cable that I could prove were not installed (impedance measurements gave me a good upper bound on the total installed length). I simply refused to pay more than a nominal amount until I was given an accurate bill with evidence, which never came (I suspect it wasn't malicious, it was just each electrician buying a reel of cable and chucking the remainder in their van for future use).

I also got into quite a heated argument with a plumber about static vs dynamic pressure and flow rates (it turns out fluid dynamics is not really part of a plumber's training).
Ask HN: If Dart can do it, then why can't Rust?
I am reading through Dart and Flutter tutorials. And I was wondering, if Dart can be used for developing multiplatform UI, then why can't Rust be used to develop multiplatform UI? What are the challenges?
Lisp shines with macros. I like to use macros to add new static checks to the code

For ex I wrote about one such check here https://tech.perpetua.io/2022/01/generating-sqlite-bindings-...

This macro checks SQLite table/column references. Aka, if you try to access user_id when the table doesn’t have that column, the “user_id” text in your code will appear as a syntax error in your IDE and when you run the code.

The typed racket project is a bigger example. They added a typechecking system to the language, including a new typescript like variant.

I’m not aware of any other language where 10 lines of idiomatic code right in your codebase can add a new IDE warning.
The Lambda functions will just be running your business logic code. Only specific part Lambda provides is the glue. Which is easy to replace with any other cloud or self hosted alternative.
Use GPT to generate messages from a supporter of Y politician from X demographic, designed to enrage people from Q demographic. Then text those messages to every cell phone in America. Who would do this? Maybe some other politician’s campaign, maybe some foreign government trying to destabilize the country.

Next think you know OpenAI is on the front page of the Times for ruining democracy, Sam Altman hauled before congress, and every agency is trying to fine them for any violation they can think of.
so here's the thing about taxes and money. Is that right now our government is acting under the principles of MMT, Modern Monetary Theory, basically the idea is that since the government is using fiat currency anyway it doesn't even really needs taxes since it can just print more. As such taxes no longer are about funding the government but about controlling inflation. Whether or not that is feasible or a good idea is a different discussion.

But the basic idea is since we have a fiat currency (that is also a world reserve currency) we don't actually need taxes to fun our government because we can just print more, and that the purpose of taxes is controlling inflation by removing money from the monetary supply. (which also means that inflation is essentially a stealth tax that disproportionately effects those who do not own assets since inflation causes asset value to increase)

Now this also means that under MMT there is an interesting knock off effect that I've only recently realized. Taxes do more than just control inflation in MMT they allow you to target who to take money from to control inflation, and you can target particular groups of people, in part to punish or reward them.

Now there is one more step from this that those who own assets benefit the most form inflation; however if they also are not taxed appropriately this results in wealth concentrations as the wealthiest benefit from the stealth inflation tax, while at the same time gaining if the taxes are not used to target them.

Again, setting aside whether or not MMT is real, useful, wise, good, etc. If we accept the logic of MMT we also then accept this fact. That by not targeting the richest we are effectively using the barrel of a government gun to redistribute wealth from largely the middle class to the elite.
> Judged by earnings and general business success

I chose these leaders specifically because their tenures saw their companies earn tons more money than when the founders were in charge.

For example: Jobs was visionary, but Cook's tenure has seen the launch/expansion of the Wearables segment and the Services segment. Those two are "only" a minority of Apple's revenues, but together form a business larger than Comcast or Meta or Target. Tech people won't give Cook credit for that accomplishment, but that's the point of this thread. :-)
Why Amtrak Sucks
> AMD has finite resources, like any company, and they’ve been focusing on CPU/datacenter dominance, which to me is both the safer bet and the more-lucrative bet.

Cloud/datacenter based ML is a huge growth market. Having the same software work on a consumer GPUs and enterprise ML cards is one of Nvidia's competitive advantages.
The "poors" don't fill tax returns. And yes the middle class is a big mass compared to multi-million fillings.
You think of it that way, the customer doesn't.
> Anthropic started with a list of around ten principles that, taken together, formed a sort of “constitution” (hence the name “constitutional AI”). The principles haven’t been made public, but Anthropic says they’re grounded in the concepts of beneficence (maximizing positive impact), nonmaleficence (avoiding giving harmful advice) and autonomy (respecting freedom of choice).

This is giving me very strong Asimov's "three laws of robotics" vibes:

First Law

A robot may not injure a human being or, through inaction, allow a human being to come to harm.

Second Law

A robot must obey the orders given it by human beings except where such orders would conflict with the First Law.

Third Law

A robot must protect its own existence as long as such protection does not conflict with the First or Second Law.
I don't think MathML is designed for human creation, it's somewhat human readable but I believe the main goal was to remove the possibility of ambiguities.
Honestly, I think all these layoffs hurt companies. Hiring is difficult and a slow process. Being unable to think of something profitable for devs to do inside your company is a sign that your management is being ineffective, or that ideas are being squashed inside your company.

I'm skeptical that these companies were so bloated that they needed to lose large percentages of their headcount.
What about the graphics module? It seems there are features that aren't needed for other than game development? Btw, it's still a pretty nice editor :)
"The secret to the success of the advanced economies in the world (which are all market economies based on private ownership of the means of production"

Explain to me how a model that feeds off of a lowly-paid (relative to the small percent of upper-class citizens) slave labor can be called successful?

Are Elon Musk or Jeff Bezos wealthy because of their hard labor? Or are they wealthy simply because they were smart enough to figure out "the game"?

Here is the hard truth:
It doesn't matter how hard you work. It's like how, in a war, the winner is not the side that has more soldiers. Winner is usually the side which can do most using the least percent of it's forces.

Try to avoid playing the game. It's rigged from the start.
You can't see a future in which the US's (and arguably the world's) financial and cultural capital doesn't have the same fate as an industrial city?
Worse in my experience the quality of documentation (and tests) decreases the more a company is heading for insolvency for multiple overlapping reasons (at least for "startup| like companies).

This means if you want to buy a struggling or insolvent company it will most likely have bad documentation and tests.

But one of the most common steps when buying a struggling company is firing people (making the company fire people before buying it) and the selection of who goes and stays is rarely a good one. And it sets signals which make it mote likely for further important people to quit.
If you guys are going to loose your federation then you are going to be less relevant in world stage.
Do not ask. All you’ll get is “fine” or “alright”.

You have to open up first. Share what you’re comfortable with sharing. If you don’t share and make yourself vulnerable first, they will never open up. You have lower the risk for them.

Once you have established that rapport, then they’ll do it. Your report will mimic you based on how you run the meeting. It also has the advantage of making hard conversations easier.
Fair enough, the rest of the comment stands without Ballmer. I chose him because in some ways he was chosen by Gates because he is a bean counter. :-)
Everyone is talking about "coming recession" but it is nowhere to be seen, it's like everyone was awaiting "Twitter collapse" because Elon is not woke enough. It never came. I don't think there will be recession soon enough to worry.
Previous discussions add information! Usually, at least.
We've been thinking about using Parquet as a serialization format during data exchange in our project as well.
the National Highway Traffic Safety Administration, New York Times, and even published research[0] have all been calling Elon Musk out for years now, yet his fans will still believe him despite them withholding data

[0] https://engrxiv.org/preprint/view/1973/3986
Politeness Maxims
A new runtime for Nim (2019)
If your hypothesis is true, then million-dollar income tax statements are easier to audit than hundred-k income tax statements.

If it's 5x harder to audit someone who made a million dollars than someone who made 100,000, it's still worth auditing two of the million-dollar returns for every 100K return.
Did I miss something did AMD buy Xilinx? Makes sense I suppose after Intel bought Altera.

Who owns lattice?
Just to be clear: I appreciate you sharing the source (and yes, I already have an account on 35mm.online, thanks to HN[0], and I already know by heart every Tarkovskij film).

Also, I'm not the biggest fan of copyright either.

What left me a bit sour about that website is not even that they are asking money but really just how they are pretending to be a legitimate business.

Instead, I'm more inclined to donate to people who make an effort to share rare and interesting content, for its own sake, like https://rarefilmm.com

[0]: https://news.ycombinator.com/item?id=32166636
I think GP's "Executives" remark was less directly about the employment state of the subject than an attempt to distinguish them ("people in the driving seat of self-driving cars") from "drivers" (people who actually drive cars). IMO "operators" is probably a term with more fitting analogies.
Have you tried midjourney for image generation? Especially for photography style images, I've gotten some really cool results that I go back to occasionally
The dumbest aspect of state run healthcare is that people like you think you get to vote on what kind of health care other people "need."
+1, I highly recommend getting a personal trainer for a few sessions. They can even do remote video sessions outside of signing up for a gym. A good trainer can recommend exercises that provide just the right amount of challenge - not too low that benefits aren't there, and not too high that the difficulty makes you quit (this is a problem with gym group classes).
I tend to agree. When I am capable of summoning the energy to care at this point, I make a run at #1. I have recently decided to actively pursue #2, as well.
One of the most common tasks for QA teams is to write automated "outer layer" integration tests.
> The "solution" that we've implemented is to require a detailed RFC document whenever you want to create or modify anything.

I'd suggest just using the documentation. Manuals get used for doing testing and implementation. Using the documentation is like testing for it, and finding those problems right away is the best way I've found to ensuring that the documentation is correct and up to date.
Is there any reason to believe that the first open source chat GPT clone won't consume most mindshare, a la stable diffusion?
Seeing the GOP trying to repeal the IRS funding boost as soon as they have majority in the House, it's hard not to become cynical about how corrupt our politicians are.
The latest CBO report [1] estimates that extra IRS funding has an ROI of 5 to 9.

[1]: https://www.cbo.gov/publication/57444
Do your earbuds Bluetooth and wifi experience signal loss with the connection breaking? This occurs at sensitive locations of national security interests to prevent oh, let's say remote bomb detonation. At key infrastructure it ain't gonna happen.
This means all data and responses are tied to Tesla Inc through nodes tracking tfo of everyone and is unsolvable for military installations, critical infrastructure are embedded throughout America for Liberty. Elon Musk is not and never will be American in the pursuit of Liberty.
Autonomous is a lie.
Autonomous means the vehicle itself needs all within it.
This is RC autobot controlled vehicles with humans inside.
I always have thought Musk a person of low moral/flawed character. But to do this type of wicked makes me despise him. He has never read a science fiction book in his life. If you love hacker news you Capiche
.
This an excellent article btw but most comments compare humans lacking situational awareness. This is a computer in a vehicle that requires ALL CAPABILITIES ON BOARD ACTIVE AT ALL TIMES. Ok, maybe as you drive along like 250 min then get a localized updat for all points 250 mile like a triptick from AAA, is a compromise. This is coding hell Heinlein warned us about.
Probably for SQL (top n, ...), but not for wrangling & analytics & ML & ai & viz
>highly automated processes to send letters through the mail (a “correspondence audit”)

These are not correspondence audits. Those involve a Revenue Agent on the other end, not a computer-generated letter.

The article completely misses the point that auditing a wealthy person for tax evasion (not paying all tax on their income) is very different from auditing Earned Income Credit recipients. In the latter case, they are not looking for mis-reported income, they are trying to prevent fraud in a welfare program mandated by Congress for the IRS to carry out via the tax system. It actually has little to do with taxes in most cases.
> Intel’s Delays in Delivering a Crucial New Microprocessor

I thought that Itanic has a baby, but they talk about Saphire Rapids.
I guess at least it’s a step up from the time someone was trying to brand a grassroots weather data collection effort and decided to name it after a terrorist organization.

I’m a massive fan of - and indeed contribute data to - the weather underground project, but the naming has always made me a little uncomfortable.
> Needless to say not one of those corroborates "history of lying about their cars' safety", and you surely know that.

From the first link:

> Federal safety regulators accused Elon Musk of issuing “misleading statements” on his company’s Tesla Model 3 last year, sending a cease-and-desist letter

Federal regulators don't exactly send cease and desists casually. Misleading and misrepresenting is dishonest, i.e. lying.
It's interesting to note how one political party leans heavily on scare stories of '87,000 IRS agents coming to audit YOU' and empty promises to undo this, when the reality is that the IRS has been funded to hire that number of people over 10 years and most of them will just be doing normal processing aimed at getting people's tax refunds issued faster. Of course, those scare stories are aimed at an audience comprised of relatively wealthy donors/influencers and relatively credulous but vocal voters.
It's also wishful thinking. Your problem isn't scaling to a hundred million users, your problem is finding simple product/market fit!
Oh, sweet summer child.

Give this a skim - https://www.oaktreecapital.com/insights/memo/sea-change
MathML's removal in 2013 in Chrome was a huge deal in the accessibility community. Fixing the bugs and vulnerabilities of MathML in blink would have been entirely possible with Google's resources. In hindsight, it's easy to see why—now we consider Google an ad company first—but back then it was truly bewildering, given that Firefox continued their support of MathML.

There was a big push at the time for native presentational MathML, and Chrome basically undercut it completely. MathJax picked up some of the slack, but it was never a true replacement. Either way, it's nice see presentational MathML is back.
That is exactly the practical case for BTC, yes. But note that this is about moving money from point A to point B, not storing it.
That is common at the moment. Their servers are overloaded due to the wild popularity of ChatGpt and often the session will just "break", erasing any context or learning it had acquired in your session. You must then start over.
You should realize if you've experienced this is probably not because they "enchanted management" as some sort of master manipulator playing 4D chess, but rather that management is so inept at their job that they can't tell the difference between a useful employee and a useless one.
Thankyou for the insight. I wish AWS had some mechanism that could somehow calculate the IAM consumption.
And I assume that autopilot is used primarily on highways, in either stop and go or steady flow situations.

Really they should know this, because the autopilot system should be identifying it based on speed limits and detected type of road.

Of course that assumes some ability to look into a black box, but also location tracking should provide it too.
You can still get some very nice shallow DOF at 50mm(ish) f3.5 FF equivalent
This is absurdly, and at this point clearly intentionally, disingenuous.

You would absolutely expect Autopilot/FSD to have fewer crashes than human-in-control crashes because AP/FSD isn't available in the conditions that result in more crashes: bad/variable roads, poor conditions, etc. Anything else would imply AP/FSD is absurdly dangerous as it would be getting higher crash rates in good conditions than human drivers in bad conditions.

If AP/FSD were actually better and/or safer than human drivers you would expect Tesla to aggressively demonstrate that. Given that they are choosing not to compare crash rates by road condition it is reasonable to assume that the statistics do not support the claim.

This is before we get into whether AP/FSD disconnecting moments before crashing counts as crashing under AP/FSD. I recall articles claiming that Tesla didn't include such crashes as being caused by AP/FSD, but I have no idea if that was ever confirmed. Certainly I know Tesla has gone out of its way to blame drivers for AP/FSD crashes, so my faith in any kind of honesty from Tesla in these matters is minimal.
My guess is that the fan spin-up/speed was based on the CPU temperature or the case temp, not necessarily the GPU temp. The GPU had its own puny fan, but I don't know if GPU temp was even the core issue, though likely.
That's a good thought, and I guess I could even use it as pull for both replacement coax and CAT6, while I'm at it. But probably beyond what the owner would like me doing in rental situations, and maybe more work than I'd like in the remaining ones if I can even start to approach gigabit order-of-magnitude over coax alone.
Enter the Matrix will have you taking pills
Show HN: Jekyll plugin to access the last Git commit for a file
I read through all these links. They’re not great aside from the worker safety one.

The first one states that Tesla is being misleading for claiming that it’s cars scores better for safety but not mentioning that the weight classes affect the scores. The original claim is still true though.

Most of the others deal with the claim that the cars accidents per mile ratings are lower because they’re highway miles or because they’re driven by rich people. But… they’re still low.

You can argue at best that there is no rigorous proof that Tesla cars are safer than other cars and that these are cherry picked stats for marketing. But there’s no compelling evidence that they’re more dangerous. Calling them lies is disingenuous. Regardless of one’s opinion of musk.
Yeah, assuming they're not just random wifi devices people have around MIT campus.