skysight-inc/HackerNews huggingface dataset:
This is more of a culture thing with the Rust ecosystem more than anything else.

If the culture of the Rust ecosystem was to publish a 1.0, we would do it. And frankly, I'd really like to have an extra "version" to play with - 0.x.y is quite limiting.

There's a few core things I want to clean up and split out in 2025. If all goes well, we might see a 1.0 next year.
dang: Please don't do that here. HN threads are for human conversation and we don't allow generated comments.
He's not "getting started," it's just that he's finished his first marathon while most 18-year-olds are just tying their shoes for their first jog
The current paradigm of outward facing digital cameras passing through to screens is idiotic IMO.
It's doing what Microsoft intends, but not what customers intend. Entering my credit card or social security details in a secure form should not result in it being copied to a different folder on my local storage or added to my backups without my approval.

Snapshots present a new way of circumventing data protection implemented by other apps and websites (if it was visible on your screen, that data is now copied somewhere else).

Yes you can delete snapshots AFTER you've determined something sensitive has been inappropriately captured, but you are not warned or prompted to do so and at that point why even use the feature.
There are concerns about assisted suicide being pushed on marginalized people who don't have terminal illnesses in Canada. I don't know if that is being driven by "authoritarians" but implying that the issue is just doctors providing death as a service (i.e. to people who are specifically requesting it unprompted) may not be completely accurate.
Specifically regarding credit card security, it’s not really my problem is it? It’s the bank’s problem.

The law makes it so.
Yes and no – the number of playable lines does not necessarily tell us how "obvious" those lines are to find for a human.

To give a trivial example, if I take your queen, then recapturing my queen is almost always the single playable move. But it's also a line that you will easily find!

Conversely, in a complex tactical position, (even) multiple saving moves could all be very tricky for a human to calculate.
Just my personal opinion, feel free to disagree ;). There are few issues preventing finance being replaced by AI.

1. The large portion of finance is customization. AI works on the simple models, but it may struggle to perform adequately with complex, company-specific situations. Take pilot as example, it is an accounting and bookkeeping company with the combination of tech solution and human services. There is always human in the loop.

2. Finance deals with the numbers, the bar of accuracy is very high.

However, I believe AI can make learning finance much simpler, that is why I build this platform.
Related Times article:

New York Times and Tech Guild Reach Deal

https://www.nytimes.com/2024/12/11/business/media/new-york-t...
Bayesian orangutans
What pisses me off is when the pentagon says "we don't know, but don't worry everything having to do with the security of the U.S. is perfectly fine!" Don't lie to me.
That is in principle correct, but since OP is using a throwaway and a know anonymous domain service. As long as he burns bridges after himself (eg. not making it into a adressable business later), there is not individual to deliver a letter to.

Might work for a while, but a dangerous game to play...
True but also the sheer number of people now trying to use it. Other factors include the difficulty of getting an appointment with the first call GP (once known as the family doctor) and the utter madness of many A&E departments. They do a great job but can't cope. 12-hour waits are not unknown. I see no reason to expect a turnaround with the Labour Government.
Or Basque...
You must not read very much chess writing!
What you’re hitting on is the inescapable truth that there are problems government institutions can’t solve.
> >To break SEV, however, the attacker requires physical access to the memory module’s embedded SPD chip

> Is this before the $10 equipment?

This is in the line with "root can install a new kernel".
Doesn't make it not a pain in the ass to resolve if your card information is stolen.
Okay, they have considered assisted dying. People consider things all the time. That's a very far cry from getting anywhere close to approved for assisted dying.
> Glass is chemical inert

Well, except for leaded glass.

https://en.wikipedia.org/wiki/Lead_glass

"Several studies have demonstrated that serving food or drink in glassware containing lead oxide can cause lead to leach into the contents, even when the glassware has not been used for storage."
I've heard this, mostly in relation to discussions of fiscal cuts, but have been unable to find a study quantifying waste or "mostly" wasteful. I don't doubt any large enterprise of humans, in government or private industry, will have instances of waste, even small instances of theft or fraud. It is the quantification ("mostly") and the conclusions thereof (removing delegated authority, either explicitly or via fiscal cuts) that I'm genuinely trying to understand. I'm aware of IG reports of specific instances of waste, but nothing remotely approaching a majority of an agency's funding. Given the history of the "snake oil salesman" era of the US (ca. 1890s-1920s, killing thousands with bogus and impure/junk medicines) that gave rise to the current agency mission, I'm reluctant to find out what social media and an unregulated medical industry can harvest 100 years later.
I believe Immersed is using Qualcomm Spaces for the Visor, but maybe that is lower level and Android XR builds on that as well?
Such a threat that you can freely comment on how threatening you feel they are with zero repercussions, even from inside of the US.
You can evaluate on lower depth/time.

But even that isn't a good proxy.

