MurphyA/hacker-news huggingface dataset:
by eru | 2025-12-23 02:26:39+00:00
See https://en.wikipedia.org/wiki/Regular_language#Closure_prope...

The complement of a regular language is a regular language, and for any given regular language we can check whether a string is a member of that language in O(length of the string) time.

Yes, depending on how you represent your regular language, the complement operator might not work play nicely with that representation. But eg it's fairly trivial for finite state machines or when matching via Brzozowski derivatives. See https://en.wikipedia.org/wiki/Brzozowski_derivative

See also https://github.com/google/redgrep

Regular languages have a bunch of closure properties. In practice, intersection and complement are really useful. So you can say things like:

[regular_expression_for_matching_email_addresses] & ![my_list_of_naughty_words]

Exercise for the reader: expand the expression above to allow the town of 'Scunthorpe'.
by djtango | 2025-12-23 02:27:15+00:00
The problem with police is a) that police have to deal with bad people and it is very hard to stay untainted when you constantly deal with bad people, and b) being a cop is no longer a desirable or rewarding job which not only causes applicant pool issues but also polarises the job and police force itself. Then the nature of polarisation is that it is self reinforcing. So if your job isn't rewarding financially or socially, the "perks" must come from somewhere and so it attracts people who seek to abuse power etc
by skippyboxedhero | 2025-12-23 02:29:26+00:00
Xiaomi, Nvidia Nemotron, Minimax, lots of other smaller ones too. There are massive economic incentives to shrink models because they can be provided faster and at lower cost.

I think even with the money going in, there has to be some revenue supporting that development somewhere. And users are now looking at the cost. I have been using Anthropic Max for most of this year after checking out some of these other models, it is clearly overpriced (I would also say their moat of Claude Code has been breached). And Anthropic's API pricing is completely crazy when you use some of the paradigms that they suggest (agents/commands/etc) i.e. token usage is going up so efficient models are driving growth.
by gus_massa | 2025-12-23 02:29:38+00:00
Two side remarks:

* It's probably too hot there (2000K in the cold part) for fullerene. The atmosphere there is mostly C2, C3 and CO. (CO is mentioned in the paper as a very good guess, but not mentioned in the press release.)

* If you fill a fullerene with H2 or He, it will float less instead of more.
by ashirviskas | 2025-12-23 02:30:21+00:00
Just use llama.cpp. Ollama tried to force their custom API (not the openai standard), they obscure the downloaded models making them a pain to use with other implementations, blatantly used llama.cpp as a thin wrapper without communicating it properly and now has to differentiate somehow to start making money.

If you've ever used a terminal, use llama.cpp. You can also directly run models from llama.cpp afaik.
by Aurornis | 2025-12-23 02:31:34+00:00
> this is spoken from a permaemployee perspective.

I've spent more time as a hiring manager than IC in recent years. "permaemployee" feels unnecessarily demeaning.

You're right that it's used differently for finding candidates, but I still don't engage with the feed.

At most I've posted that I have a job opening as a post (not a job listing). The problem is that it's heavily biased toward people who spend a lot of time on LinkedIn scrolling the feed, which in my experience isn't the most positive signal for people you want to hire to focus on your work. Similar story for hiring people who spend all day posting on any social media: They tend to be distracted by their social media fixation and it's hard to keep them focused on work communications instead of their current online argument.
by ModernMech | 2025-12-23 02:31:55+00:00
> The ratio has just been going up and up and up

That's because organizations get bigger as projects become more complicated and varied. Larger organizations require more overhead as a percentage of the operating costs. 30 years ago many schools didn't even have Computer Science departments. Today schools are now starting to stand up Artificial Intelligence departments. It's not cheap to maintain these organizations.

Anyway, it really comes down to a simple tension: you can have big science, good science, or cheap science. Choose two.

For a long time we've optimized for big and good. This has yielded dividends in terms of science and technology output, but it's very expensive. Yet, the ROI is decidedly, emphatically positive.

For some reason people seem to think we can do this all cheaper, somehow, by pulling funding and making all these organizations smaller. I don't see how this is possible, because it relies on an uncanny ability to predict which projects will succeed and fail ahead of time.

