skysight-inc/HackerNews huggingface dataset:
Not very compelling.

First, the author finds out soon enough that it is possible "(update: Apparently it is possible to downvote comments, which I never realized. It is buried in the faq:)" when all the premise was how it's impossible to do so, and how that's bad.

Second, he says: "The advantage of this system is that nobody gets downvoted, but at a steep cost: we've lost half the potential information. If a post has zero upvotes, does that mean it's bad? incorrect? uninteresting? mediocre? There's no way to tell, because zero has multiple meanings."

This is missing the fact that (even if no downvote was the case), the social aspects of this choice, and the encouraging of specific interactions and behavior, can very well be more important than getting "more information" for individual comments.

Third, it presents Stack Overflow as "getting it right". Enough said.
Great. Ours vacuums and mops, and don't tell me you can do both in 15 minutes.

There's nothing worth buying more than free time.
Foetus – Termination Checker for Simple Functional Programs [pdf]
No worries, HN can always defrost some more when needed.
This is the most doomer take on the problem. You could say the same thing about learning to write or do math.
Euler had way more impact than Erdos. Euler laid the foundation for a vast amount of applications. Erdos did establish probabilistic methods in graph theory and combinatorics but outside of that I’m not aware of other foundational breakthroughs of Erdos.
This Convoy? https://en.wikipedia.org/wiki/Convoy_(company)

If yes, it sounds rough!

> On 19th October 2023, Convoy ceased operations and laid off remaining staff. Remaining staff were given no severance and were told their stock options were worthless.[9] In a memo sent that day to employees, Lewis points to "a massive freight recession and a contraction in the capital markets" as major factors resulting in the company's failure.[10]
That language behavior fundamentally misrepresents how a proper cons should actually work. It's a link between any two values, represented as essentially two joined pointers, one to each value. It represents a linked list when cons cells are nested, but that's just something that falls out of the far more beautiful and fundamental core axiom of the cons cell, not all of what cons cells are. Thus claiming cons cells must be nested (which is what requiring the second argument of cons to be a list (I.e. more nested cons cells or nil) implies) is actually bastardizing what a cons cell is, reducing it to a menial operation for producing lists that means the same thing as "prepend" instead of an elegant core abstraction you can derive further things from. Bastardizing it like this, honestly especially in a language for teaching CS, in the name of talking down to students, is unforgivable. I learned Common Lisp at 12 partially from Land of Lisp and partially from a Lisp 1.5 manual and experimentation. Properly learning the core abstractions was vital.
I don't understand. Is Boeing using a different anti-ice system on the engines for the MAX 7 compared to the other MAX variants? They use the same engines, no? Why would the MAX 7 need a safety exemption for a system that should be identical across the 4 variants?
I was worried it would involve some very dubious taxidermy… I am pleasantly relieved !
The closest I've ever come to that matrix scene with the characters - is Dwarf Fortress.

For anyone who hasn't played the "ASCII" (technically modified Unicode iirc but eh, whatevers) it's worth doing so. After a short enough time you'll recognize the various characters quite well.

c+||@++c+cc+@@||,.,,.U,ggCgggT

https://dwarffortresswiki.org/index.php/ASCII_art_reward/A-F...
Not just simpleness but also performance profit, since the premise is fonts are the most optimized rendering stack everywhere.

Btw that one-liner function is helper, you don't have to install it it, just do `String.fromCharCode(0x100 + value)` to render character.
> If an investigator is determined enough eventually the target will inevitably slip up and be found out.

According to [1] she was only a fugitive for 43 days until they caught her in Costa Rice which is hardly an extreme example. They knew which country she was in within weeks of her escape so she wasn't a criminal mastermind. This is just PR fluff for the US Marshals.

[1] https://en.wikipedia.org/wiki/Murder_of_Moriah_Wilson
Do you have a link? This is something I've wanted.
Yes, that was the memory glitching attack.

But it was a pretty hard exploit to pull off, the required pulse was pretty short and required getting lucky. Nobody ever developed it into something particularly useful for end users, and it didn't directly enable piracy.

