skysight-inc/HackerNews huggingface dataset:
Ask HN: What are you reading/learning/working on over the holiday break?
This time of the year many people take time off to spend time with family and have extra free time to work on their own stuff (Python was famously created as a Christmas break project), so I’m curious how you’ll be using this extra time?

I’m planning to spend time some time making progress on all the writing that I need to finish…
While I don’t disagree about the grandstanding and theatrics ruining the NBA, I take issue with those who complain that better players are just getting away with fouls and cheating. Basketball, despite the rules around fouls and illegal contact, is a very physical and tough game. Being tough enough to work through some of the contact (both legal and illegal) is very important to being a high level player. I think it’s reductive and petty to effectively say that they’re just better because they hit more and harder. Even Michael Jordan had to work hard at toughening up to get past Detroit in the late 80s and early 90s.
> Industrial and medical use, creative platforms etc, Literally the only other headsets I can use for the lines of work I’m involved with are 4x the price of the Vision Pro (the Varjo XRs), yet by your metric wouldn’t be worthwhile

But the AVP cannot be used for any of these use cases, and as far as I know is not in serious use for professionals in such industries at scale, so why are you acting as if I was blind to the real reason people buy it? None of those are reasons people would buy it today.

Also, you seem to not be aware that the Quest series actually have a professional / industrial business sales setup and do actually make large volumes of sales for business use cases, unlike AVP (https://forwork.meta.com/quest/business-subscription/)
The vast majority of people aren't privileged enough to have anyone mirror their data.
I’ve been using FakeTag[0] and OpenHaystack[1] coupled with a vibration sensor to notify me when various things happen around my house. Inspired by this [2] article. It’s worked flawlessly for ~2 years.

[0] https://github.com/dakhnod/FakeTag

[1] https://github.com/seemoo-lab/openhaystack

[2] https://hackaday.com/2022/05/30/check-your-mailbox-using-the...
Thrift stores don't want a ton of old paper. There are a lot of things that someone somewhere would probably like but I'm not going to track them down or get them there. Mostly it's not magazines anywway. It's a bunch of articles I ripped out over the years.

The one thing I have in my garage I know someone would want is a big pile of laserdiscs. But, again, a thrift shop (or my library) wouldn't want them and I live pretty far out from a major city. Probably will try Craigslist post-winter though as I'm trying to declutter.
there are many comments in internet about this, that only subset of frontier math benchmark is "field medal level research", and o3 likely scored on easier subset.

Also, all that stuff is shady in the way that it is just numbers from OAI, which are not reproducible on benchmark sponsored by OAI. If we say OAI could be bad actor, they had plenty of opportunities to cheat on this.
So sick of dealing with Google, between this, the play store, admob, etc. They'll punish you for the slightest things, have zero meaningful customer service/means of recourse, and in many cases don't have a way to even reach out to customer service (admob's email option is visible but throws an error every time you click it). Not to mention, they try to steer you towards their useless "community forums" that sre filled with "diamond users" who just spam copy/paste responses.

If your business depends on their services, you're fucked if you slip up in the smallest way. Have fun trying to get ahold of anyone who can help, unless you're lucky and have a friend who works there.

Side note, they're going to further penalize apps based on performance/ANRs, yet they haven't fixed the issue of admob's banner ads causing performance issues.

It just feels awful. We need more options that can actually help small businesses, not hurt or threaten them.
This. The inconsistency of foul calls. I understand the mentality of "if you're not cheating, you're not trying" and "if you're not flopping, you're not trying", but it ruins the game for me.

We should train ML to make the foul calls in real-time.

Then get rid of the strict rulebook definition of what a foul is. Have the fans vote on past plays, what should be a defensive/offensive/no foul. Then train the LLM based on the opinions and let it make the foul calls.
Study supports timescape alternative to dark energy
Stenberg: Dropping Hyper
One thing I don't see people talking about is the viewing experience. I love esports, specifically DOTA 2. An average game might be between 35-45 minutes, but a long game might run 80 minutes. In that time, not a single commercial. No time outs. Nothing. 80 minutes of straight entertainment. And going down this road you can include streaming in general. The modern sports watching experience, basketball and other sports included, is completely unwatchable once you get used to actual constant excitement. I'm never watching these sports again because I don't care to watch an ad every 3 minutes.
Kagi End-of-Year Community Event 2024 [video]
goes to show, lines of code doesn't equal quality.
AI 'Street Photography' Isn't Photography: What We Lose by Simulating Experience
You think?

Notably, at the time, Commodore 64's keyboard was actually seen as a strength against the competition.
It's not very hot if you go at night.
It is made by a relatively trivial change to CDCA (chenodeoxycholic acid), which in turn is made in the liver by cholesterol in a number of steps. I love the simplicity of stepwise modifications of complex molecules inside the body with the help of gut bacteria. True symbiosis.
The article's thesis does not ring true.

The hypothesis of the author has been true for many years in several soccer leagues. The most famous example being Spain's La Liga, which has been dominated by 2 superteams in the last 2 decades.

Meanwhile, attendance and viewership during this period has dragged noticeably, and in fact, there's constant expert opinion advocating to end the superteam "experiment".
I’m sure that’s just one of endless historical examples.

Large numbers of desperate people are a danger to society. I harp on men because I think they are more vulnerable (for various reasons and the reasons don’t matter much) to isolation and radicalization, though as we recently saw with our young lady school shooter this is definitely not universal.

I also didn’t mean to dismiss the damage addictionware can do to young womens’ self esteem and mental health, and I have noticed a disturbing rise in “femcel” rhetoric that mirrors the incel cancer. The style of the rhetoric is a little different but it’s coming from similar places and has similar effects.

We need to stop calling it social media too. It stopped being social when algorithmic timelines were introduced and over time it’s evolving toward less and less connection and more shoveling of engagement bait slop.
> spent the whole time trashing me

The real danger comes when this pattern meets underlying trauma or personality issues - the manipulation becomes a way to process or control rather than connect, while the constant desire from others makes it feel justified or even righteous.

This isn't about relationship styles - it's about recognizing when multiple connections are being used as tools for manipulation rather than genuine human bonds.
Crashed upon joining the game in Firefox. A modal dialog with a stack trace appeared.
terrestrial phone / internet carried by undersea cables are gated by the relays more so than c. the ping time from US to Australia (one way) is about 115 ms (rounding down, using most optimistic data.

Light can travel over 34,000km in that time. The great arc distance from LA to Sydney is just over 12,000km. In all likelihood the fiber line connecting them doesn't follow that arc, but it shouldn't be too far out of limits. So about 2/3 of the latency is caused by relays and switching equipment.

it gets even worse for satellite, because (until starlink) communications satellites are in geosynchronous orbit, 35,000km above the equator. so talking on one means a 70km round trip, which causes its path to take over 5x more distance than the linear distance (across the surface) between those 2 cities.
Ask HN: Can VR make every seat a window seat?
Maybe the digital twin of Earth in Microsoft Flight Simulator could be used for this purpose?

You would be able to see beneath the clouds and even at ground level right below your plane if you really wanted to.
I was aware of that, but somehow it never happened, maybe got lucky. Smartdrv itself never crashed, and neither program crashes nor electricity issues affected it. Ofc I always used ctrl-alt-del before turning the pc off.

It’s interesting what others experienced, cause I remember nothing about that in fido echoes (someone should have lost some data eventually). Was smartdrv even that different from today’s caching algorithms on all OSes?
Not my area of expertise per se, but the counterargument that I've seen is that the states (e.g. Oregon) that tried it never got the backstops in place to help soften and support the transition (i.e. rehab centers, support programs, social programs). Instead, it was just a hard switch that went expectedly bad.

There's at least a theory that people believe will work that hasn't been correctly implemented yet, but whether or not it's feasible to implement at all, I'm not holding my breath.
If it fails, you can’t retrieve the money of course. Don’t put more than you can afford to lose on one chip.
Charles Stross is closing down his blog's comment section
So because shops have sales where people buy jeans at one price and a week later the jeans cost 30% less, shops are a scam/useless/a bubble?
Artificial General Software
When this happens the reason 90% of the time is usually not because the program wasn’t working but the opposition to the program has made sure to either gut the funding or put in measures that makes those programs not work (only hiring 2 people to handle all the work or excessive operating requirements.

Cops will fight tooth and nail against social programs because it reduces their budget when problems are solved.

Look up these programs and you will see centrists claiming the progressive program was bad, but never indicate reasons as to why.
This is true if you think of programming as chunking out "code". But great authors are not great because they can reproduce coherent sentences fast. The same goes for programmers. Actually most of the hard problems don't really involve a lot of programming at all, it's about finding the right problem to solve. And on this topic the data is noisy as well for programming.
Works for Portugal since forever
Prohibiting the use of the hand check also took the teeth out of defense and made it a more offensive game. I think that’s a big part of why Michael and Larry and Magic were so much more exciting to watch even though the team scoring was much lower than today.
It's about as dangerous as running a Linux or Windows binary.
Campsite Is Winding Down
Notable announcements:

- Privacy pass allowing for anonymised search queries (early january)

- Orion browser for linux on 2025 roadmap
Helios2 was half that speed in 1976

I guess everything with a sun slingshot is going to be impressive.

We'd have 1% speed-of-causality probes by now if it meant better war machines but best they can do with the budget

Vaguely related they did capture light moving with a 1 billion frames per second experiment so Femtosecond Photography is definitely some cutting edge stuff.
Someone said something like this to me recently about a story I related where I was told an ex boyfriend would be at a falsely framed "party" the partner was literally driving me to when she told me.

My new friend said to me, "you should have gotten out of the car". I replied that if I had I would have had to been prepared to walk away from the relationship on the spot when it happened. That is easier said than done in a moment.
That completely depends on local electricity costs and climate. We get about 4 months of freezing temperatures and when I did some back of the napkin math, a heat pump installation would be cheaper than gas over its lifetime, but it was only by about 10-20%, at a much higher upfront cost.

I'm not an expert so I could've made a mistake somewhere, but my calculations said that the system would have to survive for 10-15 years before it would pull ahead of a new gas boiler.
How do esports make money, and how much money do they make compared to the NBA?
I'm sorry do any actual surgeons or airline techs use these apps? I would be very skeptical that it's used in any kind of sizable number (or that it's even allowed in surgery, frankly).
You didn't answer the question, and overall you're being very mercurial in this thread. Write coherently.

> i just find the tension and contradictions of piracy kinda fascinating

You're calling watching a TV show without watching the commercials "piracy"? That's a very broad definition of "piracy" that I'd venture has almost no support outside of your comments here.
NN inference is an algorithm for computing an approximation of a function with a huge number of parameters. The NN itself is of course just a data structure. But there is nothing whatsoever about the NN process that is non-algorithmic.

It's the exact same thing as using a binary tree to discover the lowest number in some set of numbers, conceptually: you have a data structure that you evaluate using a particular algorithm. The combination of the algorithm and the construction of the data structure arrive at the desired outcome.
It's still true. Why do you think it isn't?
It is unwieldily because it abstracts logic into a different language and paradigm. You need double the cognitive understanding of qt now to know how it operates.
it looks like a shrimp, so its the left
My point was to suggest to OP that their dichotomous reductionism goes way, way overboard to the point of unproductive callousness. People with addictions aren't just data points. Saying this as a data journalist who focuses on policing and jails.
Yep, this. Another reason why the left has lost all public trust in institutions. Too much of elitism and connections.
Let’s see… of the top of my head…

- Air Pollution

- Water Pollution

- Disposable Packaging

- Health Insurance

- Steward Hospitals

- Marketing Junk Food, Candy and Sodas directly to children

- Tobacco

- Boeing

- Finance

- Pharmaceutical Opiates

- Oral Phenylepherin to replace pseudoephedrine despite knowing a) it wasn’t effective, and b) posed a risk to people with common medical conditions.

- Social Media engagement maximization

- Data Brokerage

- Mining Safety

- Construction site safety

- Styrofoam Food and Bev Containers

- ITC terminal in Deerfield Park (read about the decades of them spewing thousands of pounds benzene into the air before the whole fucking thing blew up, using their influence to avoid addressing any of it, and how they didn’t have automatic valves, spill detection, fire detection, sprinklers… in 2019.)

- Grocery store and restaurant chains disallowing cashiers from wearing masks during the first pandemic wave, well after we knew the necessity, because it made customers uncomfortable.

- Boar’s Head Liverwurst

And, you know, plenty more. As someone that grew up playing in an unmarked, illegal, not-access-controlled toxic waste dump in a residential area owned by a huge international chemical conglomerate— and just had some cancer taken out of me last year— I’m pretty familiar with various ways corporations are willing to sacrifice health and safety to bump up their profit margin. I guess ignoring that kids were obviously playing in a swamp of toluene, PCBs, waste firefighting chemicals, and all sorts of other things on a plot not even within sight of the factory in the middle of a bunch of small farms was just the cost of doing business. As was my friend who, when he was in vocational high school, was welding a metal ladder above storage tank in a chemical factory across the state. The plant manager assured the school the tanks were empty, triple rinsed and dry, but they exploded, blowing the roof off the factory taking my friend with it. They were apparently full of waste chemicals and IIRC, the manager admitted to knowing that in court. He said he remembers waking up briefly in the factory parking lot where he landed, and then the next thing he remembers was waking up in extreme pain wearing the compression gear he’d have to wear into his mid twenties to keep his grafted skin on. Briefly looking into the topic will show how common this sort of malfeasance is in manufacturing.

The burden of proof is on people saying that they won’t act like the rest of American industry tasked with safety.
Late to your comment but, yes, it will. I love telling people about it because it’s so crazy to me. I keep the bill on my desk when I need a smile haha.

One interesting thing about SE Oklahoma is the way people make deals with each other that don’t involve money. Idk if it comes from the majority of the state being Native American but there are handshake/barter deals all over the place. People seem reluctant to bring money to the deal, it’s always “I’ll do this for you if you can do that for me” type setups.
There’s tools that prove the safety of C code. They include RV-Match, Astree Analzer, and Frama-C. CompCert certifies the compilation. There’s tons of tools to find bugs by model checking, test generation, etc. Rust was nowhere near C last I checked in terms of tooling available.

So, back to my original comment, the investment in making a Rust to C transpiler would make a C to safer C transpiler that fed that code into the verification tooling. A small transpiler would be easier to write with huge, immediate gains.

On field proven, there’s two angles: spec and code. Many C/C++ apps didn’t become usable at all until years of iteration based on feedback from field use. An alternative in Rust might have incorrect specs which. From there, a number have had much code review, static analysis, and testing. They have few to no known bugs at any point. So, there are definitely C/C++ applications out there that are field-proven with a decent level of safety.

(Note: Any transpiler might need to be bug for bug and weird behavior for weird behavior compatible to match the implicit spec in the C/C++ code.)

You’re right about the average Rust vs C code, like type system vs correctness. I’d prefer new code be written in safer languages, which I added to my proposal.

If apples to apples on correctness, you’d have to compare C written for verification with Rust. Quite a few C projects have been proven to be correct. Since you’re using a compiler, I’ll add that tools like Softbound+CETS make C code safe automatically.

I do think Rust brings the cost and effort down quite a lot, though. It’s tooling is usually more mature or at least free than most for verifying C.
A human baby is helpless and "primed" for dependency on others - there is simply no other way they could be (without a drastically different evolutionary path). This whole thread is about the modern difficulties of teaching children to become independent in spite of that beginning and the corporate machine that wishes to keep us there ("commoditize your complements"). So uh, welcome to the conversation and try not to be so fatalistic.
Does Blue Bubbles work for this? They have find my built into their app
Statistically impossible is wild hyperbole. No two teams have the same players and many have drastically different strategies.
The narrative that "the world wants to be dominated" is a popular one in mainstream media today.

Is there actually any substance to the narrative? Not in this article. Like most written in this vein, there isn't even an attempt at quantifying support for the story.
> but just like Larry Bird and the Celtics, the free agent market and stars chasing the dollar has diminished the culture and thus the product.

Um Larry bird never went the free agent route. He always played for the Celtics who drafted him. He's one person who doesn't fit your narrative.
But does it matter if it "really, really" reasons in the human sense, if it's able to prove some famous math theorem or come up with a novel result in theoretical physics?

While beyond current motels, that would be the final test of AGI capability.
its not always on in that way. It will report your location when requested, and optionally just before shutting down.
This is completely general and independent of left/right liberal/conservative dualities.
https://archive.is/VgwLx
The spread syntax is native to JavaScript. TS wouldn't complain about the first case, because as the parent said, it is a valid operation.

TS only complains about valid operations if there's some potential mistake due to ambiguity, usually when relying on to strong conversions such as adding a string and an array together or some other nonsense.
You have some good points, but there's plenty of trash talk. If the NBA really wanted to make money they would sell access to an R-rated sideline mic stream.
Hopefully locations shared by users not part of my iCloud Family account, and "Items" (Apple jargon term for AirTags). Currently it only shows macOS or iOS "Devices" directly linked to my iCloud account, or in my iCloud Family, none of the locations shared by friends. And it shows no "Items," not even those in my iCloud account.

(... yep, it looks like one of their example programs is about accessing AirTag info via API: https://github.com/malmeloo/FindMy.py/blob/main/examples/rea... ...)
It's not worth tossing away in sarcasm.

The availability of cheaply priced smartphones and cellular data plans has absolutely made being homeless suck less.

As you noted though, a home would probably be a preferable alternative.
This seems like very rose tinted glasses, and I think the summary is backwards. Shannon was an academic, and spent a little time at Bell Labs, but didn’t work at IBM. Business has always chased profits, by definition, it was absolutely no different in 1950. Bell & IBM had little pockets of ‘excellence’ in their research divisions that left behind a nice narrative of idyllic sounding work for a very few lucky people. But since then, the number of academics in tech has gone way up, the number of companies developing tech has gone way up, and the number of pockets where smart people can focus on inventing things is enormous today compared to 1950. I don’t believe either culture or product has diminished at all, I think it’s the opposite, things have gotten much better. Bell & IBM made telephones and accounting computers. Today we have games, AI, self-driving cars, mobile devices, the internet, digital arts, just to name a few. It might take time for the stories of the good places to work to percolate, but I think we have vastly more & bigger cultures of excellence today than Shannon ever dreamed of.
Not the person you're replying to, but if you are going to make sweeping statements like "you are wrong", you should explain a bit more, because your argument is somewhat too vague to engage with meaningfully.

Obviously one can find discrimination anywhere, but I don't think it's as systematic as you seem to imply. Most academics are under considerable pressure to publish or generate results, so e.g. when faced with hiring a postdoc or a PhD candidate, they don't have the luxury of rejecting a brilliant candidate that could be productive for spurious reasons.
If we're counting all successful indie games, we could extend that to successful modern artists? I'm not familiar but I'm sure there are some that sell a painting or sculpture for millions, though that's just one buyer. Is there an equivalent in indie Movies? Successful musicians?
The library seems to use BibLatex, which is pretty standard. No reference managers I know understands the above HTML.