What I think will happen is the money will dry up, the talent will go to places that want to spend the money, and the remaining programs will be cheap, small-stakes research better suited for the 20th century, unable to compete with countries that actually want to invest in the future.
by pclmulqdq | 2025-12-23 02:32:22+00:00
There is a trend among programmers to assume that everything supported by the syntax can be done. This is not even true in C++, but it's something people think. If you are writing synthesizable SystemVerilog, only a small subset of the language used in a particular set of ways works. You have to resist the urge to get too clever (in some ways, but in other ways you can get extremely clever with it).
by rzerowan | 2025-12-23 02:32:48+00:00
On the software front as mentioned VHDL and Verilog are showing their age with their design as well as ther tooling ecosystem.Attempts such as CHISEL[1] (written in Scala)also havent gotten much traction - seeing also the language choice - would have btter have been in something more accesible like kotlin/ocaml.

Secondly the integration with consumer devices and OS is almost non-ecistant - it should really be simpler to interact with ala GPU/Network chip and have more mainboards with lowcost integrated FPGAs even if they are only a couple of hundred of logic cells.

[1]https://github.com/chipsalliance/chisel/blob/main/README.md
by DANmode | 2025-12-23 02:33:10+00:00
> Arch do warn people to actually read the changelogs if you're going to update/upgrade everything

I used to daily Arch, and I read landers/docs/community pages as a hobby, basically.

I’ve never seen this.

I’m not doubting you, to be clear - I just really want to see it! lol

Link?
by crazygringo | 2025-12-23 02:33:26+00:00
Honestly, not really. If you actually want to have decent coverage to observe crimes and track criminals, that's a ballpark reasonable figure.

And it's not really that expensive, and the idea is that it ultimately saves money in terms of the crime it prevents and fewer police and detectives needed.

I'm not defending it, but in terms of economic sense it's quite well justified. Opposition to it is moral/ideological around privacy/freedom, not economic.
by bluehex | 2025-12-23 02:34:17+00:00
I absolutely agree with you.
I think this quote in the article gave me the impression that they are talking more about vibe coding it at scale rather than llm assisted engineering.

"Our strategy is to combine AI and Algorithms to rewrite Microsoft’s largest codebases. Our North Star is ‘1 engineer, 1 month, 1 million lines of code.’"
by AdieuToLogic | 2025-12-23 02:34:45+00:00
I think we are largely saying the same thing, as described in the introduction of the K&R C book:

C is a relatively "low level" language. This
characterization is not pejorative; it simply means that C
deals with the same sort of objects that most computers do,
namely characters, numbers, and addresses.[0]

0 - https://dn710204.ca.archive.org/0/items/the-c-programming-la...
by nandomrumber | 2025-12-23 02:36:10+00:00
What nuclear waste? Where is it?

Somebody must be able to point to the nuclear waste by now. There it is, waving frantically in panic, the nuclear waste! It’s coming right for us!

Something is either highly radioactive for a short amount of time, or not very radioactive for a long amount of time.

But never both highly radioactive and for a long time.

In reality, there is so little nuclear waste that most of it has mostly been stored on site where it was generated, taking up less space than any grid scale solar or wind.
by F7F7F7 | 2025-12-23 02:36:32+00:00
What are you doing with GPT Pro? I've compared it directly with Claude Max x20 and Google's premium offer. I just don't see myself ever leaving Claude Code as my daily driver. Codex is slow and opaque, albeit accurate. And Gemini is just super clumsy inside of it's CLI (and in OpenRouter) often confusing BASH and plans with actual output.
by bigfishrunning | 2025-12-23 02:36:46+00:00
> My biggest unexpected finding: we’re hitting limits of traditional tools for sharing code. The pull request model on GitHub doesn’t carry enough information to review AI generated code properly — I wish I could see the prompts that led to changes. It’s not just GitHub, it’s also git that is lacking.

I find when submitting a complex PR, i tend to do a self review, adding another layer of comments above those that are included in the code. Seems like a nice place to stuff prompts
by raw_anon_1111 | 2025-12-23 02:36:49+00:00
Out of 10 companies I’ve worked for over 30 years, I’ve only worked for two large companies - General Electric when it was still an F10 company and later Amazon (AWS) - I hated my time at each of them. In fact, I turned down an opportunity by a former coworker at AWS who was a director at another well known non tech company who was going to create a position for me to lead their migration to AWS and then their “modernization”. I turned it down even though I could have made about $50K more in cash than I was making in cash and RSUs at Amazon because I didn’t want to work at another large company after leaving Amazon.

