MurphyA/hacker-news huggingface dataset:
by jccalhoun | 2025-05-08 11:48:35+00:00
This isn't limited just to California. I teach at a community college in the midwest and we have encountered this too in our online classes. Last semester I had 3-4 in one online class that were fake but a colleague had about 1/3 of her class.

They start the class doing work so that means we have to grade it. I first became suspicious when these fake students were posting message board posts that were all weirdly indented like they were from an email reply chain. I thought it was weird until I talked to my colleague who had the same thing. Then one of htem posted a message that was "Hello, I am a student from [insert town name here]...."

We turned the names in and the university used an id verification system and got them out of the class.
by itfossil | 2025-05-08 11:50:23+00:00
ROFL - Are you seriously telling me a device running Roku software is trouble-free? Sell this lie somewhere else please. Devices running Roku software, TVs especially are a straight up dumpster fire.

On top of that, its harvesting the hell out of your data.

Stop being a sucker. Toss that Roku powered shit out of the window.
by morellt | 2025-05-08 11:50:33+00:00
Look into Schiit Audio! They're American designed and manufactured. Their receivers aren't as consumer friendly as those of sony/denon etc but the quality is amazing, they have low, mid, and high end devices for each category, and they dont have/require any wifi connectivity. I've been daily driving their headphone DAC and tube amp for the last 8 years with no problem.
by neilv | 2025-05-08 11:50:37+00:00
A few formatting changes might make this advanced example easier to understand:

