MurphyA/hacker-news huggingface dataset:
by vector_spaces | 2025-12-03 18:36:25+00:00
OK, I've had a chance to play with it in earnest.

First: my sense is that for most use cases, this will begin to feel gimmicky rather quickly and that you will do better by specializing rather than positioning yourself next to ChatGPT, which answers my questions without too much additional ceremony.

If you have any diehard users, I suspect they will cluster around very particular use cases, say business users trying to create quick internal tools, users who want to generate a quick app on mobile, scientists that want quick apps to validate data. Focusing on those clusters (your actual ones, not these specific examples) and building something optimized for their use cases seems likelier to be a stronger long term play for you

Secondly, I asked it to prove a theorem, and it gave me a link to a proof. This is fine, since LLM generated math proofs are a bit of a mess, but I was surprised that it didn't offer any visualizations or anything further. I then asked it for numerical experiments that support the conjecture, and it just showed me some very generic code and print statements for a completely different problem, unrelated to what I asked about. Not very compelling

Finally, and least important really: please stop submitting my messages when I hit return/enter! Many of us like to send more complex multi-line queries to LLMs

Good luck
by distances | 2025-12-03 18:36:38+00:00
Quite a flashback. I switched to optical TOSLINK maybe about 20 years ago, which solved all those issues obviously. It's a bit weird how rare optical outs are on motherboards even today -- clearly less than half have them -- when it is such a useful interface.

Just ordered a hat for my Raspberry Pi with optical out, with a plan to make that my main music streamer. Excited to see if that works out!
by Findecanor | 2025-12-03 18:36:40+00:00
> Efficiency: Uses a lazy-loading piece tree to avoid loading huge files into RAM

I once started writing a text editor on Linux, and first went down a similar route: a piece table over a mmap()'d file. But I abandoned using mmap, because Linux file systems typically don't have mandatory locking enabled, so you can't be sure that the file data won't be modified by another program.

(Then I got bogged down in Unicode handling... so 95% of the code became just about that, and I tired of it)
by H1Supreme | 2025-12-03 18:37:03+00:00
Look into the JUCE framework for building your own tools. I was using MaxMsp for a while, but would always think to myself "This would be so much easier to accomplish in pure code". So, I started building some bespoke VST's.

There's a learning curve for sure, but it's not too bad once you learn the basics of how audio and MIDI are handled + general JUCE application structure.

Two tips:

Don't bother with the Projucer, use the CMAke example to get going. Especially if you don't use XCode or Visual Studio.

If your on a Mac, you might need to self-sign the VST. I don't remember the exact process, but it's something I had to do once I got an M4 Mac.
by Barathkanna | 2025-12-03 18:37:04+00:00
I get the frustration, but I think the npm option actually makes sense here. A lot of users who’d benefit from a fast Rust tool aren’t Rust developers and won’t have Cargo installed. Shipping it through npm lowers the barrier while still giving everyone the performance benefits. It’s not a knock on Cargo, just a way to make the tool more accessible.
by OhMeadhbh | 2025-12-03 18:37:15+00:00
I encountered Rust sometime around 2010. I was working a couple of blocks away from Mozilla's Mountain View office and would often overhear people talking about it at Dana Street Coffee Roasting. A couple years later I was working at Mozilla trying to unf*ck their TLS and libpkix implementations. The team rocked, but management sucked. The best part about it is I kept bumping into Brendan Eich and having great conversations about Lisp. I can't remember if P. C. Walton worked there, but several occasions he was in the office and gave me a VERY good, VERY succinct description of the language.

I wrote a fair amount of Rust code in 2012, none of it on a real project like servo. All of it just code to try to understand what the language was trying to make easy. None of that code compiles any more. (Or enough of it fails that I stopped looking at it.)

It's not so much a "critique" as it is a confirmation that when the crustaceans tell you the language definition isn't finished yet, believe them. I like the feel of Rust much more than C/C++, but I have C code I wrote in 1982 that still compiles and does what you think it should do. C++ code from 1990 still seems to compile. I have Rust code from 2014 that won't even compile.