Humans cannot out-FLOP a computer, so they need to use patterns (like an LLM). To get the human perspective, the engine would need to something similar.
https://github.com/ivanyu/hn-tldr-extension
“However, it is important to note that this does not impact our results,” [lead study author] Liu told National Post."

So an order-of-magnitude difference has no impacts on the result? How can that be?
I think currency gains or losses are taxed as capital gains rather than regular income, at least they are in the UK when I do my tax returns. It makes a difference as the tax rates are different.
The FDA's funding has increased every single year for the past 10 years, and possibly longer. Try again.
ah yes, because nothing screams ‘free speech’ like interrupting dinner with a pitch for extended car warranties. truly the hill to die on for entrepreneurial rights. i say this jokingly but also with some truth
If the BSD rank conjecture were false, then the simplest counterexample might be an elliptic curve with algebraic rank 4 and analytic rank 2. This could be established for a specific curve by rigorously numerically computing the second derivative of the L-series at 1 to some number of digits and getting something nonzero (which is possible because elliptic curves are modular - see work of Dikchitser). This is a straightforward thing to do computations about and there are large tables of rank 4 curves. This is also exactly the problem I suggested to the OP in grad school. :-)

In number theory doing these sorts of “obvious computational investigations” is well worth doing and led to many of the papers I have written. I remember doing one in grad school and being shocked when we found a really interesting example in minutes, which led to a paper.
Why is it that all of the many eval and LLM ops offerings spent seemingly all their energy on UI and playgrounds?

When it comes to tracking, tracing and versioning the entire LLM callchain, so from prompt, to response models, model and workflow code and code gen/exec artifacts, it’s just not there. A basic solution based on OpenTelemetry for some subset of an LLM app is easy tondo, heck even I have written one. But what use is that?

Like, how many instrumentations save prompt, IO and model settings without the orchestration code or agent/rag flow? How does this help any production level LLM use case?

What is this application where i am just using bare LLM promoting and RAG without any custom logic, but I need a tracing solution and a collaborative prompt playground? I have yet to see it.

Unless we can trace and version everything that actually influences the final LLM call, there is no use in a standardized framework and we need to roll a bespoke solution for every case.
We try often and it always comes down to this.

Build something that allows me to trace, evaluate and track everything, allow for deployment in customer tenants and on prem, and you have it.

Stop spending your time on prompt UIs and playgrounds. We code. Our LLM apps are code, lots of it! Make the foundation of your framework solid first, then worry about turning temperature knobs in a user interface.
I think there's some nuance between your view and their's, but I do find these perspectives to often divide people. If you're learning an arbitrary language for literally no reason at all—you don't know anyone who speaks it or have any intention of ever speaking it to someone—then that activity might struggle to compete with other things you might have a more coherent reason to do. The people I know who are more driven by tangible results, money, and outcomes, struggle to value things that have no previously established obvious purpose.

I'd use the example of hiking literally all day without the promise of a good viewpoint; I'd invite the person out, with only a plausible estimate of the time required, and they'd want to just find something that takes less time so they can schedule something afterward. Along the way, they'll be rushing to meet that time, because this is just exercise or whatever to them, and in some way they aren't at peace the idea that we're both just here in the forest maybe chatting maybe not, there's no tangible justification for the mission.

Another type of person would replace tangible outcomes with the feeling that they always need to be learning, regardless of what it is, because it's intrinsically virtuous, and they also sometimes fail to be at peace with doing something for no reason, or nothing at all.

I've wavered between these over the years, and now I'll learn something because it's a clear weak spot, or I can imagine how it might be interesting, and if I don't have anything else that's more compelling (including doing nothing) I might give it a go. What's different now than a few years ago is how much I respect serious time involvement. Anything I decide is worth trying to learn is something I need to feel capable of dedicating serious energy to, at least in the first year; if I can't or don't want to, then maybe I won't, and I shouldn't fool myself into thinking I should or will, because I have other things going on. If I'm going hiking, that's my day, that's it, that's the whole activity, if anyone wants to join me then that's great, they need to accept the same mentality or they can stay home. If we happen to get back before the bars close, then that's great too. I might find Swahili interesting too, and if it seemed worth trying, I'd dive in on the basis that I'd just get a sense for how a different language works, and that there might be something surprising along the way, which to me is inherently valuable.
It's not "both" systems, it's at least four. Canada is private doctors, public insurance. In the UK, the public system includes the doctors as well. France is not single-payer but has a system somewhat similar to the ACA, with private but nonprofit insurance, an effective mandate, a national price list for health services, and a prohibition of claim denials for anything on the list.

A great book comparing eight national systems in The Healing of America by T.R. Reid. It references stats showing the French-style systems get the highest quality results, with reasonable cost. Japan and Germany have similar systems.
I assume by 'concurrent GC' you mean multicore parallelism in the same process, in which case, yes, OCaml has it now: https://discuss.ocaml.org/t/ocaml-5-0-0-is-out/10974

