MurphyA/hacker-news huggingface dataset:
by apercu | 2025-04-28 11:08:04+00:00
> that patients mostly didn't take care of themselves or care for their own health, and then approached the doctor to "fix them up".

The American health care system has failed people. Capitalism wants people to consume unhealthy things to unhealthy degrees. Your job (your boss and the shareholders) are killing you.

I am pretty fit and have been for a majority of my life, but from my mid-20's to 40 I wasn't any where near as fit. Why? Because of professional obligations, mandatory uncompensated overtime, ridiculous deadlines and budgets due to the capital classes short-term desires to live bloated lifestyles because they are deeply unhappy.

I recently moved back to the U.S. The obesity is incredible. And part of me does think people should take some responsibility for what they eat and how little they move, but I also have compassion because when I had a 50+ hour work week and spent 15 hours a week commuting I had just enough time to sleep and watch a movie before heading back to work. That led to unhealthy food and exercise habits and probably too much alcohol.

What helped me? Quitting full-time employment (indentured servitude). I have been self-employed for 11 years, I dropped (and kept off) 20 pounds within a year of not working for others. I rarely drink.

But not everyone is willing to take that sort of risk. And most people have lifestyle bloat (subscriptions, expensive cars, expensive clothes, houses full of cheap Chinese electronics, new iPhones every 2years, unhealthy, expensive food delivered to their doors daily, etc.).

There are billions being spent every day to incentivize people to consume shit. Most individuals don't have a chance at combating this messaging, as critical thinking is in short supply (looking at you people who voted for and support this clown car of an administration in power in the US right now).

Point is, you're not wrong, but let's not just blame "poor people who eat at 7-11". This entire country (world) is sick.
by leereeves | 2025-04-28 11:08:08+00:00
Ok, so it is very much political. Similar principles are being used right now to punish supporters of Palestine under the guise of preventing anti-Semitism.

Brief expressions of anger after a mass killing don't justify imprisoning someone.

Edit: the enforcement is political, I mean. Basically, not all hate speech is treated equal, it depends on who the speech is about, and what concerns the government. In the US it was terrorism after 9/11 and opposition to Israel now. It sounds like in the UK right now it is anti-immigrant sentiment. At least in the US we have a strong First Amendment to protect us from the government policing our speech.
by okeuro49 | 2025-04-28 11:08:40+00:00
There is no "far right" or people being "whipped up". Disorder is a consequence of failed government policy.

E.g. from 2023: "Northern seaside town now a 'powder keg' over asylum seeker tensions"

"The tension in Skegness has grown after hundreds of migrants from the Middle East, Africa and Albania were crammed into former tourist hotels on the seafront."

"Cars have been vandalised, shop windows broken, mattresses set alight and scuffles reported between migrants and security staff. Officials say 229 asylum seekers are staying in up to seven hotels on and around the town’s promenade, but locals say the figure is more like 700."
by half-kh-hacker | 2025-04-28 11:08:58+00:00
the reference bluesky backend does just keep everything around but this idea has merit!! you're actually reinventing something like AppViewLite right now, which does throw away old data: https://github.com/alnkesq/AppViewLite

bluesky chooses to not refetch data from PDSes all the time so that the load for a PDS stays low (they like it to be possible to run on a home connection)
by rvz | 2025-04-28 11:09:23+00:00
A full nationwide power outage affecting not one but three [0] countries.

Sounds like a major infrastructure risk given that it is possible for more than one country to experience a full loss of power.

EDIT: Andorra is also affected, so that is three.

[0] https://www.lavanguardia.com/vida/20250428/10624908/caida-ge...
by ineedasername | 2025-04-28 11:10:30+00:00
which means I could spend the rest of my life tutoring Claude and it’ll still make the exact same mistakes

This is temporary. The new more global memory features in ChatGPT are a good example of how this is already starting to decrease as a factor. Yes it’s not quite the same as fine tuning or rlhf, but the impact is still similar, and I suspect that the toolong for end users or local tenant admins to easily create more sophisticated embeddings is going to increase very quickly.
by amai | 2025-04-28 11:11:12+00:00
„the grassroots opposition movements made the biggest contribution to the revolution that started in East Germany in autumn 1989“