Rust is a cool language and I hope it eventually settles down enough to be considered for "real" projects. I've done a little bit of Ada in the last year and I really, really want something better. But... reverse in-compatibility is a deal-breaker for some corners of the commercial world.

And yes, I know that (like Python) you can build an environment that lets you continue to compile old code with old compilers and some old code with new compilers. But the projects I'm talking about have life-times measured in decades. Will rustc in 2055 be able to compile a program written today? It doesn't seem to be on the top of minds of most of the Rust community.

I'm not saying Rust is ugly. In fact, I really like some aspects of the language. And post 1.0 is MUCH better than pre 1.0. But if we could go for a few years without breaking changes that would be nice.
by miladyincontrol | 2025-12-03 18:37:15+00:00
I think theres many healthy reactions to the situations involving AI but I am concerned slightly over how gamed AI contrarianism is at times. A low hanging example are social media engagement farming accounts like "pictures AI could never create" meanwhile its entirely just stolen slop content for the sake of getting a paycheck out of said engagement.

Social media nonsense is one thing, but I feel we're going to increasingly see people's frustrations redirected and weaponized in more harmful ways. Its an easy hairpin trigger towards brigading.
by wlesieutre | 2025-12-03 18:37:19+00:00
Because this works for the enormous back catalog of games that already exist, many of which I bet companies no longer have the code or a working build system for, and for new games it doesn't require the developers to do anything because many (most?) of them wouldn't bother

They may provide an option for developers to distribute a native ARM build (which some are already building for Quest titles that can be brought over to Steam Frame) but one of Steam's main advantages is their massive x86 games catalog so they certainly don't want to require that
by rizzy_o | 2025-12-03 18:37:21+00:00
I’ve been experimenting with a lot of different LLMs lately, and I kept running into the same friction point: every provider structures their API docs differently, and it’s surprisingly hard to find the basic config details quickly (base URLs, model IDs, context limits, etc.).

To make my own workflow easier, I started collecting this info in one place and turned it into a small reference site:

https://www.model-api.info/

It’s meant to be a simple central hub for model configuration data. In cases where the official docs were unclear or incorrect, I verified the values through experiments — but the main goal is to have all the core config info in one easy place.

If you spot anything missing or inaccurate, there’s a feedback link on the site that opens a GitHub issue. Feedback and contributions are very welcome.
by twosdai | 2025-12-03 18:37:55+00:00
Writing automated tests is not the same thing as testing it. Senior engineers write a lot of code, write some tests, do some manual validation. But its usually far from complete.

Other roles in a software team can handle making a complete test suite for a project, and making sure that it covers all of the required end user functionality. In some shops they will push all of these together into a "fullstack" kind of role, in other software shops they will have dedicated team members who's job it is to handle some of this burden. Interns historically filled in the glue for this.
by compiler-guy | 2025-12-03 18:37:57+00:00
"If you compiled your code with support for link-time optimization (LTO), it contains another copy (in the form of LLVM bitcode — more on that later) of all our code and the code of all our dependencies."

The author then goes and removes the lto-related code via objcopy. Which is fine, and great, and useful if you care about size more than having link-time optimization enabled for your end users.

But if you are just going to turn around and remove it, you probably shouldn't include it in the first place, which makes the original analysis of 132MB vs 15MB a little misleading. It should be more like 50MB vs 15.
by KronisLV | 2025-12-03 18:38:05+00:00
Here's the pricing page, for anyone curious: https://sourcehut.org/pricing/

> All users who host projects on SourceHut are expected to pay according to their means. choose the subscription plan most appropriate to your means — there is no difference between the subscriptions besides price.

Interesting approach and asking for some money upfront to cover the actual hosting costs and other stuff feels pretty good - rather than having to worry about shady monetization and about whether your data is the product.

There's plenty of screenshots on the main page of the UI: https://sourcehut.org/

Some people will enjoy that kind of minimalism, definitely not everyone's cup of tea - feels really fast and reminds me a bit of Kanboard, though.