And Jane Street have long since moved forward into even more advanced territory. They are now trying to add Rust-like ownership guarantees: https://blog.janestreet.com/oxidizing-ocaml-ownership/
> Specifically regarding credit card security, it’s not really my problem is it? It’s the bank’s problem.

Replace "problem" with "legal liability" and you're probably right. It's still very much your problem, though.
It should read "free with google account, electricity, computer and/or all other equipment needed to interface with a website, and last but not least, the user's time."
Is Cursor really better? I tried it briefly but bounced off. I’m convinced that AI-assisted search and replace would be quite nice sometimes, but not enough to switch.

Then again, I don’t use most features in Cody, either. Basic AI code completion seems good enough for me and the fancier shortcuts don’t stick.
Adobe's New Reflection Removal Tool Aims to Save Your Travel Photos
> Guy was going to continue wasting-away by going to a mediocre foreign grad school

Wow. Who knows what amazing stuff that guy could have done if he'd escaped to a new place, with new people, in an exciting new culture, rather than the very close-minded one you describe here!
Caring for dementia patients at home is seldom better unless the family has the resources for 24×7 care. I know from personal experience that dementia patients will wake up in the middle of the night to wander out into the street or accidentally start kitchen fires. And if the family tries to do it all themselves it takes an enormous unsustainable toll. At some point everyone is better off putting the patient in a professionally staffed facility. Of course the prices for those create other challenges.
Ok, I just sent this to all my ex-IBM colleagues. They were so shy at the time, +20 years ago, to say the little word "clit" in formal meetings, especially with customers. I think they used "the red dot mouse pointer thing" in formal settings. Informally, it was the eternal short name: "the clit".
> why don’t we get a choice in when we leave?

Because dead folks don't pay taxes.
If we're taking that view, it's only fair to account for the # unique deaths as well.
Take the computer which beats Magnus and restrain it to never make the best move in a position. Expand this to N best moves as needed to reach 1300 rating.
Open Hardware Security Module Built on MirageOS
Why the snark? Is it so surprising that spectators following a world championship match in any sport would know something about the competitors?
Exactly. Had you asked me yesterday if Android XR already existed, I would have assumed yes they built it like 10 years ago... Remember Google Cardboard? Google Glasses?

I look forward to their definite announcement of Pixel Glasses in the coming months, as this certainly won't be something they completely forget about by next quarter
> Physical access is one of the things that a trusted execution environment is supposed to protect against

Is supposed to. Because money are sweet.
Physical access means that you can exchange any part of your system and the bloody TEE would have no idea that it is MITM.
My Canadian parents are in their 80's so naturally a lot of their friends of the same age are dying. And two of them have been via MAID.

In one case, which was surprising to me, a man who had survived cancer - he was not terminal but certainly wasn't getting any better - elected to die via MAID after his wife died. She passed, he called his doctor and less than a week later he was also dead. He got a chance to visit his family, apparently drive around his hobby farm one more time and then that was it. He didn't want to deal with being alone and seriously ill.

Another friend was in renal and congestive heart failure and possibly could have lived longer but they were driving 100km daily to get to the nearest dialysis clinic and again, this person was definitely dying. So made and appointment and decided to go sooner rather than suffer along for an indeterminate amount of time.

It's quite surprising to me, but these people are in their mid to late 80's and of sound mind and know what they want.
Magnus didn't show up because he more or less just doesn't give a shit anymore about classical chess.

He got bored. Won the thing 10 years in a row and just didn't fancy it anymore. That's really it - he's so much better than, well, everyone that he just didn't want to go through the stress of prepping for such an event.

I think he's not a huge fan of classical chess, prefers more dynamic, creative and faster games. He's effectively mastered classical chess and wants a new challenge.
It's cool that you were able to get the data even though it's not perfectly structured. Maybe you'll be the Dun & Bradstreet of Germany :)
You're missing out on some pretty awesome experiences
Perhaps more delightful to the ears to hear that a proof has been disemboweled.
Parking Will Drive the Coming Adams-Council Housing Development Deal
I was an Orbital fan back in the early nineties... and I really hate it.

It diminishes the magic of the OG, the breakbeat is lazy and out of place and it has nothing of what made Orbital good which is how their layers would interact with each other in rewarding ways.

It's a shame because I could imagine a mix working in their early 90s style like Remind from the brown album e.g. add more synth layers sympathetic with the OG mood/style getting increasingly richer and more intense and acidy until a beat starts emerging from between the layers.

By the 00s, they just spin a beat on top like a DJ. Bleugh. Not quite as hateable as the KLF's version at least.
Reality is much messier than "There are people and their bodies and their wishes."

