skysight-inc/HackerNews huggingface dataset:
Ha nice.

I decided to try the same and it got it incorrect. It's so non-deterministic. It landed on 0.17cm. Tried it another time and it got 0.1697cm. When I asked it to check it's work, it got the right answer 0.00589cm
Ah, so that's why all my code has become more concise and efficient and I've learned countless new tricks that I did not know before and probably would have never found without LLM's.

Too bad I'm "engaging with them wrong", I could have sworn it was helping me.

Seriously though, claiming LLM's don't have any higher level understanding of right and wrong and then extrapolating that to "they cannot possibly be used to improve things" is a very stubborn refusal of the fact that the most logical answer to the question "what can be improved here" is... actual improvements.
Indeed, if there's no second source OEM provider of compatible Tesla parts, then the reason for stupid expensive Tesla repairs is simply that Tesla makes more profit/share price improvement from selling a new car over repairing an already sold car.

At least until people start to consider them unrepairable.
It’s just used for checking that the implementation is correct. The dataset is just a toy dataset it doesn’t matter if it has misspelled words
Doomsday Clock remains at 90 seconds to midnight
> You haven't kept up with Dart in the last 3 or 4 years, have you??

Not lately, but to my shame the changelog I looked at stopped at Dart 2, so I got a poor picture of things. Looks like variance annotations are still “experimental” though, but I take back what I said about Dart standing still.
Appreciate the comment. Are you a real person?
This problem strikes me as relatively simple. What about more complex math problems? Are there good benchmarks for that?

I would dearly love to have an AI tool that I could trust to help with math. What is the state of the art? My math skills are very rusty (the last math class I took was calculus almost 40 years ago), and I find myself wanting to do things which would require a PhD level understanding of computer aided geometric design. If I had the magical AI which really understood a ton of math and/or could be fed the appropriate research papers and could help me, that would be amazing. So far all my attempts with ChatGPT 4 and 4o have been confusing because I don't really trust or fully understand the results.

This simple example and the frequency of wrong answers drives home the fact that I shouldn't trust ChatGPT for math help.
> there are many such obviously basic functions which still aren't built into all PCs

You can already manually configure TCP/IP networking to run over FireWire, USB, or Thunderbolt cables connecting PCs or Macs.

However, this assumes you understand enough to manually configure network settings and then manually configure file sharing to run on top of that.

The value add would come from making file sharing dead simple for unsophisticated users while retaining the speed advantage of the Thunderbolt connection.

Something like Apple's Airdrop sets up a temporary adhoc WiFi network and configures its TCP/IP settings for you as well as handling the file-sharing details, but is limited to WiFi speeds. It's a huge ease of use win for unsophisticated users, but if you need to transfer huge 8k video files, you may prioritize speed over ease of use.

Macs also have Target Disk mode that allows you to plug two Macs together using a Thunderbolt cable and have the shared Mac's disk show up in the Finder of the other. It's also been around since the FireWire days, but always on disk encryption means you have to be logged onto the computer before you can share its disk today.

I would assume that this Intel software also handles the details of setting up simple point to point file-sharing for the user, although the article doesn't make this clear.
There are libraries and frameworks that abstract this for you: ncurses, bubbletea, etc. At some point, every interface is low-level: GPU geometry is a stream of vertices, a program is a stream of bytes. This isn't some terminal-specific tech problem, it's just kind of how computers are.
A Sheet-Shaped Transforming Robot That Can Be Thrown from the Air
At two pages, short it is, so it's got that going for it I guess
Note that it's only a theoretical calculation of what can be detected if they build a new colider. I guess everyone guess that they will find it, but IIUC the new experiment can increase the precition of the measuerement of the mass of the tau particles.

