skysight-inc/HackerNews huggingface dataset:
Related:

World’s largest (7 countries, 7,237km) Strava art is finally finished (2 points, 2 years ago, no comments) https://news.ycombinator.com/item?id=32523588

Strava artist draws pictures with his bike and GPS (2 points, 9 years ago, no comments) https://news.ycombinator.com/item?id=11138751

US teacher tracks his bike rides by GPS - and creates some stunning artwork (14 points, 13 years ago, 4 comments) https://news.ycombinator.com/item?id=3518331

Swedish artist ships GPS to make world's biggest sketch (4 points, 17 years ago, 3 comments) https://news.ycombinator.com/item?id=201026
Fascinating stuff. Though it puzzles me that some of these exotic superconductors have been known to us for years yet there’s not been much progress (esp the one with graphene sheets, with a 1 degree tilt). Is that because they are just so hard to synthesize? What would it take to get to the next stage?

I came across another technique discovered many years ago, where they used scotch tape to alter the physical configuration of the material to make it superconduct. At room temperature, I believe.

This all sounds very ground breaking to me, yet we don’t hear about any big co doing any work on them.
To finish that sentence:

> , and reported getting a full hour of extra rest each night.

An hour seems like kind of a big impact.
go is such a clumsy, inelegant language
Kind of hacktastic but I guess you could make an external tool that backs up pyproject.toml, sets it to have whatever is installed in the .venv as pinned dependencies, builds the wheel, then restored the old file.

Seems like the kind of thing that might have some kind of edge case somewhere I'm not thinking of at the moment though.
The thing you’re missing is network effects.

I use WhatsApp because all my family and friends are on it. We’re all on it because it’s the dominant chat network in the UK.

It might seem like SMS must be an option because everyone has it, because if you have WA then you’ve got a number and can receive SMS, but that’s not how people view it. SMS is an app like every other (to most people), but it’s an app that doesn’t have their other chats in (only 2FA codes and spam), and one that mostly doesn’t sync to their other devices as well.
In 2020-2021, the NYC Mesh team ran a project called streetwatch.live (dead link) to archive footage from traffic cameras.
“ sleep. On average, they were falling asleep 20 minutes faster than before the ban, and reported getting a full hour of extra rest each night. ”

An hour of extra rest does seem significant. Also averages without standard deviations are yucky.
That's just nvidia being cheap.
This is an opportunity for bullshitters (in a "bullshit jobs" sense) to be seen as "doing something" and get pats on the back without significant effort - at least less effort than doing other, actually valuable things.
Soundness of Lean requires more than correctness of the kernel - it requires that the theory be sound. That, frankly, is a matter of mathematics folklore. "It is known" that the combination of rules Lean uses is sound... unless it isn't.
There is no potential profit in researching that, this isn’t the case with mirror chirality organisms.
The problem with human hibernation is that it is almost impossible to ethically test.

What medical ethics board is going to approve a research project "put healthy experimental subject in coma for 5 years, observe what they are like when they wake up?"

Reminds me of https://en.wikipedia.org/wiki/Deep_sleep_therapy and https://en.wikipedia.org/wiki/Chelmsford_Royal_Commission

I think this is an example of a technology which, if it is ever developed, is most likely to be developed by some kind of totalitarian regime which has no ethical qualms about human experimentation.
For that, I’d just use Rails, and the connect AI/ML tools over an api or (riskier) direct to the DB.

The stuff I looked at ages ago was for literally embedding Python code in Ruby code. I never used any of it either, so I don’t have any recommendations.

Edit: Actually, rather than have Python connect to the Rails DB, have Rails also connect to the Python DB (note that this can be on the same db server, etc). Rails can then handle all the “I’m a product” stuff (user accounts, etc) and then read the Python data for the rest. Would that work?
DP has a different management interface that's actually better because it's a standard unlike CEC.
From the title, I was hoping this was going to be an expose on iCloud Photos, which are not meaningfully encrypted and allows Apple to view your entire photo roll.
I think its more subtle. Whoever is organizing is setting the tone/nature of the meetings.