There are whole categories of people who we consider not well enough to make good choices about their bodies and lives, for a variety of reasons

Children are not emotionally mature or responsible enough to make such choices

Mentally ill people are sometimes in an altered state of mind where they are not making good decisions that are consistent with their regular state of mind

Some people are very suggestible and will more or less agree with anything that someone else is telling them to do, even if it is not in their best interest. People who have just received bad news (like a scary medical diagnosis) can easily fall into this, and just agree with whatever someone tells them

It's all well and good to want to respect people's wishes for their lives, but society does have some responsibility to ensure they aren't being pressured by outside forces into acting against their will or against their own interests

That's not authoritarian, it is pro-social
Both would help. Sledgehammer is fast because it batches and interns strings on the Rust<>JS boundary.

Rust strings are utf-8 and JS strings are utf-16 (don't ask me why...).

The Dioxus VirtualDom is ridiculously fast - it's closer to the micro-dom SolidJS has (yes there's a micro-dom) than an actual virtualdom that React has.

Sledgehammer queues up all the Dioxus mutations into one fat binary batch and then runs a hand-rolled utf-8 -> utf-16 converter since the browser's converter is so slow. All the dom mutations are done from javascript. If direct DOM access landed, then we'd be able to do that from Rust directly.

And ultimately, all this work is like 10% of the actual "time" taken that you see on benchmarks. The vast majority of time is the browser running layout and re-painting. Reconciling a dom is not that hard or expensive of a task, frankly.
The thing off by a factor of 10 here was not the level of the chemical, it was the calculation of the recommended safety level.

Also, different substances follow different safety curves. A 10x difference in acetaminophen takes you from very safe to very dangerous. A 10x difference in lead takes you from less dangerous to more dangerous; there isn't a "safe" dosage of lead.
except many ISP are know to hijack DNS queries when the domain does not exist..

Others are using DNS data to build customer profiles and then profit out of it..

This is what caused people to turn to big providers..

I have my own recursive resolver that i host in a VPS and my local dns server connect to it via DoT..

Now my ISP cannot capture any information using DNS, cannot hijack or poison my requests..
Not quite a decade, and not as broad in terms of what crimes are covered, but much bigger in terms of scope:

https://en.wikipedia.org/wiki/Proclamation_4483
There's not much point comparing them. The WCC cycles are inconsistent and Magnus has never liked the format. He played the Candidates in 2007 when he was 16, but there was a four-year gap after that until the next one. By that point he was already the top player and, just like in the cycle Ding won, he decided not to play. The explanation is here: https://www.chess.com/news/view/carlsen-quits-world-champion...
I think the only sensible thing is to treat them as assets with capital gains and losses like any other asset.
I'm in Canada and I have a relative in hospital who say they are either returning home or doing MAID, as they were not going into a home or "assisted living." coming to terms with your own death is part of the culture here now.

Many people clearly prefer death to being dependent on services. Doctors themselves are known to eschew chemotherapy and difficult surgeries. Most men don't even see the doctors their taxes pay for "free" because the system is so bureaucratic nobody with any responsibilities can afford the time to use it, or the risks of being caught up in the system. Dignity is a big deal for people and many prefer to die with some of it than to live without it.

I think MAID itself is poorly defined and implemented, as really, the health system had no problem killing thousands of young people with loose opioid perscriptions, I don't like that MAID requires allocating execution powers to doctors and their increasingly politicized delegates. death as a service doesn't seem ethical compared to prescription and technical options.

the heart of it is that the institutions don't provide dignity and so people are choosing death. this seems lost on the leadership and its aspirational classes.
For the problem to affect proofs, it would have to be in the type checker, and the type system isn’t really that complex. The good news is that every single user of Lean checks this works every day. Finding a flaw that literally everyone relies upon and doesn’t notice is pretty implausible.
I understand the dmca protects reversing for the purposes of interoperability. My argument is not that the dmca is a foundation for clean room arguments. I just mentioned it because it protects the disassembly of binary code. It’s about clean rooms.

If it’s okay to implement software that does the same thing as some other proprietary software as long as you do it in a clean room, then it’s okay to implement software that does the same thing as other game software as long as you do it in a clean room.

So the argument is really about how clean the room is. Can the person verifying the output of the clean room, who is outside the clean room, also look at the binary? Can they look at the disassembly? These are legal questions. It would be interesting to understand more about these team’s setup, for sure.
Telling them about it is great... which you can do by showing them the comic and the alt text. The wiki link is unnecessary. You could add an extra explanation onto almost anything, and do so recursively, but that quickly becomes a waste of time. When something has already been explained, explaining it again helps a lot fewer people than the 10000 rule would suggest. The returns diminish very fast, and you should wait for them to ask before piling on extra explanations. And the actual 10000 comic waits for them to ask before even showing the first, most basic version.