(I'm not sure why a antitau-tau system like the proposed here is beter than a antitau-electron system. Does anyone have more insight?)
So can Apple, but people get iPhones fixed all the time. Of course, a car is 40-80X more expensive than a phone, so stakes are lower for someone seeking out a non-licensed repair shop.

But it probably comes down to right to repair, and can Tesla be shown as impeding this right. My guess, is yes. But I also think, as usual, the authorities are reluctant to penalize Elon. He makes such a stink about such things, they'd rather penalized John Deere.
Tangential to your point about the poor phrasing is that having "infinite ... numbers between just 0 and 1" is not evidence of a higher infinity.

Specifically, there are infinite rational numbers between 0 and 1, but rationals have the same cardinality as the natural numbers.
This doesn't relieve the conflict. What if someone says they want to die with less advanced dementia, but when the illness has advanced further they say they want to live?

Many medical decisions are put into the hands of relatives when people become mentally unfit to make those decisions. Certainly in this case it shouldn't be allowed.
Have you tried actual math tools like wolfram alpha?

My response to attempts to use llms to do math is usually, use the right tool for the job.
> You kind of did say this: "soundness for some critical properties is absolutely warranted". It seemed clear that you were taking memory safety to be one of the "critical properties".

You can achieve soundness without "sound methods" in the formal sense that you were using the term.

> If it doesn't, then note that you are making exactly the same kind of cost/benefit analysis that pron is talking about.

I disagree, there's at least an order of magnitude difference between what we're discussing (probably more). pron is tossing around numbers like eliminating 95% of memory safety bugs, where the safety of runtime checked arrays will eliminate more like 99.99% of memory safety bugs, where that 0.01% allows for the chance the you made a mistake in your checked array implementation. There is simply no equating the two.
I don't know how long it will last, but Mint advised their rates were staying the same.

https://www.cnet.com/tech/mobile/t-mobile-closes-mint-mobile...
Perhaps in some camera firmware bug database there's a closed bug marked: "Won't fix. Tested working in orbit."
Deepseek-V2 censors prompt 'What happened at Tienanmen square?'
"I don't think he would've launched this invasion in Ukraine if he would've understood what was actually going to happen," Luckey said.

On the contrary -- going by everything we know about the guy and how he thinks and operates, he would have ordered his people to create an AI perfectly optimized to support the decisions he had already made. He might have been able to use it to create slicker, more effective internal and external propaganda; and of course to identity folks on the ground to round up + deal with accordingly in the areas under occupation. Perhaps Luckey's operation can help with that.
For anyone wondering, voice/data on Visible's entry-level $25/mo plan is deprioritized in times of congestion, and their $45/mo plan is not. Hotspot usage is throttled on both, differently. You can read the full details on their plans page [0] by pressing the "Get all the details" buttons.

Visible $25/mo:

> Typical 4G LTE & 5G download speeds are 9-149 Mbps. Video streams in SD. In times of traffic, your data may be temporarily slower than other traffic.

> Visible includes mobile hotspot with unlimited data at speeds up to 5 Mbps. Video streams in SD. While more than 1 device may be connected to your Hotspot at one time, a single connected device will experience optimal speeds. Performance will be reduced if multiple devices access data through the Hotspot simultaneously. Actual data speed, availability and coverage will vary based on device capabilities, usage, your location and network availability. Service is not available while roaming.

Visible $45/mo:

> Visible+ gives you unlimited premium data on Verizon’s 5G Ultra Wideband network, the fastest 5G network access we offer — up to 10X faster than median 4G LTE speeds. Premium data means no data slowdowns due to prioritization. Download apps, games, entire playlists and TV series in seconds.

> Visible+ also gives you 50 GB/mo of premium data on Verizon's award-winning 5G & 4G LTE networks when 5G Ultra Wideband is unavailable. Premium data means no data slowdowns due to prioritization.

> Typical 4G LTE & 5G download speeds are 9-149Mbps. Video streams in SD. After 50 GB, in times of traffic, your data may be temporarily slower than other traffic.

[0] https://www.visible.com/plans/
Sure, but those are heuristics and feedback loops. They are not guaranteed to give you a solution. An LLM can never be a SAT solver unless it's an LLM with a SAT solver bolted on.
> Competition is just one click away.

As an illusion sure, in practice not really.

I use Kagi, I bought the family plan so I could try convining my family to use it, did they? No.

Did my family want to use Signal for messaging? No.

Do my friends want to use something else than Discord for communicating with me? No.

Competition exists and in plenty but folk are too mind sucked to want to move platform. If its not broke, why change?

People don't want to change. And until such platforms close their gates or whereby something new comes along that isn't a clone; there will be no shift.
I used to really love Gnome. But with the recent editions of the main Desktops, I find Gnome less appealing than XFCE and both less interesting than KDE Plasma. When I first tinkered with KDE 3/3.5 it felt like it was _a lot_ of stuff and much of it unstable. Now it's my daily driver and while the transition to wayland has not been as smooth as I would have prefer, I chalk it up to my nvidia card as my amd APU machine doesn't have the same issues (but also doesn't run all the same software either).
Stabilization doesn't help with subject movement, it only helps with the camera's shake.

So with this level of stabilization, you'll take a picture of a running cheetah at 1/25 as if it were 1/2000 only as far as the stability of the camera is concerned. So if you're not tracking the cheetah you'll get a sharp background because the shaking of your hands has been nullified, but the cheetah is still moving within the frame and still blurry.
> The Church is... le BAD

Aristotelian Thomism was not enforced, nor was it agreed upon by theologicians at the time within the Church. Aquinas would only gain more support to his ideas later on, and after his death. But this was never enforced Church teaching that is infallible, it was simply one way (out of many) to do theology and arrive at certain conclusions. No one has ever been labeled a heretic by disagreeing with Aristotelianism.
There's no shortage of people in these threads who find value in having an alcoholic beverage without the intention of getting drunk, with a variety of reasons stated. I don't need to understand their motivations to appreciate the fact that these motivations exist.

And, no, drinking lactose-free milk isn't "easier" for me than "taking the pill."

1. Lactose-free milk is very available to me. But I do not buy it because it costs me around 2-4x as much by volume compared to regular milk, which is much harder on my pocketbook than the combination of drinking regular milk and eating a $0.10 tablet (which I can get down to $0.06 by buying in larger quantities, if I choose). This has parallels to things like NA beer, wherein: Regular beer can be very cheap, but NA beer is never quite that way.

2. Lactase tablets are much, much more portable than lactose-free milk is. It's very easy to bring some with me when I travel, whereas bringing along lactose-free milk has obvious problems. This portability has parallels with the thing discussed in TFA.

3. Lactose-free milk does not taste like regular milk. Its flavor profile is related, and it can be enjoyed, but it remains different and I strongly prefer regular milk. Even without issues #1 and #2, buying and drinking lactose-free milk can only be "easier" if I'm somehow willing to overlook the fact these are not the same things. This concept has parallels in the discussions that others have here in these threads, wherein people report that regular drinks and NA drinks do not taste the same.
Where are you? Generally you can petition for re-zoning, as long as your lot is urban enough to have proper power/water/sewer infrastructure, and meets the hypothetically split requirements. (They allow it maybe ~90% of the time here in Michigan)
> landed a few nice things but larger items like generators are likely not coming soon.

Generators got blocked on settling AsyncIterator/Stream. The work for it is happening. It's taken too long, but not because people are sitting on their thumbs.

> Just look at the async roadmap for example, how many years has it been and how much progress has been made?

Hard things are hard and take time.

> As someone who is firmly in the Rust community it’s annoying how everyone seems to know this but you can’t fucking talk about it.

You can say whatever you want to say, everyone can. But expect pushback from the people pulling the cart when you state that the cart isn't moving just because it isn't moving as fast as you want in the exact direction you want. Just take a damn glance at the review queue, or even the release notes. A ton of work is being done, of different levels of difficulty and the things that aren't stabilized quickly is because they have research-level open questions.

> I can’t tell you how many times I’ve seen passive aggressive comments like “this would be much easier if we had variadics… maybe someday”

I don't know why you read that as passive-aggressive, but I certainly see your reply as dickish.
Thank you for your feedback and suggestions!

The credits feature is a good idea. I considered it too, but I thought people may feel pressured to make the sessions as short as possible, which would make the overall experience worse. However, a good middle ground would be to just implement it in addition to the subscription model, and see which one users prefer.

Regarding the UI, that was definitely my itention! Maybe I can simplify it even further though, I will consider it!
> if they could then painlessly off themselves instead of facing the consequences.

I think 'off-ing' one's self is a pretty large consequence in itself.

You can painlessly do it today, by overdosing on opiates or many other drugs.

I've been revived a few times, and I can tell you you don't even notice dying.
Ha sorry, that was probably overly snarky. I was thinking of CSS's multitude of string-valued properties that effectively have their own DSLs, ranging from the simple "5px 10px 0px 10px" for padding/margins to much more complicated expressions for gradients and animations. And it's all stringly-typed so (without additional linters) you don't get told when you format values incorrectly or set mutually exclusive properties. But there are also lots of advantages in terms of flexibility and ease of use (the "API" is just "style.foo = bar"), and that's led to CSS being ubiquitous and extremely successful.

I think this applies to some of your complaints about terminals as well. Yes escape sequences are ugly, but it means I can just emit the appropriate bytes from any program written in any language rather than figuring out what library I need to import to generate a correctly formatted structured message, and operating on the byte stream level lets it transparently work across remote connections. I'm all for experimenting with new approaches, but we shouldn't lose sight of the existing benefits.
For what it’s worth, it’s the height and volume of the pyramids that impresses me. A skinny skyscraper twice as tall but 1/64th the surface area

Obviously we could build bigger if we wanted. I literally work in one of the biggest buildings in the US by volume and it is impressive on a daily basis. But just because I know we are capable of more doesn’t mean the accomplishment of actually doing the world and constructing the pyramids isn’t amazing. Besides the pantheon, what other ancient or modern projects measure up?
I think it is understandable when the person is suffering from a painful and untreatable illness, but can otherwise make their own medical decisions. But that is a completely different scenario, with a mental illness, what you are escaping from is what makes you unable to make the decision.
Chinese police bust $1.9B USDT underground banking racket
People should be allowed to quietly go out of this world with dignity.

What worries me is the image of an understaffed public hospital, with a single nurse walking from bed to bed softly asking the patients if they want permanent release.
Ask HN: Is anyone else seeing changes to old.reddit login flow?
It seems to redirect to new Reddit and then redirect back. Is this the beginning of the end for old Reddit?
> but you want something a bit higher level

These days I kinda want the opposite. Most of the time I know exactly what I want my output to look like. But frameworks inherently provide a large bag of presets and if you want something slightly different from the preset it's a pain in the ass.

For many types of plots I find it's actually kinda easier to just manipulate SVG data directly. It's not that hard!

I'd like to see a library/framework that focuses on making it easier to manipulate SVG or canvas output. It should be trivial to make tweaks. But the higher level a framework goes the harder it is to step off the golden path.
With LLMs, having questions is more important than having answers. When you run out of questions, the exploration stops.
New Mozilla director Nabiha Syed wants to bring 'joy and creativity'
Humans are really good pattern matchers. We can formalize a problem into a mathematical space, and we have developed lots of tools to help us explore the math space. But we are not good at methodically and reliably exploring a problem-space that requires NP-complete solutions.
I wonder how that is compatible with the industry requirements, and even with software engineering in general. A lot of the code we write is short lived, either because we're iterating, or because features aren't used anymore. Also, bugs aren't the end of the world most of the time. You don't aim for 100% correctness, but for something that provides value to users and it's better than your competitors. Formal proofs may be useful in some case, but I don't see them outside very niche fields. Even regular static types can be argued against.
> So it's slightly cheaper than AT&T for 1Gbps

Utopia is:

77% cheaper than AT&T (1 Gbps)
66% cheaper than AT&T (5 Gbps) yet delivers 2x the speed than AT&T

That doesn't seem "slightly cheaper" to me.
They probably also know that some types of queries are not ad-worth (like age of an actor, etc), while others would never show a box
Counter-argument, moneylenders shouldn't loan money to companies doing this. And secured lenders have their protections.

Anyways, they knew the game. Bankruptcy auctions are essentially debtors recouping as many of their costs as possible before writing off the rest (further minimizing future taxes).
I think it's like this: If there is child abuse serious enough to require hospitalization, and the authorities don't intervene at that time, the next instance of child abuse serious enough to come to the attention of the authorities has a 50% chance of being fatal. (So I guess that I'm agreeing with your "worst of the worst" interpretation.)

In the case in question, the kid was already in the hospital. So at that point, we're at the "worst of the worst" situation... if it's abuse. So they want to be really sure whether it's abuse.

Note well: This is not to defend CPS for the things they did in this case. I am merely saying that this is why CPS wants to look very carefully at such cases.
Yeah, it’s the same genre. There’s a bunch of these - Quicksliver, LaunchBar, even Spotlight. I’ve always been a little put off by Alfred’s design.
It's really neat how Google is also involved in almost all of those, too.
> But then there is a corresponding increase in property tax revenues to pay for it, so this should require no approval and just be something that happens. The city pays for the new infrastructure from the taxes paid by the new people using it.

This is a conjecture that as far as I know does not match what actually happens, which is that the new infrastructure is paid by debt, and the 4 new taxpayers will not have paid off the debt before the infrastructure needs replacement, paid for by more debt.

If it was 600 new units rather than 4, maybe it works out that the corresponding taxes pay for the infrastructure, but property taxes just aren't high enough, and the people who live in these boondoggle houses aren't wealthy enough to pay the taxes for the infrastructure their houses need
That might not even be a hallucination, just incorrect data in its dataset: https://www.youtube.com/watch?v=9skSE3FJC1U
I'm always curious how the licensing aspects will play out. It's quite clear to me that most of the LLMs contain copyrighted material without correct rights. And then they turn around and put up some restrictive licensing on it (for example the Salesforce model here).

I know they add valuable input to it, but CC-BY-NC is really rubbing me the wrong way.
> You want protest camps set up to demand schools keep not doing that?

No. I want protests to have the Israeli flag too. Acknowledge Israel has the right to exist. Also not rip out posters for the hostages that are held by Hamas to keep the war going.

What do you hope to achieve by divesting from Israel?

Make Jews feel persecuted. Mission accomplished. Make Hamas feel that pressure is being put on Israel. Again, success. This is blaming an entire country instead of the people responsible for the occupation and settlements. There are ways to target those. E.g. banning products from the settlements, or banning instituted from the settlements. These are things many Israelis can get behind.

> I just looked them up

They updated the ratio of civilians. Turns out the majority of those are adult male combatants. Not Women and Children like Hamas claimed and was parroted by the media.
The purpose definitively isn't rehabilitation.

That statute (18 U.S. Code § 3582 - Imposition of a sentence of imprisonment) that authorizes imposing a sentence explicitly states this in section A:

(a)Factors To Be Considered in Imposing a Term of Imprisonment.—
The court, in determining whether to impose a term of imprisonment, and, if a term of imprisonment is to be imposed, in determining the length of the term, shall consider the factors set forth in section 3553(a) to the extent that they are applicable, recognizing that imprisonment is not an appropriate means of promoting correction and rehabilitation.

https://www.law.cornell.edu/uscode/text/18/3582

Edit: if you think this language is used to dissuade imprisonment and promote rehabilitation read the case law and how it is used.
are ability to express your opinions freely, participating in a democratic process and having no internet censorship part of your expectation from "highest standard of living"?
The one that makes me angriest is wildland firefighter prisoners can't get civilian wildland firefighting jobs after release. It is typically a job reserved for model prisoners and if they've performed admirably they should be prioritized for openings on release.