For example, there is a chess club I wanted to participate in, but the organizer always picks some loud bar, which just isnt my idea of a chess club.
My claims were entirely substantiated.

Original claim: doctor salaries are part of the problem.

Substantiation: Doctors in the U.S. earn way more than doctors elsewhere. It logically follows that higher salaries lead to higher healthcare costs. For reference, the average doctor in the U.S. earns over $360K. In Germany, that number is around 85K euros.

Then you claimed that some doctors think this is a problem.

I responded by saying that the AMA lobbied to artificially restrict the supply of doctors. This is a well known fact. It’s literally in the introduction (with sources) on their Wikipedia page: https://en.m.wikipedia.org/wiki/American_Medical_Association

> the AMA has frequently lobbied to restrict the supply of physicians, contributing to a doctor shortage in the United States.[10][11][12][13] The organization has also lobbied against allowing physician assistants and other health care providers to perform basic forms of health care. The organization has historically lobbied against various forms of government-run health insurance.[8]

So all that is left unsubstantiated is your claim that “a bunch of doctors do recognize the issue.” Ok, which ones? How widespread is this belief? Why is the AMA acting against these beliefs?
okay, but.. any path to connecting this to phone mics so that it can function anywhere? whats the state of the art in tone and chord recognition models?
"My instructions are to amuse visitors with information about themselves. [...] The need to be observed and understood was once satisfied by God. Now we can implement the same functionality with datamining algorithms."

- https://www.youtube.com/watch?v=pKN9trFSACI
I live in California. For me, group chats are predominantly iMessage. FaceTime for video chat. I only know a handful of people with Android phones and they just suffer with poor quality media.

I suspect it’s both regionally and class dependent however.
Google also vacuums up the entire web and users’ prompts? I am confused thoroughly by this position.

It seems like emotions, not facts.
Jeeze, the overlap of people who are interested in Clojure and array langs couldn't exceed the low double digits.

Well, if you are among that sort of masochist and you like Clojure and APL, you could play with libapl-clj: https://github.com/jjtolton/libapl-clj

I haven't touched it in awhile because honestly whether your coworkers do APL or your coworkers do Clojure they will hate you if you use this. Ye be warned.

God forbid there's interest in it we could add more support... but there are like 75 significant systems engineering and architecture questions you should be prepared to either answer or blithely ignore before using this Frankenstein's monster.
At sufficiently relativistic speeds, it wouldn’t just be “like” an explosion - you would have instant nuclear fusion at impact.
I found a couple interesting papers/preprints on smartphone bans:

- https://www.mdpi.com/2227-7102/14/8/906

- https://papers.ssrn.com/sol3/papers.cfm?abstract_id=4735240

But I wasn't able to find a detailed writeup of this particular experiment (It seems to be more of a TV show than a scientific study?)
The cables flex more because it's lower bandwidth so there's less shielding.
4% is a pretty big lift imo

And who knows how good it is for the quality of that sleep
The RPC implementation in LLVM is an adaptation of Jon's original state machine (see https://github.com/JonChesterfield/hostrpc). It looks very different at this point, but we collaborated on the initial design before I fleshed out everything else. Syscall or not is a bit of a semantic argument, but I lean more towards syscall 'inspired'.
No, that's the point of DisplayPort in being royalty-free and unencumbered.

HDMI was deeply intertwined with the brave new world of Protected Media Path.
> code is a much smaller domain than the law

I agree, but I'd add – code as a domain is a lot more vast than any AI can currently handle.

AIs do well on mainstream languages for which there is lots of open source code examples available.

I doubt they'd do so well on some obscure proprietary legacy language. For example, large chunks of the IBM i minicomputer operating system (formerly known as OS/400) are still written in two proprietary PL/I dialects, PL/MI and PL/MP. Both languages are proprietary – the compiler, the documentation, and the code bases are all IBM confidential, nobody outside of IBM is getting to see them (except just maybe under an NDA if you pay $$$$). I wonder how good an AI would go on that code base? I think it would have little hope unless IBM specifically fine-tuned an AI for those languages based on their internal documentation and code.
>It's not like they want to send the kids who did it to prison.

