MurphyA/hacker-news huggingface dataset:
by noduerme | 2025-05-14 10:40:58+00:00
Yeah, you must be my age. I was kinda blessed to go to a school that had a couple Apple IIes and let the kids take turns using Logo to draw shapes with the turtle, when I was 8 years old or so. I'd written some BASIC before on my mom's IBM-PC (stupid "Hello, what's your name?:" GOTO 100 kind of stuff), but Logo was a new way of thinking about the screen for me. Probably that and the early Rand/Robyn games (the Manhole, Cosmic Osmo) got me into coding. Soon after, my school bought some Mac SEs and I spent the rest of my elementary school screwing around with HyperCard after school, trying to make an RPG.

If there's one thing I'd love to suggest to parents, it's this: Give your kid an obsolete platform with nothing to do on it except make stuff and figure out how it works. It's just as entertaining, but diametrically opposite in terms of educational quality from giving them pre-made apps to play with.

(Full disclosure: My dad wouldn't even allow D&D into the house because it was someone else's game. If we wanted RPGs, we had to design our own on paper.)
by archi42 | 2025-05-14 10:41:01+00:00
The BT blob (or WiFi blob, or general radio blob) often controls low level aspects of the actual RF device. So you can often alter frequencies, power levels and other parameters. This results in the device acting out of spec.

Now one might say that's the fault of the person doing the modifications/manipulations, but regulations in various countries require the device to prevent these manipulations.

(N.B. I'm not in the exact business, but that's my take away from looking into the topic some time ago)
by seeknotfind | 2025-05-14 10:43:16+00:00
This is anticipated from work on constrained output from LLMs, and it's good to see it being developed. One nitpick though, this paper mentions the complexities of implementing type checking for program prefixes in languages that are not context free. It's true this is extremely difficult for languages which are context sensitive, especially because types may be defined after they are used. However, it does not mention that it is impossible to implement such a program for Turing complete languages such as C++. I would never miss such an opportunity to criticize C++ and highlight the need for better language design. I love you C++.
by melissabaerz60 | 2025-05-14 10:44:09+00:00
My partner was diagnosed with Parkinson’s almost 5 years ago. His disease has progressed significantly in the past year, and he begun to have delusions. He also had side effects from carbidopa/levodopa, which we decided to stop, and our primary physician decided he should start on PD-5 formula 4 months ago from UINE HEALTH CENTER. He now sleeps soundly, works out frequently, and is now very active since we started him on the PD-5 formula. It doesn’t make the Parkinson’s disease go away, but it did give him a better quality of life. We got the treatment from www. uineheathcentre. com
by bArray | 2025-05-14 10:46:15+00:00
I don't know how this can be legal at all, the liabilities are against the company and not the owners - and nothing changed about the company. When they purchased the company, it's name/trademark, the customer base, software, etc, they also purchased the liabilities. The only way I can think you can avoid purchasing the liabilities is to go into bankruptcy.

If this is allowed to sit, then any small/medium tech company could promise the world to their customers, then just "sell" the company to a family member without the "liabilities" and there would be no recourse.

That all said, I'm launching my new company "infinite money glitch". For 0.1 BTC for a life time subscription we'll send you 0.01 BTC back every month. Don't worry about the sale of the company planned in a few months to my cousin, trust me bro.
by pjc50 | 2025-05-14 10:46:32+00:00
Archive.org link since it's already creaking a bit: https://web.archive.org/web/20250403094724/https://ati.woodl...

Most interesting examples are at https://web.archive.org/web/20240112222212/https://ati.woodl... and https://web.archive.org/web/20210926031301/https://ati.woodl...
by mrweasel | 2025-05-14 10:46:34+00:00
Apparent my wish for a fitness tracker that's not a watch is also pretty niche. I know that there are rings, but I also don't like rings.

Basically I want a bracelet, if it must be on my arm, but ideally it would be an ankle bracelet. I'm not sure that would provide a convenient spot to get heart rate, or data beyond steps.
by psychoslave | 2025-05-14 10:48:00+00:00
What do you mean with usual sense? Maybe it's "financial" that put the interpretation out of the track, but financial comes fidus, that is trust, as in trust that outcomes of reality will meet some expectation of a mental representation.¹