No idea about owner, not my place to comment.
by danaris | 2025-12-03 18:38:05+00:00
Sadly, that's not true—for instance, I was trying to run the Shadowrun Returns series the other day, and while it launches, it will hang indefinitely when you try to actually start a game. (M4 Max)

I previously played through Returns, Dragonfall, and part of Hong Kong on Mac before the 32bit-apocalypse.
by compiler-guy | 2025-12-03 18:38:10+00:00
"If you compiled your code with support for link-time optimization (LTO), it contains another copy (in the form of LLVM bitcode — more on that later) of all our code and the code of all our dependencies."

The author then goes and removes the lto-related code via objcopy. Which is fine, and great, and useful if you care about size more than having link-time optimization enabled for your end users.

But if you are just going to turn around and remove it, you probably shouldn't include it in the first place, which makes the original analysis of 132MB vs 15MB a little misleading.
by bumby | 2025-12-03 18:38:49+00:00
I’m only playing devils advocate here but the counter argument is society is very complex and it takes time to understand it to a sufficient degree. Short term limits would mean a Congress making impactful decisions without fully understanding the ramifications, or they just rely on unelected bureaucrats and lobbyists to tell them what to do.

The counter counter argument is that you could be a career politician working your way up: two terms at city council, two as mayor, two as governor etc…and by the time someone is voted into the national stage they presumably have decades of experience.
by Spooky23 | 2025-12-03 18:39:00+00:00
That has nothing to do with fiber, it’s all about politics and a regulatory environment where nobody is incented to act. Basically, the states can’t fully regulate internet and the Federal government only wants to fund buildouts on a pork barrel basis. Most recently rural.

At the local level, there is generally a cable provider with existing rights of way. To get a fiber provider, there’s 4 possible outcomes: universal service with subsidy (funded by direct subsidy), cherry-picked service (they install where convenient), universal service (capitalized by the telco) and “fuck you”, where they refuse to operate. (ie. Verizon in urban areas)

The private capitalized card was played out by cable operators in the 80s (they were innovators then, and AT&T was just broken up and in chaos). They have franchise agreements whose exclusivity was used as loan collateral.

Forget about San Diego, there are neighborhoods in Manhattan with the highest population density in the country where Verizon claims it’s unprofitable to operate.

I served on a city commission where the mayor and county were very interested in getting our city wired, especially as legacy telco services are on the way out and cable costs are escalating and will accelerate as the merger agreement that formed Spectrum expires. The idea was to capitalize last mile with public funds and create an authority that operated both the urban network and the rural broadband in the county funded by the Federal legislation. With the capital raised with grants and low cost bonding (public authority bonds are cheap and backed by revenue and other assets), it would raise a moderate amount of income in <10 years.

We had the ability to get the financing in place, but we would have needed legislation passed to get access to rights of way. Utilities have lots of ancient rights and laws that make disruption difficult. The politicians behind it turned over before that could be changed.
by ulbu | 2025-12-03 18:39:06+00:00
that, and instead of increases of productivity reducing people's need to work, what might (I think, will) happen is that we will actually have to work more for worse results and lower incomes, for the whims of the executive class and increased energy requirements for LLMs. compound this control over channels of communication (google, facebook, xitter), means of production (microsoft, amazon), with force of social-emotional manipulation of LLMs and we have a really "winner" technology.

I do not think the executive class is actually in on the power of AI to increase productivity, but rather to increase reliance.
by ipdashc | 2025-12-03 18:39:33+00:00
security@ emails do get a lot of spam. It doesn't get talked about very much unless you're monitoring one yourself, but there's a fairly constant stream of people begging for bug bounty money for things like the Secure flag not being set on a cookie.

That said, in my experience this spam is still a few emails a day at the most, I don't think there's any excuse for not immediately patching something like that. I guess maybe someone's on holiday like you said.
by shadowgovt | 2025-12-03 18:40:46+00:00
As of late, I've been thinking about how "debt" may not be the right metaphor.

Fiscal debt is a one-dimensional number that becomes higher or lower from some offset, but it can't change direction. There's no "complex numbers debt."