It’s fine if you want to work at smaller “interesting” companies, I’m doing the same. But let’s not pretend there are no tradeoffs.

The intern I mentored their intern summer and the year after they got back, got a return offer at 22 in 2022 that was the same I was making at 46 in 2020 as a senior enterprise dev in Atlanta.

On the opposite side, now they are an L5 (mid level) Solution Architect at 25 working at AWS doing a similar line of work to what I do[1] and make the same total comp as I make as as a staff consultant working at mid size firm at 51.

If you want to make the eye popping big tech salaries - you have to play the game.

[1] I’m mostly post sales leading implementations and doing some management style consulting reports. My former mentor is pre-sales.
by SOLAR_FIELDS | 2025-12-23 02:37:20+00:00
I’m glad Benn has gone into the YouTube space. He has demonstrated a great balanced view on how to sell your soul for advertisement money in YouTube land.

I’ve known of him a long time simply because of his extremely progressive views towards releasing his own music. In other words, I would not care about Benn Jordan but for the fact that he was releasing his own torrented music on WCD 15 years ago
by phire | 2025-12-23 02:38:00+00:00
I'm not sure that reporting is correct.

Micron have EOLed a bunch of ddr4/lpddr4 parts, but that happens all the time, even to current nodes. There are still plenty of LPDDR4 parts in Micron's catalog [1] that are not EOL. TBH, I'm not exactly sure what the pattern is, maybe it's just parts on older nodes?

Reporters might be overreacting to product change notifications?

Also, it doesn't really matter when the first fabs start EOLing parts, it only matters when the last fab closes. And LPDDR4 might be a long-lived part, simply because China have opened a DDR4/LPDDR4 fab. Which might actually cause non-Chinese fabs to shut down DDR4/LPDDR4 early to focus on nodes with less competition.

[1] https://www.micron.com/products/memory/dram-components/lpddr...
by wkat4242 | 2025-12-23 02:38:55+00:00
It does not work for me on my Linux PC with Firefox, PayPal simply refuses to enrol passkeys and Amazon tries but then gives an error. I haven't tried chromium as I don't have it installed.

I'll give it another try though. The last time was 1 year ago. I don't normally use Bitwarden so I have to set it up from scratch with vaultwarden etc.
by theacodes | 2025-12-23 02:39:27+00:00
This license is so laughably bad I had a hard time writing a parody of it [1]. It's not open source, it doesn't accomplish any of its goals, it's not novel in any way. It's a joke, a smokescreen for Prusa and it won't do anything to save him from competition. Good luck, Josef. I'd encourage everyone else to avoid this like it's radioactive.

[1]: https://github.com/theacodes/socl
by tverbeure | 2025-12-23 02:40:09+00:00
> sometimes … sometimes … sometimes …

And sometimes you need support for multiple IO standards.

I don’t understand what point you’re trying to get across.

But if all you need is LVCMOS33, why do you not use a MAX10 FPGA with built-in voltage regulator? Or a similar FPGA device from GoWin that is positioned as a MAX10 alternative? What is wrong with those?

> JTAG

On our production line, we use JTAG to program the FPGA? We literally used the same “make program” command for development and production. That was for production volumes considerably larger than 100k.

> ISE

ISE was end of life’d when I started using FPGAs professionally. That was in 2012. The only reason it still exists is because some hold-outs are still using Spartan 6.
by neuralkoi | 2025-12-23 02:40:25+00:00
I can do all of this and be hit by a bus tomorrow. I'm not saying don't do it, but there's already so many assumptions made. It's also playing whack-a-mole.

For example, organic might not exactly [0] be what you think it is [1]. What's more important is that you actually do eat enough fruits and vegetables.

Reverse osmosis membranes are made of plastic [2] and might themselves be introducing tons of microplastics to the water [3]. Our parents got leaded gasoline. We get microplastics.