"You own a toy" is the first thing a child is teached as wrong assumption by reality if not by careful social education, isn't it? The reality is, "you can play with the toy in some time frame, and sharing with others is the only way we can all benefit of joyful ludic moment, while claims of indefinite exclusive use of the toy despite limited attention span that an individual can spend on it is socially detrimental."

Also memory as an abstract object pragmatically operate on very different ground than a toy. If we could duplicate any human hand grabbable object as information carried by memory holding object, then any economy would virtually be a waste of human attention.

¹ edit: actually I was wrong here, I have been in confusion with "fiduciary". Finance instead comes from french "fin"(end), as in "end of debt".
by OgsyedIE | 2025-05-14 10:48:20+00:00
This is a hint of the direction of a future backlash. People who use LLMs and other AI programs as collaborators and even as coworkers will be stigmatized and attacked by the easily-automated, in groups, because of the marginally less poor career prospects.

Learning the cognitive framings for working with AI to boost your own efficiency is moderately easy but it feels impossible to the uninformed. Some even deeply believe that lifelong learning is itself a hoax.
by shlant | 2025-05-14 10:48:53+00:00
> especially with US-based rentals, and now I'm a skeptic at best.

I have been using AirBNB for years (top 5% guest at one point) with virtually no issues (that weren't quickly resolved by support) and I imagine my experiences are this way because I am almost never in the US. I would love to see a poll on how people rate AirBnB broken down by where they usually stay.
by jeroenhd | 2025-05-14 10:49:18+00:00
> SAF cannot be used, as it is for sharing/exposing our files to other apps

SAF can be used. There are reasons why this wouldn't be a good fit for NextCloud (you can't share your entire internal storage, your download folder, or the root of an SD card, for instance), but I don't think NextCloud's statement makes sense.
by Avamander | 2025-05-14 10:49:23+00:00
> GNU need a better issue tracking system :-)

This is a problem with quite a few older projects, that issues get buried in the endless depths of unindexed mailing lists, if at all. People bemoan Discord (rightfully) for making info like this unaccessible, but IRC (that some projects still use) is basically twice as bad.

I really wish these projects would migrate to Gitea/Forgejo/Codeberg, GitLab or GitHub or anything like that, just to bring these things together and provide vital discoverability.
by vjerancrnjak | 2025-05-14 10:52:30+00:00
online reviews are inflated for everything

bribes or people just commenting "great" on avg or below avg offerings

If someone rents a place with scheduled roof repairs, not informing AirBnB or customer, they should be eternally banned. I couldn't even get a full refund. I can't imagine actual hospitality places with a long tradition around Mediterranean to ever do something like that.

I feel like it's very similar with everything:

* suitcases without nice silent rubber wheels, even premium suitcases have loud plastic ones,

* airplanes are a chore, descending into madness over time,

* eternally inefficient software, becoming slower and slower on faster hardware,

* tiktok guitarists without skill showing off their montaged videos earning a living through popularity,

the majority is voting out quality and care out of everything.
by 5rest | 2025-05-14 10:52:52+00:00
Terrent Tao's video description: In this experiment, I took a statement in universal algebra that a collaborator of mine (Bruno Le Floch) on the Equational Theories Project had written a one-page human proof of, and set the task of formalizing the proof in a very low-level, "line by line" fashion, with heavy reliance on both the large language model-powered code completion tool "Github Copilot" and the dependent type matching tactic "canonical". The proof was formalized in about 33 minutes.
by robocat | 2025-05-14 10:52:53+00:00
> noone can be told

Great article on how the US does that: https://www.bitsaboutmoney.com/archive/debanking-and-debunki...

