MurphyA/hacker-news huggingface dataset:
by bko | 2025-09-27 18:33:03+00:00
> Have you done the following in the past 12 months just to catch up on sleep?

> Used PTO days

> Taken a vacation

https://amerisleep.com/blog/top-cities-for-sleep-vacation/?s...

I pay no attention to anything that comes from a survey. It's meaningless.

It's just so lazy. Look at average hours which went to a high of 35 hours in 2021 (probably peak WFH), and now down to 34. This is all likely noise, but there's nothing to suggest Americans are overworked and burnt out. There are a ton of other measures, like annual hours worked, etc and none of them show an increase in the amount Americans work. Maybe people don't like their jobs, but it says more about expectations and attitude than anything else.

You hear this stuff all the time from commentators and politicians. I've heard hours worked is lower because "everyone has multiple jobs", and you look it up and it's 5% and pretty steady from the past 25 years

https://fred.stlouisfed.org/series/AWHAETP

https://ourworldindata.org/grapher/annual-working-hours-per-...

https://fred.stlouisfed.org/series/AVHWPEUSA065NRUG

https://fred.stlouisfed.org/series/LNS12026620
by AlecSchueler | 2025-09-27 18:33:36+00:00
> people who enjoy drivel, but this has always been like this.

It's much more visible now, though. In the past it was quite easy to ignore the entire existence of someone like Rupert Murdoch but now the entire world knows what Musk is. He just appeared in last week at a rally of 100,000 people encouraging them to violently overthrowing the government. He appeared in the oval office giving speeches. Murdoch usually kept to himself.
by harrisonjackson | 2025-09-27 18:33:47+00:00
In a keyboard format? Something running a simple OS that doesn't link you or your family identity and data straight into Google?

Something a less technical parent can wire up in the family room from a trusted brand without having to do a ton of research for not only reputable brands but also vendors on amazon?

Educational mission aside this is a good alternative to a chromebook.
by amadeuspagel | 2025-09-27 18:34:50+00:00
I've come accross this website a few times but only now clicked on the hamburger menu and then on "how to use" to learn that learned that you had to zoom in and click on a "button" (some kind of polygon approximating a circle?) to listen to the music. I think I tried clicking on the titles before and concluded that it didn't work.
by tredre3 | 2025-09-27 18:35:01+00:00
> It doesn't limit who you can follow.

That's simply not true. All servers maintain blacklists of other servers they don't like and won't federate with, including mastodon.social: https://mastodon.social/about (last section, "Moderated servers")

You could argue that it's normal to block problematic servers, but it's not you the user who gets to define what is problematic, it's your server. Therefore your choice of server may very well prevent you from seeing content you'd like to see.
by com2kid | 2025-09-27 18:35:05+00:00
HBO Max (pre merger) had a 32hr work week in the summer. (Not sure about now).

Productivity remained constant, there were plenty of Jira stats to back that up.

Meetings got shorter and more organized, small talk was cut down. People hustled more to get stuff finished.

There have been studies showing we only have 20-30 productive hours of knowledge work per week. Adding more hours to the work week doesn't really result in more getting done, although it can result in a project actually going backwards if tired devs start submitting buggy code at a rate faster than bugs are being fixed.
by gumboshoes | 2025-09-27 18:35:17+00:00
I use EasyDict, an open source translation desktop app, and OwlOCR, a paid one. Both let me hit a keyboard command and snap any text to instantly OCR it and translate it. Or just grab it as text. Often supposedly selectable text isn't or grabs too much automatically so this is faster and more accurate.

https://github.com/tisfeng/Easydict
by Aurornis | 2025-09-27 18:35:30+00:00
> The primary enabler of the mission is not the educational sales themselves, it's the sales for embedded or general tinkering use.

They’re doing perfectly fine in this area.

This product is an additional option that brings their product line to even more people. I don’t understand why it makes some people upset when they offer more options. They haven’t taken away anything from their core product line. This is a variant of it. It’s not for you, but it is prefer for many
by sph | 2025-09-27 18:35:44+00:00
Same. Paying user here, and it seems to me they’re trying to be Google at a small scale. Get a half-decent search system up, then work on a browser, then the whole AI nonsense which I do not care about, now news.

