skysight-inc/HackerNews huggingface dataset:
> Well I don't know what to tell ya man. I am too dumb to just invent this.

How about admitting you could be wrong? You repeated an unbelievable claim, and so far have failed to support it. The best you seem to be able to do is come up with something superficially similar without realizing the difference.

And I don't think you invented the claim. There's an entire fever swap producing and promulgating fear fantasies like it. The mechanism seems to be: assume the worst, make some hyperbolic speculation, someone repeats that speculation as something that's really planned, rinse, repeat.

> Go dig through Jamelle's videos

That's a totally unreasonable request.
Growing up in the oughts, the future was Ghost in the Shell: SAC and Xenosaga and .hack//Sign and Gundam 00. I didn't see the dystopia; I imagined a glass metropolis beside a glittering bay, bleached and blue; VR diving into pools of ephemeral neon filament; trips to a space colony. The ISS had launched when I was in elementary school. 2012 came, and I graduated from college, and the Rift had its Kickstarter. I had a supercomputer in my pocket and a black president. Things seemed on track.

Of course, Oculus dragged its feet until it was bought by Facebook, who dragged things even more. Obama droned weddings. The ISS prepares for reentry burn in a few years. Et cetera. All of it - the corporate politicking; the political atrocities; the logarithmic progression of scientific advances, where technological progress is overtaken by the social calamity it unleashes - predicted by the media that had set my mental image of the future in the first place. Whose fault is it that the future failed to materialize again? I'd say corporate greed and the captured institutions that are supposed to police them for the greater good, but the fact that we're seeing the dream die again means that laying blame might be futile (particularly if we're not going to actually do anything about the bad actors).

Essentially, the Millennial era has been one where the glamour ghost came a-knockin' again, but the smart people who were paying attention already knew how the story goes. As for the rest of us? Mana du vortes.
As soon a I read Unbank I had the tune in my head, it is rather good.
Thank you so much for creating Scoot, by the way. I wanted to create my own ShortCat like app for macOS, and Scoot has been a great source of inspiration (on top of being useful, of course!).
One of my advisors saw Pink Floyd play Dark Side in its entirety in London in the 70s. I can't help bringing it up every time I see him.
Why can someone make the choice not to have water in their IV, but can’t make the choice to have a fuckton of morphine in their IV?
It means that the keystrokes you type aren't just immediately handled to the application in raw form; something higher up the chain (kernel, terminal emulator, shell) is pre-processing ("cooking") them in some way, possibly taking actions before (or in place of) passing the keystrokes to the application.

For example, if an application you're using has left things in cooked mode, and you press ctrl+c, the application will never "see" that keystroke; something higher up in the input chain (I believe Linux's TTY driver) will see it, swallow it, and send SIGINT to the application.

Applications can also put the tty into "raw mode", where this won't happen; in that case the app is responsible for implementing those "expected" keystroke behaviors, if it makes sense for the application to do so.
Ohhh, this is an awesomely informative and concrete message! Extremely useful, thank you!

I like everything about this: the ability to NACK individual messages, the specifying of a backoff period, _and_ to just discard a message f.ex. if you really cannot do anything about it. Super nice. I am grateful.
yep i've certainly seen it all over with rust. shame. glad things are moving along well and thanks for the work on this, i very much hope it becomes a standard in the future.
Formalization of maths seems like an overwhelmingly huge task. A bit like Cyc but harder. Is there some kind of chain reaction likely to happen once a critical mass of math has been formalized so that it becomes easier to do more?
This isn't a list of shoulds. It's a list of, generally dones. Big difference.

This one is still nowhere near universal enough to count in the original lisr sadly.
This seems like it would be better suited as comment on one of the many NJ drone threads.

For example (430 points, 799 comments) https://news.ycombinator.com/item?id=42391443
While the folks you mentioned advanced deep learning techniques, Fei-Fei Li transformed computer vision by creating ImageNet, which fuelled progress in the computer vision field. Beyond that, she’s been a champion of ethical, human-centered AI and has worked to make AI more accessible.
What agent do you run
The Jujutsu version control system
The whole interview feels weird like its a giant PR/advertisement justification for her $250 million raise