No, the bank cannot explain why SARs triggered a debanking, because disclosing the existence of a SAR is illegal. Yes, it is the law in the United States that a private non-court, in possession of a memo written by a non-intelligence analyst, cannot describe the nature of the non-accusation the memo makes. Nor can it confirm or deny the existence of the memo. It’s not just illegal to disclose a SAR to the customer. It is extremely discouraged, by Compliance, to allow there to be an information flow within the bank itself that would allow most employees who interact directly with customers, like call center reps or their branch banker, to learn the existence of SAR. This is out of the concern that they would provide a customer with a responsive answer to the question “Why are you closing my account?!” And so this is one case where in [Seeing like a Bank] the institution intentionally blinds itself. Very soon after making the decision to close your account the bank does not know specifically why it chose to close your account.
by ciberado | 2025-05-14 10:53:38+00:00
Your app is simply awesome. I've playing with it for a bit and I can see how this approach would make traditional homework much more engaging. Also, the LLM doesn't care about the language used in the responses, so my understanding is that localizing the content in different languages would be very straightforward.

This is, I think, particularly important for kids in most parts of the world as a majority of the internet pedagogical content is English-based. Or for people like me, that struggle with that language when talking about topics outside the tech industry.

Congrats for your project, I'm sure we share the same positive view about the future of learning :)
by breakboredom | 2025-05-14 10:54:25+00:00
hey, I'm Adam

for the past 10 years i've struggled with spending my time outside of work in a meaningful way. in the past couple years, some major life events encoured me to just Try Things! I tried over 100+ hobbies and made a database to keep track of what i've tried.

after burning out and hating both my job and my free time, I realized the problem wasn't productivity — it was meaningful leisure. I wanted to build something that helped others like me find purpose, challenge, and play again

I've decided since this process was so helpful for me when I started out, finding my passions now that I never would've thought I'd love (bouldering, jiujitsu, and muay thai), I'm going to share it with the world.

i've just built Break Boredom - https://breakboredom.vercel.app/ . It's soon to be released. A database of 150+ activities to try it, which will personalize recommendations based on Psychometrics from Psychology (my background). This helped me get out of my own rut.

in the short term, you can filter by mood, energy, social level. in the future I will add support to connect with other likeminded individuals and build a community

If people find it useful, I might turn it into a full site/app.

Let me know if any feedback or suggestions!
by incomingpain | 2025-05-14 10:54:34+00:00
This is an old article. They seen more of these built. Vance had a comment about if Taiwan goes away the global economy collapses. Otherwise not much new development.

In reality the new fabs in the usa and eu are coming online and making taiwan less important. I'm fairly confident that China will take Taiwan sooner rather than later.

Arizona's fabs were specifically designed to move R&D out of taiwan. When these come online nothing in taiwan really matters anymore.
by benimar | 2025-05-14 10:54:43+00:00
Most 4 start hotels and resorts have either connecting rooms or family rooms in Europe (the latter especially true for resorts). They are far less common on lower categories though. I suppose to book connecting room you might have to call sometimes rather than going through online platforms though. Hotel with kitchenette and washing are not that hard to find either. They certainly more common on location were people tend to spend longer stay rather than in touristic cities were people spend on average just a few nights (ie. mountain and seaside places were people sometimes spend weeks or even months), usually they call them aparthotels or suites depending or something like that.
by casey2 | 2025-05-14 10:55:10+00:00
I would say knowing the useless features of c++ is a pre-requisite for learning rust yes. It's yet another c++ replacement designed by a committee of phds.

You would think they would be smart enough to realize that a language taking X hours to learn is a language flaw not a user flaw, but modern education focuses on specialization talents rather than general intelligence.
by bayesianbot | 2025-05-14 10:55:23+00:00
There are ESP32 watches. One I have[1] comes with quite thick 940mAh battery but my understanding is the battery life still isn't that amazing (just got it, haven't really tested the battery) - something like less than a day of constant runtime or few days if you turn it off constantly

[1] https://lilygo.cc/products/t-watch-s3-plus
by timmg | 2025-05-14 10:56:36+00:00
I remember the first post by the Neon team here on HN. I think I commented at the time that I thought it was a great idea. I’ve never had a need to use them yet, but thought I always would.