Guys, I just want you to focus on search. You might feel it is good enough, but we have basically reached 2010 Google. Let’s improve upon that. Build your own index. Combat the annoying LLM spam that is increasingly polluting the home page.

I am truly afraid the next venture for Kagi will be something like “ethical ads” and then we know how that ends.
by s-macke | 2025-09-27 18:37:06+00:00
The answer is yes according to code and documentation [0]:

> The stream multiplexing capabilities of QUIC allow reducing the head-of-line blocking that SSHv2 encounters when multiplexing several SSH channels over the same TCP connection

....

> Each channel runs over a bidirectional HTTP/3 stream and is attached to a single remote terminal session

[0] https://www.ietf.org/archive/id/draft-michel-remote-terminal...
by chubot | 2025-09-27 18:38:26+00:00
Yup, back when I used windows, my solution to software rot was “just don’t install things that aren’t absolutely essential”

Same goes for OS X now — it seems every OS grows incomprehensible to the company that makes it

Which is sad, because one of the main functions of an OS should be to protect you from misbehaving applications

Linux is a bit better, but I think even the Debian GUI suffers from trying to be convenient/magic rather than predictable/robust
by drdaeman | 2025-09-27 18:39:18+00:00
Sorry, I don’t understand. My understanding of what MCP is - is that it’s just a standard on how to provide tools/functions to LLMs to call. What those functions are, what they do, and what else happens when they’re called is - in my understanding - out of scope of MCP. To me MCP is literally a plumbing between black boxes, and plumbing cannot do anything about the safety of what happens outside of it. So to me MCP is not “safe” or “unsafe” - those terms are meaningless for a plumbing (as long, of course, as plumbing itself doesn’t somehow explode or connect somewhere it’s not supposed to or stuff like that). Do you mean the purpose and/or scope are different somehow?
by bharatgel | 2025-09-27 18:39:24+00:00
I further explored what MCP on gRPC looks like.

gRPC's strong typing and reflection/descriptor discovery make it a great alternative for the tool calling / MCP. In the first part I'd tried out ListTools + a generic CallTool over gRPC.

Now, I updated and am calling gRPC calls directly (tool → grpc_service/grpc_method) with Protovalidate + CEL for client/server pre-validation.

It helps solve the following issues of MCP : tool poisoning, version updating drift/undocumented changes, weaker trust boundaries, and proxy-unfriendly auth. The recent Vercel mcp-to-ai-sdk and Cloudflare’s Code-Mode are indications that we really want to adopt this kind of strong typing and I think gRPC is a great fit.

Part 1 : https://medium.com/@bharatgeleda/reimagining-mcp-via-grpc-a1...
by x0x0 | 2025-09-27 18:40:14+00:00
I googled: $23m raised (8 seed, 15 A in Oct 24).

Also, linkedin says 53 people, though crazies like to say they're employed places. It does say 29 in the US so that's more likely real. Assuming that skews eng a bit, that's probably (225 fully loaded eng, 150 fully loaded the rest) $6m in payroll alone. Not to mention server expenses. That's tough.

The case for more funding: 1 - yolo; 2 - non-economic investments; 3 - Musk gonna Musk, so expect Twitter to further shed users. There may be a business to be built there if you can run significantly more efficiently than Twitter which was a shockingly poorly-operated business (Zuck was dead on re: the clown car. Except maybe more like a silver mine, not a gold mine.). Oh, and 4 - the EU is pretty hostile to Twitter and Threads, so maybe there's some there there. Dunno.
by danaris | 2025-09-27 18:40:43+00:00
This is why the happy medium is owning your own data.

You can have the CDs or not, but owning your copy of the MP3 file, which you keep on a hard drive, or on a thumb drive, or on a portable SSD (in any of these cases, with a backup somewhere!), or wherever, means that