This comes as peculiar, the 3d world generation demo that was on HN a short while ago was quite lackluster—many commented how underwhelming the end product was despite the insane valuation and world names working on the product.

I'm getting Theranos vibes all over again. I certainly hope this isn't another grift by getting our guards down as it was with Elizabeth Holmes.
PDFs support JavaScript. Here's Adobe's guide on how to add JS to your PDFs: https://helpx.adobe.com/uk/acrobat/using/applying-actions-sc...
She has been exceptionally good at creating a narrative IMO. I agree that her actual accomplishments are less clear. At Stanford, a person in her position gets added as last author to all her students’ work so her citation count is very skewed due to that. I’ve not heard from anyone in the field (past students, CV researchers) about her capabilities, and I’ve heard loads about other PIs like Chris Re, Percy Liang, etc.

Also, I hate to say this but when I was at Stanford there was a distinct sense of promoting women in AI and she was asked to speak in or co teach courses/lectures for what seemed to be that reason alone. For example the course on “AI for human thriving” and such.
For me it boils down to this: the Catholic Church exists as a body of members who are all sinners- laymen and women, priests, bishops, cardinals, and the pope included. The clergy are simply functionaries within the church who serve very important roles, but are not sinless, perfect humans by any stretch of the imagination.

The way of life the Church offers along with its teachings, are what you might be able to consider the "good bits".

The "bad bits" are the members, who are sometimes clergy, who sin against God and against their neighbor.
Yeah, it's strange to assume that a new display will suddenly give us a lot of really clever software. If someone can build a thing to contextually guide us in a wide range of everyday tasks, that's a billion dollar app just for smartphones. Sure it might be more convenient to have two hands free, but is that really the blocker?
Didn't you hear? We're not allowed to own things anymore - only lease them.
I'm doubtful. Way more people are willing to hurt others if they think it's for the greater good compared to people willing to hurt others just for personal gain.
Microsoft announces the best performing logical qubits on record (September)
Not really. In a fuel cell the reaction products are discarded (the reactants cannot be discarded, as they are needed for the reaction to take place).

In a metal-air battery, air from the atmosphere is taken into the battery and the oxygen from it becomes bound to the metal, in a metal oxide.

So unlike for a fuel cell, where the vehicle becomes lighter after the fuel is consumed and the reaction products are discarded, a metal-air battery becomes heavier when the metal fuel is spent, because the reaction product is stored inside the battery.

The metal-air battery becomes lighter again when it is charged and the oxygen stored inside it is released into the atmosphere.

A lithium-air battery can have a much better energy per mass than any other kind of lithium battery, but it cannot reach the energy per mass of hydrocarbons.

The reason is that for hydrocarbons the mass that counts is just the mass of the hydrocarbons, while for lithium-air batteries the mass that counts is not the mass of lithium, but the mass of the lithium oxide, i.e. the mass of the battery when it is mostly discharged.

A carbon atom from hydrocarbons can provide 6 electrons per atom, while a lithium atom provides only 1 electron per atom, albeit at a voltage more than 3 times greater than carbon atoms. The mass of a lithium atom is half of that of a CH2 group from hydrocarbons, so if the mass of lithium would have been the one that mattered, the ideal energy per mass would have been about the same for hydrocarbons and for lithium. However the additional mass in lithium oxide reduces the ideal energy per mass more than 2 times (when Li2O is the reaction product) or even 3 to 5 times (when peroxide or superoxide of lithium are the reaction products).
Using it since https://news.ycombinator.com/item?id=32658104

What doesn't work:

1. Ctrl/Alt isn't passed to RDP session in the official MS app.

1. Sometimes number input moves the decimal to a swipe and this is kinda... dumb.

It's not as fast as Hacker's Keyboard but overall it works good and I even did wrote some small things on it.

I replaced all HK with UK on all my phones and one tablet.

Can recommend.
Euthanasia without good cheap universal healthcare is just a way to get rid of people in a sick society.