While I suspect the unknown person who developed the PSJailbreak exploit did use that attack as a stepping stone towards hacking GameOS, it was not a requirement. And it also could have been done from GameOS once you had kernel level code executing there.
There's a unique identifier, but it's your secret and can't be used for tracking. Sites needing verification don't learn anything except that you "have" a token matching the condition they are checking. This includes not learning your unique identifier, so they can't use it for tracking. The issuer also doesn't learn anything about your verification queries.

You have an incentive to keep the secret token to yourself, and would probably use existing mechanisms for that: You might manage like your phone number, private email and other personal accounts today. Not perfect, but effective most of the time for most people.

You might decide to share it with someone you trust, like your sibling. That's up to you, but you wouldn't share it widely or with people you don't trust, even under pressure, because:

To prevent mass reuse of stolen tokens, it's possible to use more cryptography to detect when the same token is reused in too many places, either on the same site or across many sites, without revealing tokens that don't meet the mass-reuse condition, so they still can't be used for tracking. If mass-reused tokens auto-revoke, they can't be reused thousands of times by anyone, and that also provides an incentive to avoid sharing with people you don't trust.

I won't pretend this is trivial. It's fairly advanced stuff. But the components exist these days. The last paragraph above requires combining zero-knowledge proofs (ZKP) with other branches of modern cryptography, called multi-party computation (MPC) and perhaps fully homomorphic encryption (FHE).
So... are the humans being used to train AI or not? The article seemed vague on this. It makes sense that they would be, if only to eventually lay off the humans to save costs. (Assuming that the AI inference is actually cheaper than employing humans to do it. Maybe if the models are complex enough it wouldn't be.)

The thing I find confusing is this: if an AI were being trained, I would expect it to quickly get good at distinguishing the extremely obvious bad content from obvious acceptable content. So over time, you would expect the human moderators to only need to make calls about borderline cases. I.e., over time what the humans see will tend to become less horrible, and the AI will eventually get good at making those calls as well. If this isn't happening, why not?
I’ve still got a couple from Nationwide, keeping them just in case they ever demutualise.
Hard to compare as others have said, since they were from different eras. Personally I think Euler has made more of a mark due to his contributions to multiple independent fields spanning the whole of mathematics at the time.
Arguing it is $1,000,000.00 is wrong.

Arguing that it represents the order of magnitude of potential damage is cogent.
I wish I could decide to not pay my taxes, and give a fraudulent excuse, and not go to jail.
A better comparison would be to see what Euler could produce when powered by amphetamines like Erdos. ;)
The creator of Programming Language Benchmarks 2 is on Apple Silicon, and apparently SBCL compilation works out of the box: <https://github.com/attractivechaos/plb2>.
Because you'd need like 10 solar panels to run one of those, compared to like 2 for a modern system? ;)
A $20 toaster has overheat detection technology. Presumably other planes are doing this already. I am not understanding how there is a novel engineering problem to solve that could not be incorporated into the release.
If the CEO supported it, why didn't it happen?

CEOs like tax dodges and plausible deniability.
> requiring the second argument of cons to be a list

A language called ISLisp (ISO Standard Lisp) also does this nasty thing.
Random ideas!

- Make this an ISP level thing? Somehow? They already know the makeup of a household. If they know a house has kids, something something ToS "You as the parents are liable..." Then maybe repeat those scary RIAA letters but "for good" when someone in that household hits a known adult IP?

- Maybe browsers send an "I'm an adult" flag similar to "Do Not Track," and to turn it on, the user has to enter a not-to-be-shared-with-kids PIN? If the browser and OS can coordinate, OSes would be able to tell the browser if the user is an adult, and skip the PIN entering.

- Force kids to use a list of Congress-approved devices that gate access to the wider Internet? YouTube Kids but for everything. Yes, hacker kids will be able to get by, but this being Hacker News, they'd deserve the fruits of that particular labor.

Just spitballing. Anything obvious I'm missing?