(define-syntax trace-let (syntax-rules () [(trace-let name ([var expr] ...) body1 ... body2) (let f ([depth 0] [var expr] ...) (define name (lambda (var ...) (f (+ depth 1) var ...))) (indent depth) (display "(") (display 'name) (begin (display " ") (display var)) ... (display ")") (newline) (call-with-values (lambda () body1 ... body2) (lambda val* (indent depth) (fold-left (lambda (sep val) (display sep) (display val) " ") "" val*) (newline) (apply values val*))))]))

The biggest one is to make the rule template pattern variables all-uppercase. I also made a few other tweaks, including using indentation a little more, and naming the named-`let` variable as "loop" (I usually name it `loop` or prefix the name with `loop-` if there's more than one):

(define-syntax trace-let (syntax-rules () ((trace-let NAME ((VAR EXPR) ...) BODY1 ... BODY2) (let loop ((depth 0) (VAR EXPR) ...) (define NAME (lambda (VAR ...) (loop (+ depth 1) VAR ...))) (indent depth) (display "(") (display (quote NAME)) (begin (display " ") (display VAR)) ... (display ")") (newline) (call-with-values (lambda () BODY1 ... BODY2) (lambda val* (indent depth) (fold-left (lambda (sep val) (display sep) (display val) " ") "" val*) (newline) (apply values val*)))))))

Incidentally, all-uppercase Scheme pattern variables is one of the all-time best uses of all-uppercase in any language. Second only to all-uppercase for the C preprocessor, where a preprocessor macro can introduce almost arbitrary text. Using all-uppercase for constants in some language that has constants, however, is an abomination.

(My suspicion of why Java did all-caps is that they were developing a language for embedded systems developers who were currently using C and C++, and they wanted to make it superficially look similar, even though it was an entirely different language. And then, ironically, the language ended up being used mostly by the analogue of a very different developer of the time: corporate internal information systems developers, who, as a field, didn't use anything like C. It's too late to save Java, but to all other language and API developers, please stop the insanity of all-caps constants, enum values, etc. It's not the most important thing that needs to jump out from the code above all other things.)
AI Summarizer: Summarize Web, YouTube and PDFs in Seconds–Free
by huizhu | 2025-05-08 11:51:04+00:00
Hey Hacker News community! I’m Hui, the maker of AI Summarizer – stoked to share this with you today!

I built this tool because, like many of you, I was drowning in endless articles, hour-long YouTube tutorials, and dense PDFs. One day, while scrambling to prep for a project, I thought: “What if AI could cut through the noise and give me the gist in seconds?” That spark led to months of coding, testing, and collaborating with beta users to polish a tool that’s fast, free, and works in 15 languages .

Why you’ll love it: Zero cost, zero fuss – completely free, no hidden limits. Your AI, your rules – pick ChatGPT, Gemini, Grok, DeepSeek, Qwen or others to match your style. Works everywhere – summarize YouTube videos (yes, even with subtitles!), blogs, PDFs, and more. Speaks your language – whether you’re reading in Hindi, Korean, French, or 12 others.

Try it now and let me know: What content do YOU struggle to digest? Which AI model gives you the best summaries? Any features you’d love to see next?

Big thanks to early testers who helped shape this – your feedback is gold! Let’s keep the conversation going: Ask me anything about the tech, roadmap, or how to tweak prompts for laser-focused summaries. Let’s make information overload a thing of the past!

Install here: https://chromewebstore.google.com/detail/ai-summarizer-web-youtube/dcohpcjocgijndjcachlifniaendimid Cheers to working smarter, not harder!

P.S. Share a screenshot of your first summary – I’d love to feature your vibe!
by mietek | 2025-05-08 11:51:11+00:00
> …especially when you get past low level algorithms and into domain logic (your point exactly). They also don't serialize well, so a database or API call with a "proof" field would be susceptible to fudging…

Nonsense.

Proving things about low-level algorithms that are full of complicated behaviors involving shared mutable state is often more difficult than proving things about high-level domain logic; regardless, people still do it, and if you use any modern CPU, especially from the ARM family, you benefit from their work.

A proof serializes just as well as any other kind of program — after all, the first step in checking a proof involves deserializing the proof, or in other words, reading and parsing its source code.

As for “fudging”; proofs are guaranteed to be correct up to the correctness of the proof checker, which can be used to recheck the proof at any time.

For more information, see Geuvers (2009) “Proof assistants: History, ideas and future”.

https://sci-hub.st/https://link.springer.com/article/10.1007...
by seanhunter | 2025-05-08 11:51:18+00:00
I recognise this picture. For example I remember when I used to commute by motorcycle getting cut off by a guy driving a van who had his phone clamped in the crook of his neck and was writing something in a notepad with a pencil and steering with a combination of the notepad and his knees. This is turning at a really busy junction in London[1] during rush hour traffic.

[1] just south of the river at Vauxhall bridge
by ogogmad | 2025-05-08 11:51:21+00:00
I suspect that the "black box" philosophy for statistics/ML is actually bad if you don't have a quick way of verifying the predictions. For instance, using PCA as a "black box" is perfectly fine if you're using it to de-noise readings from a camera or other instrument, because a human being can quickly tell if the de-noising is working correctly or not. But if you're using PCA to make novel discoveries, where you don't have an independent way of checking those discoveries, then it might be outright essential to have a deep definition-theorem-proof style understanding of PCA. What do people think of this hunch?

The point about PCA applies to population genetics and psychometrics (IQ). Some conclusions have been derived using PCA that appear to be supported by little else, and these have come under question.
by prmoustache | 2025-05-08 11:52:08+00:00
Food that comes to your door when you have already starved to death or binge eaten bags of crisps or bread while waiting for it, is visually unappealling thanks to have been stored in carboard boxes and been transported carelessly, is missing the actual sauce you specifically asked for and more often than not barely warm anymore.

That is the problem. After some failed attempts, I just make sure I always have stuff to pick and eat at home and if I am not feeling it, I just walk to a food place next door as it won't be worse than what is deliverable AND will be ready when I am actually hungry.
by rayiner | 2025-05-08 11:52:10+00:00
My left wing idea is that the government should be much more aggressive in preventing his sort of consolidation. Every industry is like the same handful of companies, with numerous “brands.” (These particular brands are all already owned by a single entity.)

I’ve got an “Amana” heat pump. It’s really a Daikin, and is part for part compatible with Goodman, also owned by Diakin. But all the brands are sold to customers to create the illusion of choice. Maybe we could at least have a “real name” policy for companies and products.
by jollyllama | 2025-05-08 11:52:37+00:00
Yeah, I have seen things like you describe. But I have also seen the same code, copy-pasted a dozen times throughout a codebase and modified over years. That is a much worse situation; the links between the abstractions still exist without the inheritance, but now they are untraceable. At least with inheritance there are links between the methods and classes for you to follow. Without it, you've got to crawl the entire codebase to find these things. OOP is easily the lesser of the two evils; without it, you're doomed to violate DRY in ways that will make your project unmaintainable.

I would even go so far as to argue that a small team of devs can learn an OOP heirarchy and work with it indefinitely, but a similar small team will drown in maintenance overhead without OOP and inheritance. This is highly relevant as we head into an age of decreased headcounts. This style of abandoning OOP will age poorly as teams decrease in size.

Keeping to the DRY principle is also more valuable in the age of AI when briefer codebases use up fewer LLM tokens.
by wkat4242 | 2025-05-08 11:53:26+00:00
Same here in Catalonia, inviting people to your house is not really done. We just meet outside.

And the menu deals during lunchtime are amazing. 12 euro for 3 courses. Add some drinks and you have passed hours for cheap.

And yeah I have seen that latin thing, my ex was a latina and I saw them often socialising while making food. But in that culture preparing food seems to be very much a "women-only" thing where the men hang on the couch with a beer :P Whereas our roles here in europe are much less traditional. So it's not quite as mixed for them in terms of the pre-dinner socialisation. I tried to go into the kitchen to help/chat at one point but I didn't think I was very welcome there.

However I only know that one latino family well. Perhaps they are an outlier.
by hapticmonkey | 2025-05-08 11:54:05+00:00
I have my TV on which doesn’t bother me but I understand why it’s not ideal for all setups. If I select a song on my iPhone and airplay it to my AppleTV, it does a handover.

If you want to stay within the Apple ecosystem without the TV part, you could use an AVR with airplay built-in. Or get an AirPort Express, which can join a wifi network and become an Airplay client, and connect it via optical (mini toslink) to an AVR. And control it all from a phone or Mac.
by cj | 2025-05-08 11:54:59+00:00
Apple TV connected via HDMI to a big screen TV not connected to the internet.

2-3 second boot up. No ads. Snappy interface. No complaints. No bloatware. No adware.

Why does this solution not work for you?

Does your TV not work when you turn off WiFi with an attached Apple TV? I’m confused.
by ninkendo | 2025-05-08 11:55:00+00:00
Mapping a Vec<T> to Result<U, E> and collecting them into a single Result<Vec<U>, E> made me feel like a ninja when I first learned it was supported. I’m a little worried it’s too confusing to read for others, but it works so well.

Combined with futures::try_join_all for async closures and you can use it to do a bunch of failable tasks in parallel too, it’s great.
by yuye | 2025-05-08 11:55:49+00:00
>I'm sure it's possible they made it up, but we had similar restrictions where I could use an Arduino for my engineering Senior Design Project in college, but no Arduino or module libraries - just our own C.

When I started compsci, it was the first year of a all-new curriculum for CompSci.

Literally the first week: We had to program an Arduino to play a song on a speaker by toggling GPIO, within a week. No assembly or any of that high-level mumbo-jumbo. We had to read the datasheet, look at the instructions and write the hex representation for each instruction in a txt file.

We had a "linker" tool: It took a basic bootloader (containing some helper functions for GPIO), turned our hex-txt file into actual binary, then just copies that to a set address. The bootloader did nothing more than init the GPIO pins and jump into our code.

We were given the locations of where these helper functions lived, nothing else.

It was to give a quick and intimate understanding of how CPUs actually work and why we use compilers and stuff. It worked really well, but it was so much of a pain that they changed it to allow students to use asm a year or two after.
by Luc | 2025-05-08 11:56:03+00:00
https://www.progres.net.eg/plusieurs-messages-caches-sur-lob...

In this article in French, they mention hieroglyphs encoded in the way arms and legs are drawn of a figure on the throne of Tutankhamun, and that only 6 Egyptologists in the whole worlds are able to decode them.

Hmmm, I wonder how mainstream these ideas are? Do other Egyptologists respect them?
by stefs | 2025-05-08 11:56:04+00:00
imo: people used to be outside a lot more. by summer they usually had a good tan, so they didn't suffer the sunlight that much. of course this did lead to _premature_ (from our modern point of view) skin aging.

heat and light are different factors, even though they mostly come hand in hand. outside, heat is definitely a bigger problem than it used to be, but also we don't spend as much time outside. if heat became a problem people used to take time off, rest during the hottest times of the day and work earlier/later.
by miki123211 | 2025-05-08 11:57:18+00:00
It's so strange to me how little information there is on the internet about how the BlackBerry really worked.

Other phone OSes, both modern ones like iOS and Android, as well as ancient ones like Symbian or even the Nokia 3310 firmware, have their internals well described. All I could find about the BlackBerry was that it used some Java-based OS, but no detailed information about its architecture, conventions, file system layouts, security properties or technical capabilities seems to be available. The communications protocols are just as mysterious, especially on the phone-to-server side. I know it required some kind of carrier integration to work, which makes me think it wasn't just a bog-standard connection over TCP/IP, but I have no idea what it actually was.

There's some information in BlackBerry programming books, which can still be found in the "usual places", some old BlackHat presentations, which seem to mostly focus on the enterprise server component, as well as some company history and brief descriptions of the technical choices made in "Losing the Signal", but that's about it. Even Nintendo's OS is understood much more widely, despite Nintendo being much more secretive and litigious.
by cadu2 | 2025-05-08 11:57:24+00:00
I'm not sure into what kind of industry you're in, but having most functions as (args, *kwargs) is not the way I deal with most of my code and the libraries I work at all (backend development). Everything is typed fully.

Maybe you're in a niche spot, or using scientist-based code. I've seen plenty of trainwrecks in 'conda-only' ""libraries"" done by scientists. Maybe that's the niche you're at?
by morellt | 2025-05-08 11:58:48+00:00
I think this ties in more with the decrease in quality of movie/music sound mixing. There are current movies coming to theaters with mixing so bad that they have to rerelease it with the proper audio (such as Across the Spiderverse). Many, MANY albums that release today have noticeable digital clipping because engineers have now assumed that high gain is always better etc. etc.

There used to be a reason to have a 5.1 surround system, because that's how the movies were supposed to be enjoyed. There used to be a reason to engineer your home "soundstage" because that's how the music was mixed and optimally appreciated.

I don't think the bar of entry being money is truly the reason, rather that people have become much more passive consumers of media, and the producers have recognized that and absolutely enshittified their products.

As for the cheap speakers = cinematic experience, watch Interstellar with 5.1, then with the soundbar and tell me how equal the experience is.
by Hackbraten | 2025-05-08 11:58:57+00:00
The article fails to explain the context in which the term “consensus” is being used here.

In case others might be wondering, too:

- By “consensus,” the article supposedly means “the majority agrees that there’s a market for the particular thing the company is doing.”

- By “non-consensus,” it means that the company itself thinks it’s onto something but the majority disagrees.

Source: https://www.forbes.com/councils/forbestechcouncil/2025/05/08...
by myself248 | 2025-05-08 12:00:25+00:00
The L-band is a term for the whole swath between 1 and 2 GHz. It's diced into dozens of allocations by international treaty.

Some ranges are set aside for GPS/GNSS: https://gssc.esa.int/navipedia/index.php?title=GNSS_signal

Some are monitored by the SMAP satellite: https://en.wikipedia.org/wiki/Soil_Moisture_Active_Passive

(Also in the L-band are all sorts of other things. A lot of cellular bands, known in the US as PCS and AWS, and more. Several different sat-phone systems. ADSB in 1090 is juuuust inside L-band. And more...)

All transmitters produce a bit of out-of-band interference, beyond where they meant to transmit. This is filtered to reduce it to a certain level below the intentional frequency, but filters aren't perfect. So when someone tries to jam GPS or other services, they inevitably bleed some energy into neighboring allocations too, some of which seems to be being picked up by SMAP.

Note that SMAP's passive radiometer doesn't have pinpoint spatial resolution, 36km is stated. This means it's listening to a pretty significant patch of ground at any given time, so for a source to be picked up among all that, it's got to be pretty loud. It also means that attributing the source is limited in precision, you can get to city level but not city-block level from this data.
by manfromchina1 | 2025-05-08 12:01:59+00:00
> For once, Chinese engineers and scientists didn’t steal intellectual property but used declassified US documents on projects that the West had abandoned and developed them.

Oh wow. I dont think BeiDou Nav Sat System, HarmonyOS, Loongson&Zhaoxin CPUs, high speed Maglev trains (that use homegrown proprietary tech/design/material/engineering), Jinhdong warehouses etc are stolen.

Obviously, there is an argument to be made for how all of the above is based on papers and prototypes that originate in the west. However the same argument also applies to a lot of tech that originates in, say, the US. For example, the US Internet grew out of British packet switching theory(Donald Davies), GPUs rely on parallel computing theories from Japan and Europe etc.
by explain | 2025-05-08 12:02:21+00:00
"The Wikimedia Foundation shares the UK government’s commitment to promoting online environments where everyone can safely participate. However, if enforced on Wikipedia..."

"The Wikimedia Foundation is not bringing a general challenge to the OSA as a whole, not even to the existence of the Category 1 duties themselves."

"We do not dispute the need for sensible online regulation."

Great to see those who support these regulations facing the consequences.
by anthk | 2025-05-08 12:03:28+00:00
CWM + window search + keybindings was and it's still superior to whatever theme you are trying to apply. I have a patched Zukitre GTK2-3-4 theme with custom ~/.Xdefaults. I nearly don't need neither decorations nor a taskbar. Just hit win+w, begin typing, your window it's there. Magic. I don't even need to use a mouse.

OTOH, yes, Gnome's blandnes sucks a lot. With Plasma and a bit less, XFCE, you can do far more with a desktop, even Budgie it's far better than Gnome3.

And I miss tons of GTK2 themes from its era. Bluecurve looked better than everything from today. OSX, Windows, Haiku, whatever. That theme looked colourful, positive and extremely usable, with proper and visible menues, buttons, scrollbars and so. Nowaday both OSX, GTK4 with Adwaita (far less with Zukitre) and Windows are a nightmare on usability.

Once you disable the overlay scrollbars under GTK4 and force the GTK theme to Zukitre (once installed) at /etc/profile.d/gtk.sh (a line with 'export GTK_THEME=Zukitre'), most of the dumb choices from Red Hat/FreeDesktop go away for the average Joe user.

Zukitre has gray widgets (not full white, damn UI pseudo-designers), usable buttons and proper scrollbars (again, disable the overlay settings for GTK). And, for sure, COLOR CONTRAST, damn it.

Mac System 7 did it fine; so did Platinum under Mac OS 8-9. Neutral gray colors, usable widgets. Ditto with OSX, but the stripped bars sucked at first, yet Tiger and Snow Leopard look perfectly usable. The same with Windows 95, even Windows XP and partially 7. Windows 10 is unusable with flat widgets with no contrasts and hints for Windows. Windows 11 it's even worse. Current MacOS, with the same overlay scrollbars and lack of contrast it's a huge downgrade from Snow Leopard.

Even the old Motif/FVWM under Unix had a nightmarish usability for the non-CS student, but it had 3D widgets on Motif/Athena (Xaw3D) and grabable window borders. Go try resizing a window under Gnome3 or Windows 10. Or moving a window at a quick glance.

UI designers should stop following trends and just give up on merging tablets and desktops. It doesn't work.
by ffsm8 | 2025-05-08 12:04:59+00:00
The biggest difference are

1. A class can be composed out of multiple interfaces, making them more like mixins/traits etc vs inheritance, which is always a singular class

2. The implementation is flat and you do not have a tree of inheritance - which was what this discussion was about. This obviously comes with the caveat that you don't combine them, which would effectively make it inheritance again.
by blamestross | 2025-05-08 12:05:03+00:00
I'm increasingly of the belief that modern governments have lost all advantage in the space of security hardware and software. They only have OpSec and a monopoly on violence to leverage in order to have an improved security situation over the public sector.

They don't seem to be using that OpSec superiority effectively right now.

I work public-sector in supply chain security and I am terrified that the situation we currently have in the corporate world is actually the best there is.
by givinguflac | 2025-05-08 12:05:42+00:00
I have used AM since launch and don’t understand what you’re complaining about exactly. I have never, not once, seen a message telling me to stop playing on one device to play on another with AM. Spotify otoh is super strict with licensing and does that. Why wouldn’t you want to be able to play 2 different streams in 2 different places?

I have my AM on my Sonos, my phone, my ATV, and my dad’s Sonos and have never seen a message that it’s playing elsewhere. With Spotify my setup absolutely would be impossible using the same account.

I personally don’t want the Spotify style playback features; keep them out of my AM please.

Edit: I forgot you can also now share a queue via Apple Music using airplay, even if others at the party don’t have an account.