You have a very weird impression of Russia.
I think you want me to address the policy, that you linked to.

Well, the wiki’s policy is irrelevant. Or only 50% relevant.

I see that the policy tries to provide some “spirit of the law” and/or hints to avoid edit wars and such, but evidently many follow the policy only in letter and just know what not to mention, i.e. to not trigger the policy. (instead of rejecting edits with “I own this” or “I know this better”, edits get rejected with “citation needed”)

> As I said, the distinction matters.

I see you sincerely believe that it does, but I’m of different opinion.

People in any group form a hierarchy, and have (frequently unwritten) “traditions”. And those are features, not bugs.

Hierarchy is not necessarily strict or formal, but it helps with coordination.

“Tradition” is the actual way how things are done. “Tradition” can be changed by policies, it may even implement the policy to the letter, but it always encompasses more than the policy contains. Because it’s almost impossible and most undesirable to have policies for each breath we take.

> Feel free to address concretely what I wrote in my previous comment.

Somebody has older account then me here and is feeling authoritative I see. Thanks for good practical illustration.
This is not me making some grand new commitment. It's right in the privacy policy and also summarized here: https://faq.whatsapp.com/1303762270462331

> We need your contacts to provide the service, but don’t share your contacts with Meta.

I'm frustrated that people even at HN allow themselves to indulge in conspiracy theories that would be immediately whistle-blowed or reported on. There are thousands of people that work on or with WhatsApp and related products within Meta who would notice, not to mention all the data separation audits that happen.
I've seen a lot of code written by humans that "looks reasonable but contains bugs and logic errors that can be found if you're an expert in that type of code".
Tesla's Dojo: Reimagining Coherent AI Computing Architecture
Devin AI security vulnerability discovered live on stream [video]
Silicon technology is already so efficient it would be hugely expensive to compete with it. No one has the money or risk appetite to try.
snorting coke probably gives them asthma:)
The regulations weren't what sank the treaty. They were an excuse used by influential agriculture lobbies to sink it.
That would be a bug in math itself, rather than a bug in Lean. It's possible, of course, but even less likely.
In 2025 computing professionals are supposed to be paid at least 116k in Washington state in order to be classified as an exempt employee. If they don't do this, they have to reclassify you as non-exempt or else you have a legal case and backpay is warranted. In Seattle this is likely to be higher since Seattle's minimum wage is higher.

Listen to actual lawyers which are causing awareness of this.
Interesting comment from @Topfi last time this was posted (6 points, 2 days ago) https://news.ycombinator.com/item?id=42404132
> and, I'm not kidding, probably about 100 occurrences of people driving onto the tracks and getting stuck. A disproportionate number of them occurred at Ashland, VA. Which makes me think it's a bug in the traffic design.

Can't speak for Ashland, but... educated guess, too steep elevation on the crossing, either from faulty design or bad road maintenance (the segment of road outside the compacted zone surrounding the rail settles from the load of the trucks).

In Germany, we solved that issue mostly by demanding automated radar or manual visual (direct or by camera) checks before clearing a crossing for the passing of a train at intersections that carry heavy haul traffic. However, we have on rarely-used crossings no monitoring, sometimes even no signalling, and just a day ago a freight train absolutely demolished the shit out of a rubble hauler [1].

[1] https://www.reddit.com/r/AbruptChaos/comments/1hdjzek/a_truc...
> No it isn't. A democracy only works with informed voters.

By that logic we can never have a working democracy because collectively voters will always be ignorant and misinformed to some extent. We can't force voters to educate themselves on the issues and can't stop them from lying to themselves or to each other. We can do things to improve the situation, just as there has been a sustained and coordinated effort to make the situation worse, but (gerrymandering aside) we don't get to pick our voters in a democracy.