But software engineering is only one-dimensional if your problem domain is so constrained that the only roadblock to execution is time-at-keyboard, and that's rarely the case in most software (especially startups and hacking). I've too often seen that debt just "evaporates" when the company pivots or the entire system is replaced by another system or rendered completely irrelevant to continue accepting the notion that debt works as a metaphor. Even in the small, too often I've seen things flagged as, for example: "debt - we should consolidate these two pipelines on top of a smaller set of helpers" only to see the use of the pipelines diverge over time such that it turned out to be a great first step to keep them separate and duplicated.

Sometimes things to be improved / cleaned up are obvious, but cleanup assumes taking disorder and making order out of it, and that requires us to know what order even looks like.
by titzer | 2025-12-03 18:40:51+00:00
I worry about this too. That is why transparency in all aspects of the qualification process is key. I think said trade school should be free, and even subsidized. We should have a pretty large pool of qualified candidates so that qualifications aren't the major bottleneck.

This can work. We do accept accreditation for lots of aspects of the economy, and though none of them is a perfect system, does for the most part keep quacks out of certain trades.
by shuckles | 2025-12-03 18:40:52+00:00
Great then you have even bigger problems to wrestle with regarding solvency. Americans won't choose cost effective treatments, and if you force them to pay out of pocket for experimental therapy you will be accused of running death panels. Good luck with that. On top of all that, they are also unhealthy due to a variety of lifestyle factors including that their primary mode of transportation likes maiming them.
by Anamon | 2025-12-03 18:41:18+00:00
Is it really a contradiction?

Convincing people they maybe should get a computer worked much better if they saw that it might increase their productivity.

Techy folks all already had one back then, and Clippy was aimed at those still writing their correspondence on a typewriter. I have no doubt that switching to a computer was productive for them, even if it increased Microsoft sales in the process.
by catigula | 2025-12-03 18:41:27+00:00
By having native English language proficiency and an IQ above 100.

This isn't even particularly good slop. If you can't identify this, we're entering a not so good space.

Anyhow, I'd recommend you roll away from this hill because it's really not worth dying on. Common sense and peer reviewed slop detection aren't working for you. I provided my opinion and backed it with evidence. That's why I posted what I did.
by stn8188 | 2025-12-03 18:41:34+00:00
I was surprised too, but since I have one I figured I'd use it (before I got the Real ID). It's listed as "Veteran Health Identification Card (VHIC)" on https://www.tsa.gov/travel/security-screening/identification

The VA recently gave out more recent ID cards that seem more detailed than the older ones.
by red75prime | 2025-12-03 18:41:37+00:00
My first language is Russian. I can't fully understand this dreaded "doctor's cursive", but I can see that some parts of Gemini's text is probably wrong.

It's most likely "но кашель сохр-ся лающий" ("but barking cough is still present"), not "кожные покровы чистые" ("the skin is clean"). Diagnose is probably wrong too. Judging by symptoms it should be "ОРЗ", but I have no idea what's actually written there.

Still, it's very, very impressive.
by bigwheels | 2025-12-03 18:41:51+00:00
Any leads on when the next generation of Steam Deck will be released? Hoping it could be sometime in 2025, but suspect it will be more like 2026.

Over the holidays I was playing GTA: San Andreas on a Nintendo Switch. It's fun but so underpowered for a game released in 2004 (Yes, 21 years ago! Damn..). I'm really craving something more.

As a sidenote, it's really cool Valve allows installing SteamOS on any hardware. There are some alternative comparable form-factor devices:

* Lenovo Legion Go S

* Asus ROG Ally

But I have yet to see any of these in real life, so not sure how good or bad they really are.

Source: https://www.pcmag.com/picks/the-best-handheld-gaming-devices
by steveklabnik | 2025-12-03 18:41:55+00:00
Rust achieved 1.0 in 2015, three years after you wrote that code in 2012. Stability wasn't guaranteed until then. Afterwards, it has been. Code from 2015 still compiles today. It's no surprise that 2014 code doesn't compile, as it came before those suggestions.