Canada might not be the worst but their healthcare only cover 60-70% of canadians' need. And it's slowly getting worse with the private sector eating the market.
Breakthrough in prime factorization before end of 2026
Hard to believe that ImageNet fueled advancements in that field. Dataset creation is a very widely known “citation hack” because it forces others to cite your work even though the dataset is often used for thrift reasons over any genuine value.
The Dissolution Of AI Safety
What's the ruby feature you're referring to?
> Just insist on Lean (or some other formal verifier) proofs for everything.

This is not an easy change at all. Some subfields of math rely on a huge amount of prereqs, that all have to be formalized before current research in that field can insist on formal proofs for everything as a matter of course. This is the problem that the Lean mathlib folks are trying to address, and it's a whole lot of work. The OP discusses a fraction of that work - namely, formalizing every prereq for modern proofs of FLT - that is expected to take several years on its own.
To my knowledge, "Full Keyboard Access" in the accessibility settings is about as close as you can get; however, it falls rather significantly short compared to 3rd party applications. Try to enabling the setting, and you will see what I mean.

https://support.apple.com/guide/mac-help/navigate-your-mac-u...
It’s so interesting how people go either way on this. I’ve thought about it a bit (Pink Floyd are a bit of an obsession for me). I much prefer the Division Bell to the Final Cut. To the point where I find the Final Cut to be mostly boring, and many of Roger’s solo albums the same.

I think my brain is just way more into the music than the words. The melodies are what bring me to Pink Floyd. I think David’s guitar and Rick’s synth say more to me than Rog’s lyrics.

I also feel that without Rick the band loses its heart, and this shows mightily on the wall where his contributions were limited.
I agree, but this article is -- as the author tries to make clear -- descriptive, not prescriptive. She's listing out the things she's seen commonly in applications, not trying to convince applications that they should behave in certain ways.
Vapi (YC W21) Raises $20M to Bring Voice AI to Enterprise
Data work is traditionally both incredibly valuable and something no one wants to actually do. Further, ImageNet has probably been cited a _lot_ in other important research.

I agree that it feels a _tad_ underwhelming but that's what these people do - try to strike big with some research and then spend their lives convincing others of the value of that research. If you're lucky, you might even do this a few times as she appears to be trying to do.
Right now, the 16 GB page is saying "368 parts: Ships tomorrow". SO that's 7 sold since my previous message.

Unless they sold all 375 from yesterday and have restocked since your message. Which strikes me as unlikely.
Take a look to what are using on Leroy & Merlin stores
Don't take your news and opinions from X.

You can talk to real people that work or live in a hospice or care home to better understand the death process (they need volunteers for all sorts of stuff). Or look into the formal studies that have been done on the Canadian side.

Controversial cases aside, MAID is more the scheduling of an event that can be seen coming from quite a ways away. I have family members that work in hospice care, and the reality of death makes it seem cruel not to allow MAID.

This isn't healthy people offing themselves when they turn 90. This is people seeing a slow and certain decline and loss of dignity due to a known illness. If you knew that your last six months would be extremely painful, you would lose the ability to walk, lose concentration to have a cogent conversation, not be able to go to the bathroom by yourself, and finally your body would just shut down; wouldn't you want the option to shorten or skip out on the final parts of that experience?
Amiga as a Workstation Part 9: Comparing with IBM PC/At
What is the simplest proof of FLT these days? I don’t think elementary proofs exist
Eagerly awaiting the news that no one will be liable for someone's wrongful incarceration based on LLM hallucination.

The business model for LLMs will be that no one is liable. They were for a while, like when the airline chatbot quoted a lowball fare and was forced to accept it. But that will be rolled back as the stakes get higher.
> gambling that the purpose is over despite never knowing the future

I guess we're on the same page to some degree. If the future might hold some meaningful potential, wait it out.

But we disagree about grandma, in this case. If grandma doesn't have the emotional and general psychological capacity to offer care, concern, stories, or heart, then she shouldn't be expected to anymore. There are limits to humans. It's why we die in the first place; we're not immortal, and we aren't supernatural.