The last election was as democratic as we should ever expect it to be. Having the freedom to elect our government, by necessity, means having the freedom to elect someone who will take our freedom from us, and if we've done that we'll have only ourselves to blame.
It seems like unified memory has to be the goal. This all just feels like a kludgy workaround until that happens (kind of like segmented memory in the 16-bit era).
20 mins is actually pretty big. The difference between chronically sleeping 20 minutes less than you need, and always getting the rest you need really does add up quite significantly, especially when it comes to learning and the ability to pay attention.
Is this really what Rust macros look like?
Wasn't me, but… you didn't actually answer the question. @tomrod asked if *these components* were open-sourced, and your response was that *Figma* is not. It didn't answer the question that was posed. The information provided isn't actually all that useful. Can Penpot even use the components in question?
> A disproportionate number of them occurred at Ashland, VA. Which makes me think it's a bug in the traffic design.

Without knowledge of the crossing, it's definitely possible. Some crossing designs are better than others, and changing the design of a crossing can be very difficult depending on the site details. Changing the path of rails is always difficult due to the constraints of trains, so a poor crossing will almost certainly need to have the alignment of the road changed, but sometimes there's not enough buildable space around the crossing to build an over or undercrossing (grade separation) and it is expensive and disruptive. Sometimes it's possible to close the road if the crossing is bad and the road is deemed unnecessary, but it's pretty rare to deem roads unnecessary.
Forcing every adult to exercise 30 minutes a day would probably also have positive health outcomes. But would that be a good enough reason to introduce such a policy?
Google has been caught multiple times violating their own rules and the law to use all the information they have on you for advertising purposes.
The only opt out is to stop using their services.
Mammoth... the other white meat[1]

[1] https://youtu.be/YfFUbwMXaeg?si=kYnuEAImBwBMPYe9
Is there any serious justification for this?

I can see the need for a strategic reserve of oil, or food, or heck, tantalum. But we use those things, and we can foresee circumstances where they might be useful. Someone educate me.
That would make sense at first glance, but I was talking to my HVAC contractor and they warned me not to make that assumption. It's not easy to compare gas furnace BTUs to heat pump BTUs for both physics and issues specific to my home (and probably most homes not made in the last decade or so).

It gets to -10F most winters here, but heat pumps struggle as it dips below freezing, while a gas furnace doesn't. What does that mean for heat in the colder parts of the year? Will I struggle to maintain 68F even if the BTUs are the same? This ties into my home design as well: Can I even substantially change my home's r-value the way it's built?

I couldn't afford a new home when I bought my house, so I live in older housing stock - 1949, made heavily of cinder blocks with plaster and stucco around them. It didn't have ducting when built, and that was partially retrofitted in using a central furnace with limited air ducts to push heat clumsily from the center of the house into a few primary rooms using a California plenum to pull air from the foundation, connected to certain rooms through floor registers. There's no good way to fix any of these compromises short of ripping half the home apart, or just building a new one, so the least bad compromise is usually an over-specced central forced air solution.

Do I get a central heat pump and air handler system with 100k peak BTUs? Do I get several mini-split units, each adding up to 100k BTUs? Do I overbuild on BTUs if I go mini-splits or multi-head? How will multiple smaller heat pumps work in winter as it freezes?

Will insulating change that? I can't insulate my foundation more than the earth already does. I guess I could rip out all my plaster walls and put in drywall and high r-value insulation behind them, but at that point, maybe a new house would be more worth the effort.

I think these kind of problems are endemic to the older housing stock and they're devilishly expensive to fix. Keep in mind - I have heat now. While my furnace will eventually depreciate to the point it needs replacement, to do all of this for no added functionality would be to take a new car's worth of value and gamble I might save a little on energy costs over the next 15 years. It's a dead-weight loss for me - I'm not going to recoup that on a house sale. It's not my 'forever' home, so I'm probably not going to stay more than 5 more years. (US national tenure seems to be 10-13 years.)
There are stories like on FB and Instagram. Also, you don't need to know all the people you communicate with - there's often groups for clubs, schools, events, etc.
It would be almost impossible to enforce.