Cynically, am I the only one who takes pause because of an acquisition like this? It worries me that they will need to be more focused on the needs of their new owners, rather than their users. In theory, the needs should align — but I’m not sure it usually works out that way in practice.
by kibwen | 2025-05-14 10:57:00+00:00
> Why can mutable reference be only handed out once?

Here's a single-threaded program which would exhibit dangling pointers if Rust allowed handing out multiple references (mutable or otherwise) to data that's being mutated:

let mut v = Vec::new(); v.push(42); // Address of first element: 0x6533c883fb10 println!("{:p}", &v[0]); // Put something after v on the heap // so it can't be grown in-place let v2 = v.clone(); v.push(43); v.push(44); v.push(45); // Exceed capacity and trigger reallocation v.push(46); // New address of first element: 0x6533c883fb50 println!("{:p}", &v[0]);
by pjc50 | 2025-05-14 10:57:01+00:00
Pretty much all the "USA #1" types place Peak America after WW2, not before it. Reasonable historians would agree that it was less of a world power than the European nations before WW1, roughly on-par at the time of the Washington Naval Treaty, and surpassing them at some point between 1930 and 1945.

The Great Depression did a lot of damage to individuals but FDR's response to that, and later the war, strengthened the US as a nation.
by tudorg | 2025-05-14 10:59:14+00:00
[Disclaimer: I work for Xata]

As it happens, we've just launched our new Xata platform (https://xata.io/) which has some of the key Neon features: instant copy-on-write branching and separation of storage and compute. As an extra twist, we also can do anonymization (PII masking) between your production database and developer branches.

The way we do copy-on-write branches is a bit different. We haven't done any modifications to Postgres but do it completely at the storage layer, which is a distributed system in itself. This also brings some I/O performance opportunities.

While Xata has been around for a while, we're just launching this new platform, and it is in Private Beta. But we are happy to work with you if you are interested.

Btw, congrats to the Neon team!
by AStonesThrow | 2025-05-14 10:59:50+00:00
In Maricopa County, each city has discretion to operate a system of circulators or shuttles. Many of them do. Many of them are fare-free.

For example, in Scottsdale there are old-timey "trolleys" which look like streetcars, but they are just buses with fancy chassis. They operate routes which go through some neighborhoods and commercial districts, such as Old Town, to get people shopping and gambling and attending events.

In Tempe, there are "Orbit" buses which mostly drive through residential neighborhoods. They are mostly designed to get riders to-and-from standard bus routes and stations. You can also do plenty of shopping and sightseeing and day-drinking on these routes.

In Downtown Phoenix there is a system of "DASH" buses which, among other things, have serviced the Capitol area, which is due west of the downtown hub, where buses fear to tread, because it is also the site of "The Zone" where the worst street people congregate and camp-out.

Now all of these free circulators tend to be popular with the homeless, the poor, and freeloaders, but they are also appreciated by students and ordinary transit passengers, because we need to walk far less, and there are far more possibilities to connect from one route to another.

An innovative feature of many circulators is the "flag stop zone". Rather than having appointed stops with shelters, signs or benches, you can signal the operator that you wish to board or disembark, anywhere in the zone. The operator will stop where it's safe. While it is still a fixed route, it gains some of the flexibility for the passengers to make the most convenient stops.
by chriswarbo | 2025-05-14 11:01:12+00:00
The classic approach to this is Djinn https://hackage.haskell.org/package/djinn It's not very good with concrete types (Text, Int, MyCustomThing, etc.) but is good for polymorphic functions whose parts only fit together in a few ways.

More recent work is better at using concrete types, and choosing functions from Hackage, like Hoogle+ https://github.com/TyGuS/hoogle_plus and Hectare https://dl.acm.org/doi/10.1145/3547622

There's also "inductive programming" (producing a function from input/output examples), with Haskell implementations like Magic Haskeller http://nautilus.cs.miyazaki-u.ac.jp/~skata/MagicHaskeller.ht...
by lukan | 2025-05-14 11:01:20+00:00
"Every child has seen a face in a cloud and 'designed' something outside of themselves. This is where teachers are amazing."