That is a myth german people like to believe. In fact the real reason for the breakdown of communist east europe was that the governments of East Germany, Hungary, Poland, USSSR … were bankrupt:

https://www.deutschlandfunkkultur.de/grenzoeffnung-1989-schu...

As long as dictatorships are doing well economically, they will find ways and means to suppress uprisings. This makes effective economic sanctions, including harsh penalties for companies that do business with dictators, all the more important.
by pron | 2025-04-28 11:11:39+00:00
> This is a strawman fallacy, we're not talking purely theoreticals.

No, this is the technique we use in practice in formal methods to prove program properties. When we write a program correctness proof in TLA+ or Lean, this is what we do. This is also how we build invariants into languages. When you learn how to write formal proofs and design type systems, this is what you learn.

> Rust, however, can maintain invariants and be expressive enough because it relies on outside the computer assistance (aka unsafe blocks).

Rust maintains its invariants by making a stronger invariant inductive in the language.

> Google mentioned they had little problem getting people to work with Rust.

I am not talking about Rust in particular. I'm talking about your general point that more soundness is always better, and your claim that my argument is an example of a nirvana fallacy because I compare an imperfect solution to a hypothetical perfect one. I am trying to explain that we know that more soundness is sometimes worse for correctness in practice. The problem is not that more soundness isn't perfect, but that there are currently better solutions than more soundness in some situations.

You seem to be unaware of the shift in software correctness since the seventies. The gap between the size of programs we can prove correct using deductive methods (currently ~10KLOC) and the size of programs produced in industry is only growing. That is why there's been a shift from deductive proofs to methods such as concolic testing (e.g. KLEE). You can see that by looking at the programs for any software verification / formal methods conference.

To be clear, I am not saying that more soundness is never better; I'm saying it is sometimes worse. You can say that we should use ATS more, but the effort of producing software that's proven correct with ATS is not justified by the additional correctness guarantees you gain. I.e., at some point you pay $1000 for improved confidence worth $100.
by mubou | 2025-04-28 11:11:50+00:00
UUID[0] has a specific meaning. I thought for a second that you were generating UUIDs but in a different base so as to make them more compact, like short-uuid[1] does, but judging by the code that doesn't look to be the case. I'd recommend doing a find & replace and changing it to just UID.

[0]: https://www.rfc-editor.org/rfc/rfc9562.html

[1]: https://www.npmjs.com/package/short-uuid
by Saline9515 | 2025-04-28 11:12:27+00:00
Following your thinking, given that no one is born muslim (it's a religion, apostasy exists), it's ok to say "death to muslims", just as it is ok to say "death to terfs"? If you tell me that the muslim religion isn't discriminatory, I'd like you to do some wikipedia reading about it first. You can start with the status of women, for instance.
by foldr | 2025-04-28 11:12:31+00:00
The tweet was posted elsewhere in this thread. It doesn’t express any political view. It just says hateful stuff.

To your edit: If you’re making the comparison to anti-TERF “hate speech”, then it’s not treated equally because the law itself doesn’t treat racism on a par with anti-TERF sentiment. You can disagree with that, but it doesn’t show unequal policing of the law as-is.
by dynm | 2025-04-28 11:12:37+00:00
I think the example of how to "correctly" cite a paper actually makes this issue seem smaller than it is. In reality, these conferences have very complicated (and unstated) "rules" for how a paper is supposed to look. If an "outsider" wanders in and submits a paper with new ideas, it will be very obvious that they are not a "member of the community" and their paper will usually be treated much more harshly as a result. This adds a huge amount of friction to research.

And what's particularly frustrating is that many organizers will try to combat this by writing papers saying they "particularly encourage" papers that are interdisciplinary, or focused on less fashionable topics, etc. It's good that they are trying to change things, but I think the main effect in practice is to encourage people to spend their time writing papers that have little chance of being accepted.

This issue isn't at all unique to computer science, though. Try publishing a paper in a top economics journal as an outsider!
by sameline | 2025-04-28 11:13:01+00:00
I shared this last month as well but I’ve added a couple new features since then: a weekly digest email, a list of what you’re tracking and a price history chart.

I’ve been building https://lowlow.bot, it tracks price changes on any website. I was inspired by https://camelcamelcamel.com, but wanted something that worked for more than just Amazon. It’s been handy for big purchases I’m ok waiting for and stocking up on recurring non-perishable essentials when they go on sale. It also lets me know when something has come back in stock.
by underdeserver | 2025-04-28 11:14:04+00:00
Well no, I don't know how startups work, having never been a founder or an investor, but my understanding is that startups are valued at a few multiples of ARR, 10x if there's major growth, for which in almost all cases you'll need VC money (which they don't have).