The bandwidth to focus on these kind details usually comes with certain financial security. There's simply too many variables. Your average joe who can't use "Locale" to source their food. (An interesting experiment is to grab the text body of this blog post and ask AI to estimate the author's net worth and yearly salary.)

“A ship in harbour is safe, but that is not what ships are built for.” -- John A Shedd

[0] https://www.ecfr.gov/current/title-7/subtitle-B/chapter-I/su...

[1] https://www.youtube.com/watch?v=8PmM6SUn7Es

[2] https://pmc.ncbi.nlm.nih.gov/articles/PMC4883278/#:~:text=An...

[3] https://www.publichealth.columbia.edu/news/bottled-water-can...
by _virtu | 2025-12-23 02:40:39+00:00
I’ve been a JetBrains toolbox subscriber for over a decade. I used to run trainings for new hires to get them up to speed on the eco system as our team would provide licenses. I say all of this because I was about as fanboy as you could get for them.

They’ve dropped the ball over the past five years. Part of me thinks it was the war in Ukraine that did them in. The quality of tooling and the investment in Fleet and AI slop was the death nell for me. I was slated to renew at the grandfathered price on the 17th and decided to let my subscription lapse this year because the value prop just isn’t strong enough anymore.
by Razengan | 2025-12-23 02:40:54+00:00
These comments sound like paid PR.

I literally just gave an example.

I keep AI prompts in Notes for using with different chatbots. You can paste them normally into ChatGPT etc but Claude mangles them up.

Claude doesn't let you buy a subscription from the iOS with an In-App Purchase, you have to enter your card, and then they don't let you remove your payment info. It's just sitting there waiting for the eventual data breach.

Sign in with Apple on iOS, but only Sign In With Google on the web. Guess how you log in on desktop if you signed up on the phone.

They have that "I'm special" syndrome where they think they can ignore the most basic conveniences that every other product does.

(Talking about Claude not Claude Code, but the Claude web UX was so crap and Code's output for Godot so useless that I didn't even bother trusting Code for more than 1 day)
by violet_0923 | 2025-12-23 02:41:43+00:00
I recently built a free AI Image Extender that lets you expand images to new aspect ratios without cropping or manually filling backgrounds.

You upload an image, choose the target size (for example 16:9, 4:3, or square), and the tool generates extended areas that blend naturally with the original image. It’s useful for adapting images to banners, social posts, thumbnails, or layouts where the original crop doesn’t fit.

The tool runs directly in the browser, no login required.
It focuses on preserving the main subject while extending surroundings like backgrounds, walls, skies, or empty space in a natural way.

I’m especially interested in feedback on:

Output quality across different image types

UX (controls, defaults, flow)

Edge cases where extensions break visually

Happy to answer questions or discuss the technical approach. Thanks!
by wkat4242 | 2025-12-23 02:41:47+00:00
Hm I should try it again, the last time was about a year ago, maybe a little more. I don't normally use bitwarden so I have to set it all up with vaultwarden to make it work.

Is it possible now to export the passkey private key though? That was another thing at the time, apparently the fido consortium didn't want keys to be exportable.

But I'll try it again, good point. I think with paypal the issue was also that they refuse passkeys in firefox and I don't use chrome so I was stuck there too. With Amazon it tried to enroll me but I got a bunch of errors.
by cyberax | 2025-12-23 02:42:16+00:00
> That is not correct, and doesn't even pass the sniff test.

These are numbers from the known far-right organization....err... Fraunhofer Institute for Solar Energy: https://www.ise.fraunhofer.de/en/publications/studies/cost-o...

> Solar is deployed at ~$2/watt and you're saying batteries are increasing that cost 2.5x to 10x?

Exactly. And you need closer to 100x for some locations (Germany) for the solar to be reliable enough.

Solar is _very_ cheap when you don't care about reliability, and impossible otherwise. Wind is a bit more nuanced, but in general has a similar story.
by Paul-E | 2025-12-23 02:43:01+00:00
I'm curious if you have tried SeaORM? I've used it a little bit (not too extensively) and really like it. It's like sqlalchemy in that you can declare your tables and have a type checked query builder, which is a big win IMO. It's nice to add/change a field and have the compiler tell you everywhere you need to fix things.

I've definitely had issues when using sqlalchemy where some REST API type returns an ORM object that ends up performing many queries to pull in a bunch of unnecessary data. I think this is harder to do accidentally with SeaORM because the Rust type system makes hiding queries and connections harder.

Most of my usage of SeaORM has been as a type query builder, which is really what I want from an ORM. I don't want to have to deal with lining my "?" or "$1" binds or manually manipulate strings to build a query. IMO a good query builder moves the experience closer to writing actual SQL, without a query builder I find myself writing "scripts" to write SQL.
by pclmulqdq | 2025-12-23 02:43:07+00:00
I'm not sure what physics you're using to get a COP > 1 for an induction stove. I'm pretty sure you could put a Stirling engine on that stove and have a perpetual motion machine. Most of them run about 80-90% compared to 30-40% for gas equivalents, about 2-2.5x more efficient. And this is with expensive, high-end cooktops.

I think heat pumps make sense to use when available, but that's kind of separate from electric heat sources. If you actually have to source your heat from the power source itself, it's cheaper to get it cookies.

I have a heat pump on my house, but there's also a high-efficiency furnace and its COP is over 90% combusting gas.
by Bradsburied | 2025-12-23 02:43:09+00:00
> Parents, especially with the advent of social media, hardcore pornography, and every childhood friend having a device, correctly said this was unreasonable and impossible.

It is neither unreasonable or impossible. No need to hand the kids a device that can access the open internet. If parents do, restrict or deny gadget time. Stick to a Nintendo or console.

Learned helplessness and codependency on internet is part of the sales pitch of big tech, salesmen in general. They push self doubt and sell their solution.

Fill the time showing kids how to rotate tires and change oil. Show them how to make pizza crust.

Learned helplessness is a feature of capitalism. Not immutable feature of physical existence.
by ProllyInfamous | 2025-12-23 02:43:53+00:00
HN seems to have shadowbanned that post (despite it's 200+ upvotes in <2 hrs). I'm seeding via this magnet link :

magnet:?xt=urn:btih:734abc77f48d11c78543c52004b6f57db71d6d92&dn=60minutes-cecotsegment&xl=1483256352&tr=http%3A%2F%2Fbt1.archive.org%3A6969%2Fannounce&tr=http%3A%2F%2Fbt2.archive.org%3A6969%2Fannounce&ws=http://ia601703.us.archive.org/32/items/&ws=http://ia801703.us.archive.org/32/items/&ws=https://archive.org/download/

Or here <https://www.muellershewrote.com/p/watch-the-60-minutes-cecot...>
by yodon | 2025-12-23 02:43:57+00:00
Think about it conceptually:

Could you watch a music video and say "that's the snare drum, that's the lead singer, keyboard, bass, that's the truck that's making the engine noise, that's the crowd that's cheering, oh and that's a jackhammer in the background"? So can AI.

Could you point out who is lead guitar and who is rhythm guitar? So can AI.
by wkat4242 | 2025-12-23 02:43:59+00:00
Really that is WAY too complicated for my folks. And for me I don't want accounts with big tech companies to do something local so step 2 was already a blocking point.

And as for removing the DRM (I assume that's what you're hinting at), yeah but that can be done with kindle's and kobo's too and in less roundabout ways. The existence of a hack for Adobe DRM doesn't make that a 'good' DRM.
by phil21 | 2025-12-23 02:44:36+00:00
Almost none. A long time ago a friend and I did the math for sound, photons (status LEDs), etc and it was a rounding error of 1% or something silly like that.

And that’s ignoring that sound and photon emissions typically hit a wall or other physical surface and get converted back to heat.

It all ends up as heat in the end, just depends on where that heat is dumped and if you need to cool it or not. Most watts end up being even more than the theoretical heat per watt due to said cooling needs.

There is literally no way around the fact that every watt you burn for compute ends up as a watt of waste heat. The only factor you can control is how many units of compute you can achieve with that same watt.
by kmeisthax | 2025-12-23 02:45:04+00:00
Yes. Unfortunately, we don't live in capitalism anymore, we live in feudalism. The feudal lords just so happen to wear the skin of formerly capitalist corporations. That's how we get the opposite but identical kind of failure, where basically any desirable city gets almost no housing buildout (because any idiot with a billion dollars can make it arbitrarily expensive to do) and families can't afford to even have one child.