Hm. My teachers rather stopped me from looking outside the window to see faces in the clouds and placed me on a seat far away from any window so I could fully focus on the less interesting topics at hand, that society demands that I know. (Yet when I was succesfully done with all that schools, I found that I learned very little of practical value from my higher education anyway)
by koakuma-chan | 2025-05-14 11:01:33+00:00
> ...do you think the book is like a money grab or something?

Yes. Regardless of what you intended, IMHO, it comes off as a money grab, and the fact that it glows and "Get the book" is in that high contrast purple doesn't make it better. Maybe it's just me, but I would suggest making it less conspicuous.

edit: and the book image causes a content layout shift when it loads
by jeroenhd | 2025-05-14 11:02:13+00:00
What apps in Google's ecosystem have the "all files" permission? Google Drive certainly doesn't. The "upload" button on GDrive prompts you to select a file just like NextCloud does.

The "sync just one folder" functionality exists in SAF without any high-risk permissions. Migration of existing profiles may be a pain (as the user would need to grant permission on the folder when switching to the new API).

Synchronisation of the entire virtual storage, the download folder, or any extra folders vendors like Samsung might've added to the blacklist, isn't possible with the new API, but it's also not possible with Google's own services. The DMA only requires Google not to be put in a special position; as long as they don't offer such a feature, they don't need to offer it to NextCloud.
by Thedarkb | 2025-05-14 11:02:28+00:00
The framing device for The Legend of Zelda games is that it's a mythological cycle in which Link, Ganon, and Zelda are periodically reborn and the plot begins anew with new characters. It lets them be flexible with the setting, side quests, and characters as the series progresses and it's been selling games for just shy of forty years.
by rsynnott | 2025-05-14 11:03:15+00:00
There seems to be a perception, actually particularly on here, that being a landlord is a gateway to magic free money, and maybe a lack of consideration that it is basically a _job_, working with risky rather illiquid assets.

I kind of thought this belief was a young-person thing, though; I'm a little surprised to see someone my age going all-out on it, because they were presumably around for the great financial crisis, when, ah, bad things happened to a lot of overleveraged amateur landlords.
by casey2 | 2025-05-14 11:04:31+00:00
Let me help you

If it takes the average person 1 million hours to learn rust then the average person won't learn rust

If it takes the average person 1 hour to learn rust then the average person will learn rust.

If you were designing a language which would you pick all else being equal?

To your question, no but I wouldn't be puzzled when most people pick up a guitar. (Both are so much more intuitive than any programming language so the metaphor sets false expectations. Slick political move, but probably just turns more people off of Rust)
by noduerme | 2025-05-14 11:04:46+00:00
On the sidebar, probably more interesting than this dreary debate about busses, I noticed you altered your spelling to the generally accepted version. It made me look it up, and it was interesting because I've always spelt it with a double-S. According to MW:

>> The plural of bus is buses. A variant plural, busses, is also given in the dictionary, but has become so rare that it seems like an error to many people.

>> Nevertheless, buses is problematic: it looks like fuses, but doesn’t rhyme with it. Abuses doesn’t rhyme in two different possible ways: the noun with the \s\ sound or the verb with the \z\ sound. Words that do rhyme with bus are usually spelled with a double s, like fusses or trusses.

>> When the word bus was new, the two plurals were in competition, but buses overtook busses in frequency in the 1930s, and today is the overwhelming choice of writers and editors. Busses was the preferred form in Merriam-Webster dictionaries until 1961.

>> As for the verb bus—which may mean either "to transport someone in a bus" or "to remove dirty dishes from [as from a table]"—we do recognize bussed and bussing as variants.

[0] https://www.merriam-webster.com/grammar/plural-of-bus
by rafram | 2025-05-14 11:05:21+00:00
What I’ve learned (the hard way) is that you just get what you pay for. If an Airbnb is $100 and all the hotels in the area are $200, no matter what the photos look like and how good the reviews are, it will be terrible. Most people review at the end of their trip, when the disappointment of getting a crappy place is starting to fade, and tend to rate cheap places better than they really deserve.