PS- I am neither for nor against the Florida-type legislation as of this comment.
I used to have a version of this experiment myself -- there was a desk toy that was a transparent tube with dark caps at either end and a somewhat viscous liquid inside. Because of refraction, bubbles in the tube looked much larger than they were, and so perhaps 30 of them would flow up, in about a minute, each time the tube was flipped. I bought one in 1996 or so, and picked the one that was the slowest -- it took maybe two minutes at the time.

This turned out to be because the liquid was -- very slowly -- evaporating out of the tube, and getting thicker.

Within a year, it took about 5 to 10 minutes.

Within five years, it took over an hour.

After ten years it took weeks.

After fifteen years, it took most of a year.

I last flipped it over in something like 2015, and after several years it appeared to be pretty much unmoving, although I assume it was still making progress. I used to joke that I wanted it to be flipped one last time and placed beside me in my coffin, but I lost it in a move several years ago.
> support will have already ended.

But the support is "indefinite", meaning it doesn't haven't an end date for the customers on that tier.
Great point: In US bankruptcy law, "Chapter 7" is liquidation, and "Chapter 11" is re-org. Often, a well-managed Chapter 11 bankruptcy can allow a company to reduce debt burden and emerge as a stronger company, saving many jobs in the process. Chapter 11 bankruptcy is common in the US airline industry.
Right, "unix" roughly means

- Derived from Bell Labs unix source

- Legally allowed to use the UNIX trademark (AKA certified Unix)

- A unix-shaped OS (similar but not 100% the same as POSIX complacence)

and those things are basically independent. Most GNU/Linux are unix-likes but not derived from original unix code or certified, but there's been 1-2 that did get certified. The BSDs are (now quite distantly ) derived from unix source but not certified (although ex. UnixWare is IIRC). Solaris was all 3 but OpenSolaris and now illumos are obviously unix-like and still based on the original code but not certified UNIX™.

