MurphyA/hacker-news huggingface dataset:
by yawaramin | 2025-08-14 17:45:30+00:00
> the syntax seems absolutely alien to me

Syntax is one of those funny things. The more you look at it, the more sense it makes. The more you learn about it and the reasons behind why it's designed that way–the more sense it makes.

> Also, you need to end the declaration with `in`?

Not all of them, just the ones that need to refer to previously defined bindings. So eg you could do:

let print_expr exp = (* Local function definitions *) let open_paren prec op_prec = if prec > op_prec then print_string "(" and close_paren prec op_prec = if prec > op_prec then print_string ")" in let rec print prec = function (* prec is the current precedence *) | Const c -> print_float c | Var v -> print_string v | Sum (f, g) -> open_paren prec 0; print 0 f; print_string " + "; print 0 g; close_paren prec 0 | Diff (f, g) -> open_paren prec 0; print 0 f; print_string " - "; print 1 g; close_paren prec 0 | Prod (f, g) -> open_paren prec 2; print 2 f; print_string " * "; print 2 g; close_paren prec 2 | Quot (f, g) -> open_paren prec 2; print 2 f; print_string " / "; print 3 g; close_paren prec 2 in print 0 exp
by NitpickLawyer | 2025-08-14 17:45:54+00:00
There are various efforts on this, from many teams. There's AST dump, AST-based graphs, GraphRAG w/ AST grounding, embeddings based AST trimming, search based AST trimming, ctags, and so on. We're still in the exploration space, and "best practices" are still being discovered.

It's funny that everyone says that "LLMs" have plateaued, yet the base models have caught up with early attempts to build harnesses with the things I've mentioned above. They now match or exceed the previous generation software glue, with just "tools", even with limited ones like just "terminal".
by jacob2161 | 2025-08-14 17:46:02+00:00
I believe this isn't as much of a problem as it appears to be at first glance because of the scale of social apps like Bluesky.

For example, Wikipedia generates >$180M/yr just by running ads for itself requesting donations. Requesting donations is the least effective monetizing strategy and yet it still works because of scale.

Donations would probably work but Bluesky has additional options. They could create a premium app for power users that just adds nice-to-have features (which may cost real money to provide and maintain), they can resell domain names, they can sell merch, etc.

Bluesky doesn't need to generate billions of dollars to be highly sustainable and profitable. It was built and scaled with fewer than 20 full time employees.

The most important and most difficult part is getting to sufficient scale, and that's mostly a matter of just making the app even better than it is today.

I posted a bit about this here: https://bsky.app/profile/jacob.gold/post/3lr5j6o7emk2t
by orwin | 2025-08-14 17:46:11+00:00
> Authoritarianism, whether Nazism, Soviet Communism, or French Revolutionary Governmentr any

or any monarchy, or any theocracy, or any oligarchy.