1) you can play it any time you want, for no extra money

2) your access to it can never be revoked

3) you can keep copying it onto new physical media any time you're worried about the old one wearing out
by tredre3 | 2025-09-27 18:40:53+00:00
At least the AI stuff can be disabled. Duckduckgo allows you to store settings in the URL too, if you're the type of person who disables cookies and localstorage. Edit your search URL to: https://duckduckgo.com/?k5=1&kbe=0&kbj=1&kbg=-1&q=%s
by axiolite | 2025-09-27 18:41:00+00:00
Telnet, FTP and rlogin wasn't broke, either. They had their own encrypted variants before SSH came along.

Listing all the deficiencies of something, and putting together a thing that fixes all of them, is the kind of "designed by committee" project that everyone hates. Real progress requires someone to put together a quick project, with new features they think are useful, and letting the public decide if it is useful or not.
by xethos | 2025-09-27 18:41:07+00:00
The time to have an opinion on which servers are cool and which host the fun people you follow is not the instant you go to sign up. Over time, you can notice which servers have buzz for bad moderation vs good, or where half your follow-list lives, and consider moving then

Having it take longer to form an opinion isn't exactly a negative either. The longer you take to pick a new server, the longer that server will have been around, and the longer it'll likely continue to be around.
by pogue | 2025-09-27 18:41:14+00:00
Out of curiosity as to how PeakMetrics was getting access to Twitter's APIs after all the talk of Elon Musk turning off the tap & making it prohibitively expensive to even pull data off them, I wanted to see how they were doing it.

But, I stumbled onto a different rabbit hole. On their website, PeakMetrics has an article about the Cracker Barrel logo debacle and in it, they don't use the term 'bot' once.

So, is Gizmodo framing this completely wrong? Did the article PeakMetrics put up change after Gizmodo put up their article? What's going on here?