(Take all this with a grain of salt; I'm typing this all from memory and IANAL)
Yep, I seriously considered a Mac Studio a few months ago when I was putting together an “AI server” for home usage, but I had my old 3090 just sitting around, and I was ready to upgrade the CPU on my gaming desktop… so then I had that desktop’s previous CPU. I just had too many parts already, and it deeply annoys me that Apple won’t put standard, user-upgradable NVMe SSDs on their desktops. Otherwise, the Mac Studio is a very appealing option for sure.
This is clever sleuthery, but I had thought from the headline it would be about a motorist who hit a cyclist.

TBH that would have been more satisfying but such events are almost never prosecuted.
Damn, poor little Google seems really scared. I'm not sure if that info is true. You have to provide the whole source of the entire product and not just a segment of code (eg library) you forked which they do often?
I’m not sure tbh
The Ambience.LIFE App
The ambience.LIFE web-based app is a developing ecosystem for creating a happier, healthier, more fulfilling life with tools that prompts members to focus on, define, and refine passions, outcomes, and goals for increased success in all areas of life.

We would love your feedback. Sign up for free to access our free features.

Or, sign up using discount code to get lifetime access to all current and future premium features for just $2.99:
Ycomb299

Thanks in advance for your help with our small-budget, big-hearted businesses!
Who here has an Erdos number?
To me the greatest contribution of Erdos is the social aspect of mathematics. He physically shared his enthusiasm with so many people. He inspires me to work together with others, and to leave your ego behind. He inspired so many with his true love of math.
It's weird that air carriers can sell lost luggage, but if you find someones stuff and sell it, it's typically illegal.

People report their missing luggage, definitionally air carriers know the passengers. Without explicit consent to sell the luggage why is this allowed? If an airline loses my luggage, and "compensates" me, they still have no right to sell it. It could include all kinds of personal information, or things of personal value, etc.
It may have been an early version. I tried to look it up but seems the Pine forums are down..
It might be, or it may also be that we're much better at managing them (and tutorials and guides implicitly encourage you to control for them).

Once I learned how to not starve, DF was never terribly difficult for me, but then again I wasn't trying expeditions to undead wastelands.
i live in shenzhen and i would love it if prices dropped 30-40%. i'd buy an apartment immediately lol. i've been checking real estate prices every once and a while for about 5 years now ready to buy if something shows up at a good price in an area i want to live in

the reality so far is that prices have pretty much stayed flat for the past 4-5 years. there hasnt been any significant fall anywhere within like 1 hour of me in shenzhen
> the books and author literally says the opposite

Should be easy to find a quote then.
I look at it as a lightly goofy take on the "dark" color scheme idea. I'm a Monokai person myself but I always have a sensible chuckle when I see people built stuff with Dracula.
What are the good Linux mobile devices nowadays? I still believe in mobile linux, but not necessarily Pine..
whisper is simply not designed for this, in many ways, and it's impressive engineering to try and overcome its limitations, but I can't help but feel that it is easier to just use an architecture that is designed for the problem.

I was impressed by Kaldi's models for streaming ASR: https://k2-fsa.github.io/sherpa/onnx/pretrained_models/index... ; I suspect that the Nvidia/Suno Parakeet models will also be pretty good for streaming https://huggingface.co/nvidia/parakeet-ctc-0.6b
While this is an interesting theoretical result, we need to remember that they found an algorithm that is (log n)^O(n). In other words, this is not practical to solve problems with moderate to large size n.
While the probability for this flaw to manifest is probably on the order of magnitude of that of being hit by lightning while being eaten by a shark, I'm with you.

Safety exemptions are there for a reason and this doesn't sound like a fitting example.
Small note: JetBlue was started in 1999/2000, so it would be included on the "exception" list. But overall, your point stands. Chapter 11 re-org is bizarrely common in US airlines. Warren Buffett has many funny quotes about the terrible return on investment for US airlines -- both debt and equity.
> Dracula is one of the most popular IDE and text editor color schemes

For sure. I've definitely seen Dracula for many years on reddit/hn. Haven't seen anyone use it personally, but that's a small sample size. It's not a bad theme by any means, it's well designed based on the choice of colors and style they're going for. Not one I'd use, but I can why others may.

Gotta respect their whole ecosystem thing they've got. They offer it for a lot of different things, editors/browsers/terminals/probably OS themes too. Don't see that with other themes.
Wouldn't the "open source ones like SCIP for the small ones." be public by design?
Dr John Sarno got all of this right in the 90’s. Thirty years ago.
A (US) math friend once described it to me as Euler and Gauss creating the interstate system, and people like Erdös spending their careers putting up signposts on as many exits as they could spot. Some of those exits might turn out to be major highways of their own, but we can't tell until other generations of mathematicians take those exits and see where they lead.
This makes me nostalgic for something that I never had and doesn't seem to exist anymore, labs unburdened by either the red tape of government or academia, or alternately, the pressure for results and profits that many startups seem to slaved to. Is there a 21st century equivalent of Bell Labs out there somewhere? Asking for a friend.
> I think this is a new business that was made possible by technology, but in its current state, it undermines the social fabric of society
When I first started to program professionally, I was fascinated with the blameless postmortem culture that my ex-employer had. I thought (and still do) it is incredibly conducive to systemic improvement. I’m happy it is legally codified in the aviation industry.
You can click continue reading on web
It was a trampoline designed for this type of install. The frame bolted onto a retaining wall type rectangle I built.
I'm unrelated to this article but I often share previews of new unpublished articles with HN to get intelligent feedback on them.
Interesting, so seems like asset stores are way bigger than I thought. I guess, when I think of Pixel art games, I'm thinking about indie games like Stardew Valley, Celeste, and Undertale, maybe I am just revealing my own gaming biases.
What you really care about here is not resale value but "depreciation" curves.

Traditional PCs kind of depreciate like cars: you get a massive hit at the beginning, but then relatively slow depreciation there on out. Which makes buying second hand a better choice.

Macs depreciate kind of like buildings, slow at first, then it falls off a cliff (around when Apple drops support in the latest OSes), but then slow depreciation again.
For a subset of the unhoused, yes. Some chronically unhoused people don't have the skills to function in housing, some chronically unhoused people have mental illnesses that make staying in housing difficult for them and the people around them. A small subset unhoused people want to live on the street. Homes without social services and a safety net is setting up the broad unhoused population up for failure, and then we wonder why housing programs don't work and throw money at something else.

Homelessness is an incredibly complicated issue. Mental healthcare is not the answer, medical care is not the answer, financial support is not the answer, housing is not the answer. Some combination of those things in the right proportion is the answer, and it's not one size fits all.
Can you view this format on a phone?
>Any time you take biological material out of other human beings and put them in a different body, it seems like you are introducing a lot more uncertainty and risk

But this always had to be weighed against the risks of not getting the transfusion. Typically the consequences of not getting a transfusion when it is medically indicated is pretty severe.

We don't really need to worry about unlikely not-yet-understood edge cases that happen years later from procedures we've done millions of times. We gotta gotta about blood loss.
Random aside, I haven’t seen NY enforce the anti mask legislation during the Halloween parade, various protests, or Covid. So I bet a new constitutional challenge could be erected.
I've seen Dart filling this gap for many apps lately
Also Insultingly Bad Movie Physics' #1 pick of all time! http://www.intuitor.com/moviephysics/core.html
Why is this downvoted? Sure, a bit emotional, but the content still stands. There are so many places where Roomba and friends cannot reach. I still was a washer / dryer than can fold my clothes and change the sheets on my bed. That seems like an almost impossible task for a robot.
The firm is testing the waters with Nasdaq Global Market for trading common shares and warrants.
Kelly is of the firm opinion that the listing would aid in expanding its pool of potential investors.
GRIID, a cryptocurrency mining firm, situated in the United States, has formally gone live on the Nasdaq stock exchange. Up until this point, GRIID was known for operating Bitcoin mining operations that were vertically integrated and made use of cheap, low-carbon energy.

Although it was founded in 2018, it wasn’t until 2019 that it started mining Bitcoins. The GRIID Bitcoin mining operation has become well-known over the years as a result of its extensive network of influential connections.
Mutiny on the Discovery
It's a bit of both.

It's not too hard to get cash-only "customers" to buy services you don't have to actually perform.

It's also pretty easy to write two invoices, feign a mixup, and skim some off the top of a payment.
Early access for planes. The next step in commercial aviation.

Feel the thrill of life threatening bugs!
> Boeing said late on Monday "while we are confident that the proposed time-limited exemption for that system follows established FAA processes to ensure safe operation, we will instead incorporate an engineering solution that will be completed during the certification process."

Anybody else get the exact opposite of a warm fuzzy feeling about the specific wording choice used by Boeing there?
Also regular medical care. A lot of the unhoused have chronic but treatable illnesses which they currently lack the resources (or trust in medicine) to address.
It depends on the country. If a Nigerian commits a crime and flees to Nigeria and has family there, he will probably never be found (barring some sort of high dollar concerted effort).
I think most of the tips outlined in this article make sense for anyone wanting to succeed at something regardless of their talents or intellect.

I think the working hard mentality should be approached with gumption and attention to detail as this can lead to high quality results.
I bet 99% people of who buy privacy invading products do not care. Yes, I know that HN loves to go on and on about privacy invasion. Yes, many educated people will tell you that they don't like companies monetising their personal info and habits, but if you watch their actions, they do not care.
Looks similar to the custom theme I built several years back for HN and still use to this day: https://imgur.com/a/ty2TNHJ
Summary of the text: "How to herd a heard of nerds?"
Technically it's sort of a shower cap that's embeded in the skull.
If you try to make your path close to a circle, it’s obviously not guaranteed to be optimal, but it’ll probably be close enough for most small practical applications
Tesla is the precursor to the Adeptus Mechanicus, and between Neuralink and Optimus, Elon has invented the servitor.
The AD applies to all 737s using that same engine: https://www.federalregister.gov/documents/2023/08/10/2023-17...

However, the MAX 8 and MAX 9 had already been certified and delivered before this AD was published, while the MAX 7 had delays in certification.
Contranoid