In situations where I've seen this play out, I think it's actually quite unfair and cruel that we expect grandma to continue offering her humanity to those around her when she has clearly lost most of it, and is barely hanging on anymore. If her life hurts her, we should not expect her to extend herself so we can hopefully gain something for ourselves despite her suffering.

We have to ask ourselves: do we want these people to live for themselves, or for us? Is this a reciprocal, mutual desire we have for them, or does it fit a narrative or convention that's more suitable to us and our own wants and comforts? Is letting someone die too scary and uncomfortable for us? Are we attuned to how much they actually suffer and how little their future really holds?

I suppose at some point we have to admit it doesn't make sense to lament not knowing the future. For example, when my mom died it took her 7 years, 3 of which were absolutely awful for her, 2 of which were spent in relative confusion or outright senility. It was all downhill, no turning around, no improving, just a steady descent into pain and madness. Saying "I can't predict the future" at that point is kind of insane. She'd lost her mind. She was enduring kinds of pain I came to understand as being indescribable and unbearable.

Hoping for a turn around so I could hear her voice, her care, more stories, etc... No, that's for me, and she's already gone. Why make her suffer more?

For what it's worth, I don't eat animals because I despise the idea of needless suffering. I won't intentionally cause suffering of a sentient creature because it's one of the most needless, unnecessary, overtly harmful things I know of in the universe. I can't bring myself to have an animal suffer because I want to enjoy eating its meat, and likewise, I can't expect a human to suffer because I want to (hopefully) enjoy their presence or some function they serve for me. No, that's a bizarre pressure or expectation to put on someone. Especially if it's for my own fleeting gratification. That doesn't enrich our relationship or deepen our connection. It's just me and what I want. Who cares what I want, when someone is in the throes of dying?
Handset hardware and ML/CV software has improved in the decade since Google Cardboard came out. 6DoF is definitely possible.

The Sketchfab viewer still supports Cardboard:
https://sketchfab.com/models/45f5e56887f44075bbf283977c99541...
Even with a pill machine every person involved in the process of setting is facilitating each suicide. This is not the same as recognizing that someone who hangs themselves has a right to do so.

The question is just as much about us as it is about them.
Access was powerful and dominated the market for a while but there were two problems: 1) it was kind of bad from a pure dev perspective compared to SQL Server b) non-pure devs made horrible broken apps and eventually ended up calling in the pure devs, who moved them to SQL Server.
Disagree. Stanford researchers have been making datasets for years and years. SQUAD is another Stanford dataset. Everyone knows that publishing datasets gets you citations. But that gig is now sorta over because the word is out.
Related recent discussions:

I'm daily driving Jujutsu, and maybe you should too (77 points, 2 days ago, 43 comments) https://news.ycombinator.com/item?id=42380306

Jujutsu (jj), a Git compatible VCS (89 points, 2 months ago, 110 comments) https://news.ycombinator.com/item?id=41895056

Steve's Jujutsu Tutorial (158 points, 2 months ago, 116 comments) https://news.ycombinator.com/item?id=41881204

Jujutsu: A Next Generation Replacement for Git (94 points, 5 months ago, 80 comments) https://news.ycombinator.com/item?id=40908985

A better merge workflow with Jujutsu (135 points, 5 months ago, 90 comments) https://news.ycombinator.com/item?id=40842762

Jujutsu: A Git-compatible DVCS that is both simple and powerful (673 points, 1 year ago, 261 comments) https://news.ycombinator.com/item?id=36952796
> Did not figure out how to swith to next language

1. Select the needed ones in the settings

1. Swipe up on the space bar
I think your point still stands but modern engines cluster toward the higher end of that range and some do exceed the 30% efficiency mark, hybrid drivetrains can approach 40%.
It's HN bread-and-butter to insist that all experts are wrong, and it must be because BIG <random field> is just protecting the sweet sweet lower middle-class living of being a tenured professor or something.
Would you support laws that force people to get medical treatment whether they want it or not? It would avoid the sort of problem you witnessed.
You can turn any stainless steel pot/pan into a nonstick via the Leidenfrost effect[1]. Only takes a 1-2m extra, and is quite satisfying to watch as well. We have a few carbon steel dishes for intense nonstick cooking but the kids love to see the water balls dance around when they cook.