School smartphone ban has an obvious way to be enforced since it gives teachers the ability to do what they've wanted to do all along.
Hmm, interesting. If this is the case, isn't the article title misleading? It implies that the mice where the problem in the study, when it was the environmental conditions of the tests that the mice that caused the allergies not to show up. Seems like the title should be "Lab conditions are an unreliable model for human diseases."
Under "How We Work With Other Meta Companies" in the privacy policy describes a usage almost identical to what the parent suggests:

> improving their services and your experiences using them, such as making suggestions for you (for example, of friends or group connections, or of interesting content), personalizing features and content, helping you complete purchases and transactions, and showing relevant offers and ads across the Meta Company Products;

https://www.whatsapp.com/legal/privacy-policy
>Seems like the kind of thing that might have some kind of edge case somewhere I'm not thinking of at the moment though.

It wouldn't support hashes, or anything else that you can't do with ordinary dependency specifiers in the project.dependencies list (spec: https://peps.python.org/pep-0508/).
The author has changed the URL (accent-guesser -> accent-oracle) and renamed the feature, so you basically had no chance unless you noticed it looked the same as the last submission (plus the old URL forwards).
In US schools most students are forced to exercise about 30 minutes per day during gym class. I had this from at least 6th-10th grade, though maybe only a handful of days per week had any serious exercise, usually running or playing sports like soccer or basketball.
Did you have a problem buying? I'm currently online trying to purchase but it's showing error stating no address has been provided
Something something "my body my choice"

The mere thought of someone advising them would be literal hell.
not surprised honestly, a ban on smartphones in the workplace is also in place in most retail establishments due to productivity reasons
Discussion (129 points, 5 days ago, 126 comments) https://news.ycombinator.com/item?id=42364038

Article title: It’s a Raspberry Pi 5 in a keyboard, and it’s called the Raspberry Pi 500
Kiddan paaji? "Everything" has been my go to as well for the last 8 years!
Hey, one of the folks working on the said photo service here.

Ente has reasonably good search[1] powered by on-device machine learning[2].

[1]: https://ente.io/blog/machine-learning

[2]: https://ente.io/ml
How many were not bought and paid for by coffee producers?
Which is why in my experience on computer hw it's common to see one, maybe two HDMI (among other reasons, to support things like connecting a console to your monitor), and multiple display port connectors - sometimes it goes ridiculous - a maximalist approach to counting on my laptop, as currently docked, from the point of "ports implemented in GPU" if not actually available physically... gives me one HDMI and 15 DisplayPort, with the HDMI being routable onto a bunch of options. Of course that's a silly comparison, but depending on how licensing is worded I would be really unsurprised if computer manufacturers optimized for lower HDMI port count.

Also, since older HDMI was physically compatible with DVI ports, a lot of computers preferred to keep DVI ports...
I don’t get the joke.
I feel like giving teachers and schools more freedoms to implement these things would be a great overall effect.

We've seen a large reduction of what teachers are able to do in the last few decades because the school districts have continuously pushed bad policies to protect them against liability and extra work. My parents were both in the school system and every year they would get more rules to protect the district by pushing more work onto them.

The school system has a lot of similarities to have Boeing has been run recently. The board and admins make all the decisions while the people who deliver the value get the short end of the stick.
Letting yourself buy into the regime narratives takes, at the very least, complicity. The people in Russia know the state narrative is unreliable. They know there exist other narratives out there. They choose not to seek them out. It's wilful oblivion.

Wired published a great recount of what choosing oblivion looks like, and how it fails you: https://www.wired.com/story/russia-invaded-ukraine-choice-pr... (https://archive.is/ZkYzd).
I would make use of the increase in my strength and stamina to be very vigorously angry about being forced to exercise.
No Swing support at present. There is an issue filed, but it is in need of an implementer: https://github.com/konsoletyper/teavm/issues/406

I made a general guide for migrating from Swing to TeaVM here: https://frequal.com/TeaVM/migration/MigratingFromSwingToTeaV...

For a more specific example, I ported an open-source Java applet and described the process here: https://frequal.com/java/RestoringA19YearOldGameWithTeaVm.ht...
Might I humbly recommend the disaster of a TV show "The Starlost".