I'm going to assume that either A) there is no growth without this partnership, so the startup is maybe worth up to 1M, in which case getting up to 40% over 4 years with work and targets makes sense, or B) the original founder is expecting significant growth even without the partnership, in which case he needs an employee and not a partner (and he should pay him as such).
by Clubber | 2025-04-28 11:14:11+00:00
>Do many people hobby code with that entrepreneur mindset thing? Or sit down to play guitar thinking they want to make a hit and feeling bad if they just noodle some cover songs?

I absolutely do. Money and power is a great motivator. I don't feel bad about any of it. I took my shot and continue to do so.

>What a miserable existence that must be. How do you get that way? Should we blame LinkedIn or what is it?

It was not. I made some good side money. I always joke that I program to feed my computer habit. The benefit of it is you actually code like you are making a product, and there is usually a big skill difference between someone coding for fun and someone coding to make an actual sellable product; it's the 80/20 rule. That last 80% is what separates the good from the great. Like Jobs said, "Real artists ship."
by fullstackchris | 2025-04-28 11:14:35+00:00
Still cracking away CodeVideo, a way to create software educational content in a declarative manner. Design your course once, export it to every format you can think of (video, PDF, markdown, HTML, and more). I was recently inspired by the feature set I saw at Scrimba, so we just added slide functionality! The blog post is here: https://codevideo.substack.com/p/introducing-the-slide-displ...

And an example video is here: https://youtu.be/1duE604MGHs

It definitely has not gotten the traction I'd expected, but at the very least I'm very close to start making my own courses with it!
by mr_mitm | 2025-04-28 11:16:40+00:00
The way I see it is that it could only actually collapse if the electron was headed precisely at the nucleus (the nucleus has diameter zero in this simplified model). Even in classical physics, the electron would move on an ellipsis around the nucleus in almost all cases, so the average distance would be non-zero.

Being pointed exactly at the nucleus is not possible in quantum mechanics, because that would require infinite precision, which is precisely what we give up in this model, so the average distance is yet again non-zero.
by apercu | 2025-04-28 11:16:42+00:00
We all know that the powers that be ($$) will not allow allow for any meaningful change, and that the right is simply obstructionist when they don't have the White House, so it shouldn't matter who the Democrats ran.

The fact that even after the first Trump presidency (a disaster for anyone that isn't extremely wealthy) enough people voted for a criminal idiot surrounded by incompetent sycophants is still absolutely incredible to me. I'm still in shock even to this day.
by remon | 2025-04-28 11:17:30+00:00
I know people are going on about privacy and that's fair but easily sorted with the appropriate data privacy policies and actually adhering to your commitments in them.

If you are approaching this from a potential business perspective that will not be the major issue. As you can tell from the comments most people do want their screen recordings on a remote service, now matter the policies involved.

That leaves you with some options :

1) Encrypt the outgoing WebRTC stream before it leaves the client device/browser (e.g. through WebRTC Insertable Streams or similar), encoded with a client local key that only your customer knows/manages. This ensures any screen recordings stored on your end cannot be accessed in any way. They can then download the recordings as needed and decrypt on demand. Note that this still has the implication of you storing and transmitting massive amounts of data which is likely to become cost prohibitive as a service.

2) As above but do the decrypting for your customer on your end so they get to download playable media. This obviously introduces the security risk of your platform becoming temporarily able to 'see' the content.