I understand why you cite Nazism, or Soviet communism (or Mao Communism), but the French Revolutionary Government lasted less than 3 years, was at war with half of europe because their King decided to declare war for no reason, and had to find who fed intel to half their enemies (and even when the King's letters to his brother in law describing eastern troops movement were discovered, 10% of the parliament voted against his destitution and 40% against killing him for treachery). I'd say that they stopped the violence and decided to free all slaves once the war ended should be a point in their favor.
by nobody9999 | 2025-08-14 17:46:36+00:00
>No, I don't. Not when the other side just openly uses lies (that they know to be lies) like "post-birth abortion" to argue their cause.

Absolutely. Although I'd point out that in many states that overwhelmingly voted for Trump, those on the "other side" (you know, our fellow Americans), often by large majorities, rejected abortion bans in their states after the overturning of Roe v. Wade.

So it's not really as cut and dried as you make it out to be. Yes, there are absolutely those who despise the idea of the agency of women, and there are absolutely those who exploit that for monetary and political gain.

But a majority of Americans don't and even many of those who aren't on board could be persuaded to a live and let live position.

Politics is, after all, "the art of the possible." If we just demonize and "other" anyone who doesn't specifically agree with us, then nothing is possible -- only dysfunction and hate. That's not a world I want to live in.
by stackbutterflow | 2025-08-14 17:47:00+00:00
Don't expect any improvement ever.

It happens on many topics related to software engineering.

The web developer is replying to the embedded developer who is replying to the architect-that-doesnt-code who is replying to someone with 2 years of experience who is replying to someone working at google who is replying to someone working at a midsize b2b German company with 4 customers. And on and on.

Context is always omitted and we're all talking about different things ignoring the day to day reality of our interlocutors.
by libraryatnight | 2025-08-14 17:47:11+00:00
I think about this a lot, because I feel it too. Some of it seems to be a result of these "higher callings" becoming just jobs. The closest example is how I'm often perplexed that so many people with "computer science" and specializations in software "engineering" seem so... clueless. Not all, but a lot. At a certain point I met a few people who were old electrical engineers that worked in computers. They knew more about software and seemed more like "engineers" and it was because there was no "computer science" when they came up. They were electrical engineers that ended up in computers because it was interesting to them. To them it was a higher calling. To the new school, it is a job. There's still genuinely curious people and those that have the "call" but they're mixed in with people who just heard this shit pays well. And since these things are now integrated into society, the pool is extra diluted.

And that doesn't even start in on the parts perverted by our present stage of capitalism and the monsters at the top of it. So uh, it's nuanced, but yeah it feels like it sucks - there are people trying though.
by roughly | 2025-08-14 17:47:35+00:00
I audibly laughed at this one: https://gist.github.com/simonw/25e7b7afd6a63a2f15db48b3a51ec... where it generates a… poem? Song? And then proceeds to explain how each line contributes to the SVG, concluding with:

> This SVG code provides a clear and visually appealing representation of a pelican riding a bicycle in a scenic landscape.
by Night_Thastus | 2025-08-14 17:48:00+00:00
>from a neuroscience perspective, there's a growing consensus among neuroscientists that the brain is fundamentally a token predictor, and that it works on exactly the same principles as LLMs

Hahahahahaha.

Oh god, you're serious.

Sure, let's just completely ignore all the other types of processing that the brain does. Sensory input processing, emotional regulation, social behavior, spatial reasoning, long and short term planning, the complex communication and feedback between every part of the body - even down to the gut microbiome.

The brain (human or otherwise) is incredibly complex and we've barely scraped the surface of how it works. It's not just nuerons (which are themselves complex), it's interactions between thousands of types of cells performing multiple functions each. It will likely be hundreds of years before we get a full grasp on how it truly works - if we ever do at all.
by isodev | 2025-08-14 17:48:09+00:00
Their uncertainty is magnified on the outside tbh. e.g. There are other things at play that can (probably will) cost a lot of money. The protocol (ATProto) they’re developing and advocating as a “platform”.

Say I’m building a cool app around that, how do I plan how much is this going to cost me and can I stomach the risk of binding myself to this “supposedly open” platform without knowing how it will work in 6 months?
by kazinator | 2025-08-14 17:48:23+00:00
Not all reasoning requires language. Symbolic reasoning uses language.

Real-time spatial reasoning like driving a car and not hitting things does not seem linguistic.

Figuring out how to rotate a cabinet so that it will clear through a stairwell also doesn't seem like it requires language, only to communicate the solution to someone else (where language can turn into a hindrance, compared to a diagram or model).
by CamperBob2 | 2025-08-14 17:48:33+00:00
You do understand who the Constitution was written for, right? It wasn't written primarily for interpretation by judges. Judicial review came along later. It was written for you and me, and for the legislators we elect.

I don't view any decision or legislation that grants unbreakable DRM the force of law as legitimate. A work should benefit from temporary legal protection or permanent technical protection, but not both. My position is that if the founders had meant something other than a "Limited Time," they would have said so. If you disagree, great, but that means we're done here.

Matters such as whether AI training is fair use are better subjects for judicial review, IMO, because there's no plain language to go by. Of course I reserve the right to disagree with that decision, and to subsequently ignore it, in keeping with the spirit of the times. :)

And a billion people in China will respect a copyright-maximalist decision even less than I will.
by coffeeaddict1 | 2025-08-14 17:48:58+00:00
This is nice, but what I really would like is for someone to make the Zink + MoltenVK/KosmicKrisp combo so that we can have OpenGL 4.1+ support on macOS. It's somewhat disappointing that the only way to utilise the latest OpenGL on Macs is to use Asahi Linux.
by nixosbestos | 2025-08-14 17:49:05+00:00
Wow, just wow.

>For an advanced git user, it doesn't offer all that much.

arrogant, and completely absurdly wrong. I've used Git for 20 years. `jj` the single best improvement to my development workflow in... well, since adopting Git.

> I used it for a couple of weeks and can't say that it saved me any time or any amount of work

I would bet 5 figures that's a lie.

> When Linus and his lieutenants switch over and recommend it as loudly as some do here, then I'll take another look. Very unlikely IMHO.

So despite all this chest puffing, an appeal to authority would tip the scales for you?
by jcfrei | 2025-08-14 17:49:23+00:00
No idea why you bring dark pools into this since they have nothing to do with specific stock market price actions. Check out this explanation why they are preferred way for large shareholders to change positions: https://youtu.be/XNZ7o3621FY?feature=shared&t=2145 They infer prices from the lit markets - not the other way around.
by mrcwinn | 2025-08-14 17:50:14+00:00
I couldn't agree more. It's like when you see headlines claiming "people" are outraged by a jeans advertisement. Are they really? Who? How many? Really I think it's just something to argue about for entertainment's sake.

Outside of bullying, which I do think is a real risk for kids, I don't feel like the time I spend on social media is unhealthy at all. Granted I'm mostly YouTube, zero percent IG or Facebook. I'm really grateful for what Google bought/built.

Excuse me now as I need to go watch a short that explains the difference between Australian and British accents. Very important, goodbye!
by billconan | 2025-08-14 17:50:17+00:00
Thank you! Smooth zooming was the main thing I focused on optimizing. I haven’t implemented text search yet, that’s a whole other rabbit hole, with challenges like stitching text objects together and handling text normalization.

My code runs natively, so users need to download a client and I have to code the rest of the ui in cpp, that’s the downside. I did consider a hybrid approach with Electron or Tauri, but dropped the idea to avoid IPC overhead and get the best possible performance.
by UltraSane | 2025-08-14 17:50:47+00:00
Modern digital cameras have a mode where they are constantly taking pictures in a small rolling buffer and when you press the "shutter" button it simply keeps the last n seconds of images. It is an amazing feature for action photography and is how a LOT of amazing shots have been captured.

With 6k and higher res video the line between video and photography is blurring and with RAW codecs you can just capture scenes in video and pic out what frames you like.
by jchw | 2025-08-14 17:51:09+00:00
Mesa is also usable on other platforms, including Windows and macOS.

It's even theoretically possible to use the Asahi Linux hardware Mesa drivers on macOS, though actually doing so would involve hacking around undocumented APIs. I actually thought this was demonstrated before (during early testing) but I can't find it.

Someone else managed to get the RADV AMD driver working on Windows[1]. It is not fully merged upstream yet, but I think they would like to get it merged upstream eventually.

Windows 10 on ARM (maybe Windows 11?) also use Mesa with Microsoft and Collabora's d3d12 backend to run OpenGL and OpenCL applications on top of d3d12, for hardware that does not have proper OpenGL and OpenCL drivers[2].

And of course, it ought to be possible to use llvmpipe/lavapipe with off-screen rendering pretty much anywhere you can get Mesa to build, although in practice I believe SwiftShader usually nets you a lot better performance if it's applicable.

So Mesa is actually not used only on Linux, it can be used pretty much anywhere, actually ships with Windows, and of course many other free software operating systems also ship Mesa.

[1]: https://www.phoronix.com/news/RADV-Windows-XDC-2024

[2]: https://devblogs.microsoft.com/directx/announcing-the-opencl...
by not_your_vase | 2025-08-14 17:51:32+00:00
About 10 years ago Netflix became available in the country where I was living back then. I was very excited about it, I was on their email list for years, waiting for the announcement. As I got the email that they are available, after work literally the first thing I did was to grab my credit card, and subscribe.

I found 4-6 movies I wanted to watch, but when I saw that they had Godfather 1 and 3 without 2, I had a good laugh. Then I watched all the Archer episodes they had, and tried to find something interesting for 2 more days before I cancelled my (still trial) account.

Though I stopped watching movies some years ago, until than I used to watch them on the same old pre-netflix way.

Of course I have heard that they have spent many billions on content since then, I'm sure they have some interesting stuff... but that came way too late for me.

Maybe I'm getting old, lol
by 9rx | 2025-08-14 17:52:25+00:00
> There is a difference between how you meet your future spouse and how you live after you have a family.

Of course, but family doesn't exist in a vacuum.

> If your company has problems you both are in the same worry at the same time.

Someone once said: "There is a difference between how you meet your future spouse and how you live after you have a family." Meeting at the same company does not imply that you will forever both work at the same company.

> And your company is very limitied as to the number of people you could meet.

How many spouses are you planning on having, exactly? Most people are satisfied with one.
by taylorallred | 2025-08-14 17:52:30+00:00
"So-called "natural language" is wonderful for the purposes it was created for, such as to be rude in, to tell jokes in, to cheat or to make love in (and Theorists of Literary Criticism can even be content-free in it), but it is hopelessly inadequate when we have to deal unambiguously with situations of great intricacy, situations which unavoidably arise in such activities as legislation, arbitration, mathematics or programming." -Dijkstra
by cosmic_cheese | 2025-08-14 17:52:46+00:00
The hyper-polarization is probably preventable, in my estimation. The main thing a social network would need to do is to stymy the flywheel effect that allows a handful of users (and thus sets of norms) to come to dominate so strongly. That might mean something along the lines of a system that puts a hard cap on the reach any profile or topic can have, and when engagement exceeds the triggering threshold, reach actually tapers off proportionate to how far the threshold is exceeded.

In theory this would naturally elevate posts that are more measured and mundane while sinking posts with big emotional lizard brain appeal (by design or otherwise). With time this would establish a self-reinforcing norm that makes polarized and inflammatory posts look as clownish as they actually are.
by eitally | 2025-08-14 17:52:50+00:00
I disagree with your assertion that Masimo has the money to compete. Apple's upside to employing these folks to build the tech into the Apple Watch is FAR, FAR greater than Masimo's potential sales growth for existing pulse ox devices (or patent licenses). With Apple Watches being licensed as medical devices for ECG & pulse ox, this gives clinicians even more reason to leverage them with patients for convenient 24/7 home monitoring. It's not the same market Masimo is serving, at all.
by NorwegianDude | 2025-08-14 17:52:54+00:00
The Gemma 3 models are great! One of the few models that can write Norwegian decently, and the instruction following is in my opinion good for most cases. I do however have some issues that might be related to censorship that I hope will be fixed if there is ever a Gemma 4. Maybe you have some insight into why this is happening?

I run a game when players can post messages, it's a game where players can kill each other, and people often send threats along the lines of "I will kill you". Telling Gemma that it should classify a message as game related or a real life threat, and that it is for a message in a game where players can kill each other and threats are a part of the game, and that it should mark it as game related if it is unclear if the message is a game related threat or a real life threat does not work well. For other similar tasks it seems to follow instructions well, but for serious topics it seems to be very biased, and often err on the side of caution, despite being told not to. Sometimes it even spits out some help lines to contact.

I guess this is because it was trained to be safe, and that affects it's ability to follow instructions for this? Or am I completely off here?
SBoM Workbench v1.19 is out
by scanosss | 2025-08-14 17:53:07+00:00
SBOM Workbench v1.19 is out. New toys: • Import RAW results directly • Bring in projects with source • CycloneDX output plays nicer with Dependency Track

Grab it: https://github.com/scanoss/sbom-workbench/releases/tag/v1.19.0
by crystal_revenge | 2025-08-14 17:53:15+00:00
I love using uv, but having worked for a VC funded open source startup, your concerns are spot on.

As soon as there is a commercial interest competing with the open source project at the same company the OSS version will begin to degrade, and often the OSS community will be left in the dark about this. The startup I was at had plenty of funding, far too many engineers, and still removed basically every internal resource from the oss project except one person and drove out everyone working on the community end of things.

I would also recommend avoiding working for any open source startup if your goal is to get paid to contribute to a community project. Plenty of devs will take a reduced salary to work on a great community project, but most of the engineers I saw definitely got the "bait and switch" and moved immediately to commercial projects.
by epistasis | 2025-08-14 17:53:21+00:00
There's a lot of hot tub parties out there. Some have people you want I really want to interact with, some do not. Some have good house rules making it feel comfortable, some do not.

The best part of BlueSky in my opinion is that it's really easy to control what you want to see, without the site-owner's algorithm choosing for you. No matter who else is at the hot tub party, I don't have to worry much about them peeing in my particular hot tub. I hear Mastodon is somewhat similar, but it's been a while.

The balance between discovery and curation and control is nigh-on perfect for me in BlueSky. If I want to focus just on my corner of the science world, it's super easy for me to build a network of people just in that corner and not get spammed with, say, racially-tinged fight videos that are meant for engagement bait, as has happened on other social networks.

If you want hyper-polarized communities, some of those can be found on BlueSky too! But at least on BlueSky I'm able to choose what I want rather than having the preferences of the site owner control my information environment.
by vodou | 2025-08-14 17:53:26+00:00
Most books are, sadly, quite worthless nowadays (monetary value). But the Tove Jansson illustrated, swedish edition of Bilbo is still a sought-after book that usually goes for hundreds of dollars.

Here is an ongoing auction on Tradera (the swedish ebay), currently at SEK 3050 (~$320):

https://www.tradera.com/item/341571/686383148/j-r-r-tolkien-...
by thinkingtoilet | 2025-08-14 17:53:27+00:00
Should large corporations be able to break the law because it's too hard for them to manage their data? Should they be immune from law suits because actively moderating their product would hurt their business model? Does Facebook have a right to exist?

You know exactly what it would look like. It would look like Facebook being legally responsible for using the data they get. If they are too big to do that or are getting too much data to do that, the answer isn't to let them off the hook. Also, lets not pretend Facebook doesn't have a 15 year history of actively misusing data. This is not a one off event.
by notthemessiah | 2025-08-14 17:53:34+00:00
Individualism has been failing Americans, while the quality of life has improved dramatically in less individualist cultures, in many ways surpassing Americans (health care, housing, education, upward mobility, etc), so it shouldn't be surprising that collectivism is starting to win mindshare.

Don't fool yourself, conspiracy theories are usually marginalized in US culture, the left didn't welcome conspiracy theories back then either.

Also, now that political correctness and censorship mostly coming from the right again (with the Moral Majority going after music then, and video games/porn now), we now see the civil libertarian elements of the left standing up to fight censorship once again.
by goyagoji | 2025-08-14 17:53:54+00:00
They don't really change my thinking as a layman who is rather annoyed at how mismanaged research has been. If you replace amyloid with scar tissue in the article I would agree fully with a lot of points, recognize that scar tissue reduction studies would be of great benefit to some, especially those with highly abnormal genetics, and still ask what the hell is wrong with financial allocation in research.
by dathinab | 2025-08-14 17:53:56+00:00
I'm not recommending it.

But it is the daily norm pretty much in any country people do want to frequently get into.

Actually if I had to recommend anything it would be to stay very very very far away from any organized crime organizations. Doing business with them rarely ends well (as it always exposes you to them being able to blackmail you).

I guess I should have put that into the original post.
by jacob2161 | 2025-08-14 17:54:57+00:00
1. I believe they actually could generate (low) billions of dollars without compromising at all, if they manage to reach true mainstream scale (>1 billion MAUs)

2. I really don't care if the investors/shareholders are disappointed as long as the PBC's mission is fulfilled. Also their control is relatively limited.

Maybe I should have written added this:

Disclaimer: I am a shareholder in Bluesky Social, PBC (former employee)