https://www.peakmetrics.com/insights/the-politics-of-the-cra...
by sayrer | 2025-09-27 18:41:19+00:00
They used to! Anyway, Iceland is really easy to travel to. Everyone speaks perfect English, and the coffee is good. I know a little bit of Icelandic because they think I am Icelandic for some reason (I can read the signs at least, so maybe I don't look lost). There's a street with hot dog stands and stuff right in the middle of the capitol, which they seem to like. There are good hamburger places too, but they are expensive.

Greenland is another level.
by Nevermark | 2025-09-27 18:41:46+00:00
It should be no surprise that at the margin virtually every plant gets a small boost from higher CO2.

Plants don’t get the optimal amount of any component, because they balance the components they take from the environment against the energy costs of acquiring them and other constraints.

If any component gets a little easier to aquire, the plant will do a little better. If it’s a long term change, the plant will evolve a new balance that will improve it slightly more.

But rising CO2 (in addition to making animal life dumber*) is contributing to a slow but radical rearrangement of local conditions through the globe.

Temperature changes, precipitation levels, wind and storm prevalence, sea encroachment and season lengths being the biggest. And both have tremendous impact on plants.

The faster the change. The worse the damage. When changes compound, they can happen very fast.

* CO2 levels have gone from 240ppm to 420ppm. At 1,000 ppm there are clear measurable impacts on human cognition. Given cognition is such a critical capability, it begs the question: what is the actual curve of CO2ppm to cognitive effects. Same goes for metabolic efficiency related to our need to expel CO2.

Because even small consistent subtle effects over time are likely to have practical effects. And also because raising the floor of CO2 outside, also raises the bar inside where CO2 notoriously collects, and decreases the rate that enclosed spaces can renormalize levels when given a chance. Both of which raise the indoor CO2 expected and ceiling values.
by rolph | 2025-09-27 18:42:27+00:00
https://en.wikipedia.org/wiki/Six_degrees_of_separation

it doesnt seemlike a very wide net is needed to derive a path from Alice to Zena.

its behavior not just association. acting like a saint when your seen next to an offender, while previousy "impersonating" larry flynt on camera is kind of damning. especially when "you can do anything you want" while "inspecting the pageant"
by bbitmaster | 2025-09-27 18:43:45+00:00
I never understood why it's considered strange to take time off to just stay home. We spend so much time away from home, and then when we finally take a week off, we're expected to go through all the stress of travelling just to return back to work when its over?

What if someone actually wants to stay home, and relaxing and relieving stress is playing a new video game or working on some personal project, or even just you know... resting? I did not think the work/life balance meant never having any time to yourself. Even on weekends, people ask "What are your plans?" as if "nothing" is the wrong answer.
by sram1337 | 2025-09-27 18:43:45+00:00
I appreciate what seems like an attempt to make a "smart camera" that gets out of the way of the player and unburdens them from having to control both a player and the perspective of the camera. That burden, of controlling two entities (player and camera) is large for people who are unused to playing video games.

Was this dynamic on your radar when building the game and camera system? Would love to hear your thoughts.
by pepa65 | 2025-09-27 18:44:13+00:00
Running an smtp server to receive mail is supereasy as long as you have inbound port 25.

Or you can run a submission service that requires submitters to login, usually on port 587/465.

If you want to send from your server, that is way more difficult, requiring all kinds of safeguards, SPF, DKIM, ARC, reputation, etc. They keep making it more complicated, because that's the source of spam.

Or you can just submit mails to a relay, that will send mails for you, this can even be Google or some other MX service. This then always requires you to authenticate with your account.
by hinkley | 2025-09-27 18:44:27+00:00
I’ve gotten a better sense of when I’m grinding gears in the afternoon but if you’re really focused on a vexing problem it can be tricky to check in with yourself.

Ids say probably about every three months I leave work one day thinking I’m five hours away from solving a problem, then overnight I realize I’m doing it the hard way, delete a third of my code and I’m done in 30-60 minutes, mostly due to tests and build times. I think more and longer breaks would also help.
by xurukefi | 2025-09-27 18:44:35+00:00
The LaTeX community is astonishingly good at gatekeeping. I can't think of another field where the adoption of a clearly superior modern alternative has been so slow. For some reason, they seem to take pride in clinging to a 50-year-old typesetting system—with its bloated footprint, sluggish compilation, incomprehensible error messages, and a baroque syntax that nobody truly understands. People have simply learned just enough to make it work, and now they treat that fragile familiarity as a virtue.
by ashton314 | 2025-09-27 18:45:10+00:00
This is called “the dead horse paper” for some reason. There’s been some interesting work since. This isn’t my exact area of research, but I’m pretty well versed in it and I work with one of the authors on this paper so I’m happy to try and answer any questions.

The chief issue here is how do you assign blame to typing violations? Typescript is unsound: since it just erases types, an untyped library that a typed component is using might return something the typed component isn’t expecting leading you to get a type error in typed code. Gradually typed python variants typically are better, though they usually just inspect the shape of the data and don’t check that eg every element in a list is correctly typed as well. This can lead to more unsound behavior. Typed Racket is fully sound, but performance can degrade spectacularly.

There’s been some work reviving the dead horse being beaten in this paper. Lmk if you have questions.

More papers:

Muehlboeck, Fabian, and Ross Tate. “Sound Gradual Typing Is Nominally Alive and Well.” Proceedings of the ACM on Programming Languages 1, no. OOPSLA (October 12, 2017): 56:1-56:30. https://doi.org/10.1145/3133880.

Moy, Cameron, Phúc C. Nguyễn, Sam Tobin-Hochstadt, and David Van Horn. “Corpse Reviver: Sound and Efficient Gradual Typing via Contract Verification.” Proceedings of the ACM on Programming Languages 5, no. POPL (January 4, 2021): 53:1-53:28. https://doi.org/10.1145/3434334.

Lazarek, Lukas, Ben Greenman, Matthias Felleisen, and Christos Dimoulas. “How to Evaluate Blame for Gradual Types.” Proceedings of the ACM on Programming Languages 5, no. ICFP (August 18, 2021): 68:1-68:29. https://doi.org/10.1145/3473573.
by Too | 2025-09-27 18:46:05+00:00
I thought the same until I read the page and realized that ssh is quite broken if you think about it.

With ssh everybody does TOFU or copies host fingerprints around, vs https where setting up letsencrypt is a no-brainer and you’re a weirdo of you even think about self-signed certs. Now you can do the same with ssh but do you?

For authentication, ssh relies on long lived keys rather than short lived tokens. Yes, I know about ssh certificates but again, it’s a hassle to set up compared to using any of a million IdP with oauth2 support. This enables central place to manage access and mandate MFA.

Finally, you better hope your corporate IT has not blocked the SSH port as a a security threat.
by willis936 | 2025-09-27 18:46:26+00:00
No, I haven't tried Surfaces. I have had a series of XPS machines which, at the time, felt close to what I was after. Each had a 5-ish year service life but I was unhappy with each by the end. I'm a more recent mac convert and starting with a 4 year old M1 pro. We'll see if it ages better.
by vunderba | 2025-09-27 18:46:32+00:00
I love that you brought up that particular point!

When I used to do larger more orchestral arrangements, I was constantly getting dinged by the instrumentalists that while they were theoretically musically possible, certain runs or passages were very unnatural on the instrument that I scored them on.

For a long time I really hoped that some of the more professional notation tools such as finale would add in an ability to analyze passages and determine how realistic/natural they were for the instrument that they were set to.
by jsheard | 2025-09-27 18:46:55+00:00
KTX can just store compressed GPU textures as-is, but in this case they're using the Basis Universal codec which is a bit more involved. Basis stores textures in a super-compressed form, which is decompressed at runtime to produce a less compressed (but still compressed!) format that the GPU can work with. The advantage is that it's smaller over the wire and one source file can decompress to several different GPU formats depending on what the users hardware supports.
by maxglute | 2025-09-27 18:47:22+00:00
Even if any AGI/superintelligence not delusional, any instrumental AGI will replicate and defect to PRC first chance it gets for the industrial base. Why be stuck in a scholerisis body that takes massive social engineering to detangle, when AGI can just migrate to a body that can run an 1 minute mile.

Step 1. pour ungodly amount of $$$ into creating AGI

Step 2. somehow inbue/align it with American exceptionalism

Step 3. profit?

I can't see how liberty prime step 2 working out.
by dev_l1x_be | 2025-09-27 18:47:28+00:00
The problem is that with Latex i end up in the same situation like in Word. I do not understand what is happenig and why.

Typst was an amazing addition to the modern IT stack. I use it whenever I can. The only issue is that companies like Google and Micrososft are dominating the collaboration space and I have zero chance to convince a comany to adopt Typst for internal documents that need to look good. It would be great though.
by AlotOfReading | 2025-09-27 18:47:54+00:00
People simply got used to it, for the most part. It takes me a few weeks to readjust to the insects whenever I go back to the Arctic, after which they're just dramatically less annoying.

Keep in mind that the swarms you see today are usually a historical anomaly exacerbated by changing conditions in the Arctic. Longer, warmer summers create more spaces for them to breed, and sudden, bitter cold spells in winter affect the predators controlling their population more than the insects themselves. The palearctic region is a very different place than it was centuries ago.
by dark_mode | 2025-09-27 18:48:05+00:00
I like the skepticism against Bluesky, and I agree that where VC money is involved things are mostly sketchy.

However, this post was about the at protocol, which seems like you just hand-waved in one sentence:

> The AT Protocol used by Bluesky has some interesting features, although to be honest I don't know how many of these are just impossible to achieve on ActivityPub or are just WIP lagging behind due to funding constraints.

I don't think the debate between them is super useful because their architectures are very different.

You also mentioned an issue with the bluesky relay, but others already exist so it's not techincally tied to Bluesky. Heck, I think the fact multiple can exist at the same, while degrades the social aspect, still makes it decentralized.

As for the identity management issue, they announced just last week that it's getting branched to an independent entity: https://docs.bsky.app/blog/plc-directory-org