3) Save your recording directly through MediaRecorder WebM or similar (has various browser compatibility challenges as standards materialize) and uses less obvious encodings (we're still living with the bullshit of H.264 requiring licensing).
by NicuCalcea | 2025-04-28 11:18:31+00:00
There's also the closed-source iA Presenter[0], which makes some great-looking slides. It's paid and Mac-only though.

I use Quarto with reveal.js and love it. I teach and particularly like the multiplex plugin[1] to sync the presentation on multiple devices. My students can open it on their laptops and I control the changing of the slides, but they can click on links or interact with the presentation themselves.

[0] https://ia.net/presenter [1] https://revealjs.com/multiplex/
by davemp | 2025-04-28 11:19:36+00:00
The US has really poor highway policy that encourages speeding. Many highways have a speed limit of 55mph (89kmh) left over from some ancient oil rationing law. [0] So folks are conditioned to think that speed limits are stupid, because frankly many of them are here. I regularly drive on highways that would be 120kmh (75mph) in Europe but are instead 89kmh. Most traffic ends up going 70-75mph (including traffic enforcement) anyways which makes the speed limits look like a joke when 80% of folks ignore it.

Which brings me to why I think folks are generally against better speed limit enforcement here—most people regularly speed (by 15-20mph) without being unsafe.

The US should first revise its limits and actually get police officers out there enforcing them before resorting to automatic limiters.

[0]: https://en.wikipedia.org/wiki/National_Maximum_Speed_Law
by trhway | 2025-04-28 11:20:01+00:00
> ...messages discussing the Trump administration’s treatment of scientists had been found. The researcher was reportedly then accused of writings “that reflect hatred toward Trump and can be described as terrorism”.

Everything that doesn't fit official government line is an extremism and terrorism. It has been that way in Russia and other authoritarian countries. Looks like that is getting imported into US, and without any tariffs at that. I'm perplexed though why does the US population want it (i live in CA, and that doesn't help understanding the whole US population), especially giving that any of those authoritarian countries is also orders of magnitude worse than US economy-wise (even the economy poster-child China has per capita GDP just 1/7th of that of US).
by johnernaut | 2025-04-28 11:20:16+00:00
Working on: Pantry Recipes – AI meal generation based on what’s in your kitchen

Over the past few weekends, I’ve been building Pantry Recipes – a mobile app that lets you quickly generate recipe ideas based on the ingredients you already have at home.

The idea is simple:

- Save or quickly select ingredients you have on hand - Tap Generate Recipes and get ideas instantly - You can also describe what you want to make free-form (e.g., "cheese omelette") and the app will generate a recipe for you.

The app is free for a number of recipe generations, then offers a low-cost subscription if you want unlimited use. It's live on the iOS App Store now: https://apps.apple.com/us/app/pantry-recipes/id6744589753

Happy to answer any questions if anyone’s curious about the tech, UX challenges, or what I learned from launching!
by chrisrodrigue | 2025-04-28 11:20:43+00:00
Zig hits on a lot of Zen of Python.

> Beautiful is better than ugly.

> Explicit is better than implicit.

> Simple is better than complex.

> Readability counts.

What really sets Zig apart from the usual suspects (C, C++, Rust) is that it has first class compile-time reflection capabilities built into the language (comptime, @field, @typeInfo, etc.) rather than bolted on as macros or templates.
by amszmidt | 2025-04-28 11:21:20+00:00
> 1. Commit 3ba50ec which Marcan is complaining about was pushed in 2008 and didn't just delete attrib specifically, but all (?) VCS comments indiscriminately. The file was barely touched since

FWIW -- I think this is the commit being talked about: https://github.com/m87h/libogc/commit/3ba50ecd4134ef37a0f18f...

Looks honestly totally innocent ...
by bobmcnamara | 2025-04-28 11:21:33+00:00
That's the only one I've ever seen, and it's really just checking for the absence of '%'.

What if it could convert:

printf("parsed: %s to %i\n", x, y);

To:

puts("parsed: "); puts(x); puts(" to "); _puti(y); putc('\n');

Well. Then we'd have a lot more function calls overhead. Maybe something like:

_printf_nofloat("parsed: %s to %i\n", x, y);
by John23832 | 2025-04-28 11:21:56+00:00
I’m not sure if this is a joke.

You’re saying that there’s no point in having the skills to actually do something (building a product), unless you have someone derivative skills as well (all the business things you state).

That really comes off as trying to justify the business cofounder. I can build independently. You can’t build a team (which I can do), market (which I can do), sell (which I can do), or refine (which I can do) independently.
by prepend | 2025-04-28 11:22:02+00:00
I have this discussion quite a bit with colleagues who specialize in communication.

I want to convey technical and scientific material. My presentation isn’t to motivate a billion people to buy an iPhone. My presentation is meant to inform 50-100 people to learn a new technique. And the slide deck is markers for where they can follow up later for detail and references.

I too see presentations with walls of text. I go to academic and scientific conferences. This is helpful to me. I like it better than posters. I don’t want to go to a conference and have a bunch of Steve Jobs (or more likely Elizabeth Holmes) giving one word per slide presentations.

I also don’t have 100 people working on my slide deck. It’s just me. I don’t need a TED talk.

I wish people would recognize the different purposes and audiences for presentations.
by razakel | 2025-04-28 11:22:40+00:00
>I can walk into my nearest teleco branch with my ID if I lose my phone and change the SIM to another phone.

And I can do the same pretending to be you, or simply bribe the minimum-wage cashier who doesn't really care.

Do they even have a flag for highly sensitive accounts, e.g. set off an alarm if someone tries to issue a new SIM for the President?
by throw0101b | 2025-04-28 11:22:46+00:00
As of:

Mon 28 Apr 2025 07:22:00 EDT Mon 28 Apr 2025 11:22:00 UTC

this is breaking just minutes ago:

* https://www.bbc.com/news/live/c9wpq8xrvd9t (rolling updates)

* http://archive.is/https://www.bloomberg.com/news/articles/20...

* https://www.rte.ie/news/world/2025/0428/1509881-spain-portug...

The Spanish national operator:

* https://www.ree.es/en

* https://en.wikipedia.org/wiki/Red_Eléctrica_de_España
by tengwar2 | 2025-04-28 11:22:59+00:00
> The organ is, together with the clock, the most complex of all mechanical instruments developed before the Industrial Revolution

Or to put it more strongly: the most complex machines on the planet for roughly 2000 years. The starting point usually acknowledged is Ctesibius's hydraulis, an organ with a simple automatic pump (no calcant or animal labour required) and pressure regulation. That was about 250BC. They were still producing innovations well after the industrial revolution, e.g. pneumatic relays.
by Saline9515 | 2025-04-28 11:23:38+00:00
I mean, we are coming out of a decade of cancel culture on campuses[0]. Elon Musk was clearly radicalized by it, which led him to buy Twitter.

Jordan Peterson's fame was partly due to him standing up in front of the obligation to use various pronouns at work, with the threat of getting fired.[1]

[0] https://archive.is/6zyUA

[1] https://www.bbc.com/news/world-us-canada-37875695
by naicuoctavian | 2025-04-28 11:23:41+00:00
System audio (i.e. Zoom calls) can be captured only on Chromium browsers on Windows and ChromeOS when sharing the entire screen; tab audio has wider OS support; Safari and Firefox do not support system or tab audio capture https://addpipe.com/docs/recording-client/screen-recording/#...

The MDN support table does not differentiate in this regard. (le: it actually does if you click to see the implementation notes)
by barrell | 2025-04-28 11:23:42+00:00
Block rendering errors on the media page is new to me. I will look into it.

The reference language error should not be shown (I mean it’s not incorrect, but there is a “no expressions error” that should take precedence).

A video is coming :) I didn’t expect so much interest from a comment in this thread. If you get in touch, I can walk you through it personally, otherwise check back in a couple weeks and there will be a video overview.
by rectalogic | 2025-04-28 11:24:49+00:00
I use a small patch [1] to revealjs [2] hosted on GitHub pages [3], just point it to a markdown gist

[1] https://github.com/hakimel/reveal.js/compare/master...rectal...

[2] https://github.com/hakimel/reveal.js

[3] https://gist-reveal.rectalogic.com/
by jqpabc123 | 2025-04-28 11:26:04+00:00
"Drill baby drill" is really dumb baby dumb.

https://reason.com/2025/03/28/trump-is-sabotaging-his-drill-...

The road to regression is often paved in Texas.

https://pv-magazine-usa.com/2025/04/16/texas-senate-passes-a...

The bill is expected to slow development, raise Texans’ utility bills, harm rural economies, worsen grid reliability and encroach on private property rights.