> I hope it eventually settles down enough to be considered for "real" projects.

Rust is being deployed for real projects at pretty much every major tech company at this point, and is used on the critical path of real infrastructure.

> Will rustc in 2055 be able to compile a program written today? It doesn't seem to be on the top of minds of most of the Rust community.

This has been a very strong focus of the Rust project for a long time; the reason you saw so much breakage from 2010-2015 was to make sure that it was in the state that we'd be okay with making it stable, and then the track record from 2015 to now has been excellent. There have been a few exceptions, but they've generally been quite small, and needed for soundness fixes.
by scrlk | 2025-12-03 18:41:59+00:00
Schitt did step up their engineering and quality in the last few years, in response to Amir/ASR reviews.

E.g. https://www.audiosciencereview.com/forum/index.php?threads/s...

> No doubt you have noticed my frequent use of terms "nice" and "excellent" and that sums up the performance of Modi+. At this price point, we don't expect objective perfection but competent engineering and that is what we have. Physically, the unit is solidly built and of course supported by an English speaking US company. For people with such preference, the Modi+ provides an excellent option. That they can stay competitive with far east audio companies is definitely a feather in their cap.

> I am going to recommend the Schiit Modi+ DAC. Great to see Schiit continue the (new) tradition of optimizing objective performance as they cater to their traditional audience.
by seanw265 | 2025-12-03 18:42:10+00:00
I tend to agree. Cloudflare and Vercel were able to mitigate in the form of WAF rules, but it's not immediately clear what a user or vendor can do to implement mitigations themselves other than updating their dependencies (quickly!).

IMO the CVE announcement could have been better handled. This was a level 10. If other mitigations can are viable and you know about them, you have a responsibility to disclose them in order to best protect the safety of the billions of users of React applications.

I wonder how many applications are still vulnerable.
by MarkusWandel | 2025-12-03 18:42:35+00:00
Whoa, what? If the car loses its cloud connection (in this case almost literally) it bricks itself? And anyone with mechanic level knowledge can unbrick it and detach it from the cloud service?

So the average user gets the worst of both worlds. A car that can malfunction if its cloud service does and effectively no protection against thieves armed with some technical expertise.
by roughly | 2025-12-03 18:42:54+00:00
Here’s the strongest steel man I can provide:

A person typically picks stocks based on some view of the future: what’s going to be valuable, how the world is going to change, etc. Presumably, a congressperson does the same when drafting legislation - try to move the world in the direction they think it should go. The underlying worldview and outlook is the shared variable, and congresspeople in leadership positions are more capable of moving the world the way they think it should go than anyone else. The increased stock performance is because someone in congressional leadership’s predictions for the future are more self-fulfilling than most.

(Again, that’s the best steel man I can offer, and if you made it this far without laughing, I commend you)
by mindcrash | 2025-12-03 18:43:11+00:00
When scrolling down I noticed that Aurora is based on Universal Blue (https://universal-blue.org/), a initiative to create Linux distributions based on the same containerization tech which sits behind the likes of Docker and Podman.

You might find some extensive answers to your questions in the bootc documentation which is the container runtime running at the core of Aurora and other Universal Blue distributions, like the increasingly popular distribution Bazzite for Linux based gaming.

https://bootc-dev.github.io/bootc/
by taylodl | 2025-12-03 18:43:17+00:00
When AI first passed the original Turing Test in spirit - producing text indistinguishable from a human - we didn’t declare machines intelligent. Instead, we raised the bar: now we ask if they can create music, art, or literature that feels human.

But if every time AI meets the challenge, we redefine the challenge, are we really measuring intelligence - or just defending human exceptionalism? At what point do we admit that creativity isn’t a mystical trait, but a process that can emerge from algorithms as well as neurons?

Here’s the real question: should we measure AI against the best humans can do - Einstein, Picasso, and Coltrane - standards most humans themselves can’t reach? Or should we measure success by how well AI enables the next Einstein, Picasso, and Coltrane?

I think we need to move to the era of Assisted Intelligence, a symbiotic relationship between AI and human intelligence.