[1] https://www.youtube.com/watch?v=w3laDpr4kvw
I was fortunate enough to see David Gilmour play live this past October at Hollywood Bowl in Los Angeles. The energy when he played Comfortably Numb was absolutely indescribable.

I, too, think that Animals is a masterpiece. Also agree that it's "overlooked" (though some others in the comments seem to have a different assessment) -- most people I know can name tracks from Dark Side and The Wall but that's about it. The songs are too long for radio.

"Dogs" is my favorite Pink Floyd song of all time, both lyrically and Gilmour's playing.

"You have to be trusted by the people that you lie to. So that when they turn their backs on you, you'll get the chance to put the knife in."
IIRC, their code was evaluated against MISRA-C and was found to have tons of blatant and preventable violations of its principles.
How can you be sure that the code running in your browser is the same code that's in the repo for the extension?

Does using a bundler count as minification? One that takes all the files in the packages and links them into fewer files.
At some point you need to fail somewhere, nobody does anything perfectly and if you do fail, you hopefully learn.

Surely its mindset and perseverance, seeing failure as something you can't stop, but you can learn from
Looks like something I want to use.

Would this help me preparing to [aspirationally] compete in the FMWC (Financial Modeling World Cup) ?
B580 consumes quite a bit more when idle though (~35 vs ~10w) which can add up if you keep your PC on a lot of the time. IIRC even the 14900k is less than 20w when idle.

So not great.. but yeah, still would need to run 24x365 to get to $50.
Does the business that offered to buy InfoWars also not get shafted by the sale to The Onion?

By one creditor agreeing to forgo their debt only if The Onion buys it, that single creditor puts any other potential buyer at a disadvantage. It seems the highest bidder, regardless of whether that is another Alex Jones entity, has a fair counterargument such that this type of sweetheart deal is not fair to interested purchasers.
I don't think I would call Zuckerberg's approach pragmatic so much as costly and anti-competitive.
Fine, here https://geopoliticaleconomy.com/2023/09/20/chinese-balloon-n...
I was someone who switched to Linux in the last 12 months due to what was for me an increase in user hostile behavior of Windows. Care to share why, for you, Recall was important enough to switch OS from macOS/Linux(?) to Windows?
Being First Is a Moat
I find it funny when people say it's not on Carlsen when it was entirely his decision to not compete. We already have rapid and blitz world championships that are separate. This is the classical world championship and I think the format is both exciting to watch and decently fair.
Faster than Dvorak. Unlike switching from fluent QWERTY to an initially slow other-layout, you're switching from the frustrating autocorrupt to something deterministic and predictable.

I picked it up to a usable speed within two days, helped by the fact that I use a lot of technical terms that autocorrect used to dismantle, so the baseline was much worse.
Maybe we should preemptively put them in internment camps until the war is over, just in case
The RFC is not what people actually implement.
DigiCert moving to new dedicated IPv4 addresses and dropping IPv6 support
> The VFS interface is synchronous

On a single thread. There can be multiple threads.

Of course leaving a thread idle while waiting for IO isn't great. That's why I noted it at the beginning. But it doesn't seem idling threads has proven to be much of a problem with sqlite, so it wouldn't be much justification for a rewrite.

> If you want to wrap a blocking API in python, with actual parallelism, you have to use multiple processes

You can use multiple threads in the same process.

(Python has some limitations in that respect, but that's not a sqlite issue and can't be fixed by a sqlite rewrite.)
Seems like it's impossible to solve because of Northern Cyprus.

https://travel.stackexchange.com/questions/51740/will-stayin...

My understanding is: if Cyprus becomes a part of Schengen, the Turkish-controlled airport becomes a port of entry into the Schengen zone. Maybe the southern side saying the northern part is not part of EU/Schengen would count as recognition of the Turkish rule...
Thanks.

Yeah, I don't understand the flag. People just seem to flag anything that's unpleasant to hear these days.
Another company that built something awesome for the dev community everyone loved, but wouldn't pay for.