MurphyA/hacker-news huggingface dataset:
by yann-gael | 2025-12-02 16:05:44+00:00
As energy costs rise and concerns about environment increases, developers are beginning to realize that optimizing for performance isn't enough — it's time to optimize for sustainability. Most of the small, distributed devices running inefficient software can collectively waste significant power and increase the global carbon footprint. While performance profiling has always been the primary concern for developers, energy profiling has often been overlooked, especially across the diverse layers of the IoT ecosystem. Yet, when developers try to measure this energy impact, they quickly hit a wall: there simply aren't enough profiling tools that work across all layers of IoT architecture — from device firmware to cloud applications.
by nephihaha | 2025-12-02 16:06:37+00:00
Who decides what is "disinformation"? Oh yes, it's the same groups already running everything. Covid precautions are not long over. They are only three or four years ago and still affect global food prices. Some businesses are still struggling to pay off that shortfall if not bankrupted. It's also allowed the ruling class to use ever more scaremongering as a means of social control... And use the "misinformation"/"disinformation" labels to shut down public debate.

Also half the stuff they came up with was not scientific like allowing flights to continue while shutting small businesses.

By the way, most of what I am talking about is what I saw at street level. You couldn't be much radicalised by online activity. I got censored by Facebook for asking simply about the mental health cost effects of lockdown. Absolute disgrace. I knew several people who died from the isolation including one who drank himself to death.
by spoiler | 2025-12-02 16:06:48+00:00
I never said Cloudflare was behind Let's Encrypt… Did I? Probably just a misunderstanding.

Someone l pointed out I mixed up my timeline a bit because this was over a decade ago, but it turns out CF offered free certs even earlier than LE :)

So, while i got the details wrong, I still stand behind what I say: most sites on the web even have TLS enabled because CF offers it for free. I'm not talking about the reverse proxy aspect, but from the UA's perspective
by hylaride | 2025-12-02 16:06:53+00:00
Loscil - First Narrows album is great and was used in the game Osmos.

Ulrich Schnauss - Far Away Trains Passing by Album, particularly the songs "passing by" and "knuddelmous"

Kromattic "song "porcelain"

Peardiver - song "hangout"

lechiffrebeats - song Moonlight Garden

Lori Travel - song "apple lamp"

King of Woolworths - Song "Theydon"

Aisake - song "autumn Leaves"

Christopher Willits - song "wide"

Northscape - song "approaching the trig point"

Kiasmos - song "blurred"

Celer - song "Diphenhydramine"

Tony Anderson - song "Ariana"

East Forest - Album "Music for Mushrooms: A soundtrack for the Psychedelic Practitioner"

If you're on Apple Music, look for the shared playlist Lo-Fi Chill: https://music.apple.com/ca/playlist/lo-fi-chill/pl.1d5ead185...
by throw-qqqqq | 2025-12-02 16:06:58+00:00
I can't give a good, covering answer without writing a wall of text, sorry in advance.

CBMC and KLEE try to statically verify assertions in one of three outcomes:

1. Verified: No counter-example was found, that breaks the assertion(s).

2. Rejected: A counter-example was found, that makes an assertion false.

3. Tool runs forever or exhausts system resources.

That means, any test/verification you can do at runtime, can be determined statically. You can use modal logics, automata, everything within practical limits.

The modeling language is also just C, which simplifies things HUGELY.

A very simple example can be found here: https://github.com/kokke/tiny-regex-c/blob/master/formal_ver... (note, this has no specific assertions, only the ones inserted automatically by the tool, to check for run-time errors like zero division, array out of bounds etc.).

For more involved examples, see https://www.cprover.org/cbmc/applications/ or https://klee-se.org/publications/
by messe | 2025-12-02 16:07:26+00:00
Synchronous Io also uses the Io instance now. The coloring is no longer "is it async?" it's "does it perform Io"?

This allows library authors to write their code in a manner that's agnostic to the Io runtime the user chooses, synchronous, threaded, evented with stackful coroutines, evented with stackless coroutines.
by rodrigodlu | 2025-12-02 16:07:32+00:00
Is there a way (like a CSS rule or something similar) that when you look at the main strudel window, it only shows the piano rolls, punch cards, sliders, etc - but not the code?

Maybe with just the comments? This would be killer, since I have dual displays, and on one I can just focus on the code, the other one can have all the visual stuff.

I'm using this plugin, but having the code twice distracts me a lot (but I prefer the original neovim instead the integrated vim mode inside strudel).

Thanks in advance!
by malfist | 2025-12-02 16:07:44+00:00
I wasn't attempting to create that conflation in my post, if you read that, I wasn't clear enough.

I personally think it's fine for children to work on their family's business as long as it doesn't impact their schooling or normal childhood activities. It is a fine line to walk, I don't believe I missed out on anything like after school activities, but that was largely because there aren't too many of those opportunities deep in the mountains in Kentucky. I say it's a fine line, because it's easy to see a scenario where children are put to work in, say a family restaurant, and prevented from doing after school activities like sports or clubs, and miss out on part of the well rounding of an education.

I certainly don't support children working for third parties that then profit off of their labor. In those cases, there is no way to align the incentives to protect the child.
by xzjis | 2025-12-02 16:08:30+00:00
I don't like defending Russia which is a horrible country, but I find it hypocritical to only talk about their imperialism and pretend not to see that the most imperialist country in the world, the one that has started, financed, and participated in the most wars, is the United States, and yet the question of boycotting American companies is never brought up. Google has been intentionally sabotaged in terms of image search and reverse image search; Yandex is literally the best on the market, but Kagi should boycott them because their headquarters are in the wrong country?
by antonvs | 2025-12-02 16:08:36+00:00
It's dubiously safe because it allows invalid combinations, i.e. calling UDP-related methods on non-UDP sockets. I'm using "safe" in the general English sense here, "protected from or not exposed to danger or risk."

> invalid operations would correctly error

At runtime, yes. I'm pointing out that Rust makes it possible to do better, and catch such issues at compile time.
by bradly | 2025-12-02 16:08:46+00:00
One of my best and most productive work situations was remote with a week[0] together every quarter. Key to this was scheduling the next trip while we were together to make sure it was on the books. We got to meet new team members, share some meals together, work through new architecture designs with a whiteboard, and plan. Not much got done during that week, but we sure got a lot done each quarter.

[0]: This was actually Monday-Thursday with travel on Friday
by messe | 2025-12-02 16:09:11+00:00
> The one thing you could say is that using some kind of token makes it dead simple to have different tokens. But that's really not something I run into often at all when using async.

It's valuable to library authors who can now write code that's agnostic of the users' choice of runtime, while still being able to express that asynchronicity is possible for certain code paths.
by ivandalmet | 2025-12-02 16:09:33+00:00
Start UI (web) is an open-source full-stack starter built on TanStack Start.

If you're tired of rebuilding the same setup for every project, this gives you a clean baseline so you can start coding features immediately.

Included : React + TypeScript structure, TanStack Start routing, loaders and server functions, Better auth, Prisma + migrations, Typed server and client boundaries, TailwindCSS + shadcn/ui, Unit and e2e tests, ESLint, Prettier, CI, Docker setup, Storybook and minimal design system

Repo: https://github.com/BearStudio/start-ui-web

We're trying to reach 2000 stars before Christmas. Your little star would help us reach that goal :)

Feedback and technical critiques are welcome.
by Y_Y | 2025-12-02 16:09:56+00:00
In fact I cant disagree with most of what you've said, except to say that I was thinking from the state perspective, rather than the cannon-fodder.

Conscription has never been popular, and I think today in healthy industrialised nations it would be an exceptionally hard sell. Ukraine, Russia and (somewhat) Israel give us hints here of what might happen if the US or Germany or India started drafting all able-bodied young men.

It would be a disaster, but my guess is that it wouldn't stop governments from trying.
by popinman322 | 2025-12-02 16:10:17+00:00
They're comparing against open weights models that are roughly a month away from the frontier. Likely there's an implicit open-weights political stance here.

There are also plenty of reasons not to use proprietary US models for comparison: The major US models haven't been living up to their benchmarks; their releases rarely include training & architectural details; they're not terribly cost effective; they often fail to compare with non-US models; and the performance delta between model releases has plateaued.

A decent number of users in r/LocalLlama have reported that they've switched back from Opus 4.5 to Sonnet 4.5 because Opus' real world performance was worse. From my vantage point it seems like trust in OpenAI, Anthropic, and Google is waning and this lack of comparison is another symptom.
by lolski | 2025-12-02 16:10:17+00:00
> When I enquired ChatGPT why it said "no", this was the response:

> "Because your question was phrased in a way that depended on which year we’re currently in, and I initially answered it generically: “If today is 2025, then 2026 is next year.” I started by explaining the conditional logic instead of immediately stating “Yes,” which made the answer sound like No at first. Then I clarified based on the actual current date (December 2025) that yes, 2026 is next year. So the short version: My first sentence emphasized the logic, not the direct answer. That caused confusion."

I seem to remember Bill Clinton sometimes also talks like this
by Lapel2742 | 2025-12-02 16:10:22+00:00
> that the comparisons would be extremely unfavorable.

Why should they compare apples to oranges? Ministral3 Large costs ~1/10th of Sonnet 4.5. They clearly target different users. If you want a coding assistant you probably wouldn't choose this model for various reasons. There is place for more than only the benchmark king.
by mfolaron | 2025-12-02 16:10:26+00:00
Thanks. OpenWebUI provides the basic foundation for chatting with AIs.

We updated the regular chat to allow participant invitation and real-time group chat via sockets. We spent a lot of time adjusting system prompts and message meta data to ensure the LLM knows about individual participants at any given time.

We also made a ton of small adjustments to model selectors, tagging of users vs AI, tool execution (in particular web search) and chat controls.
by ndiddy | 2025-12-02 16:10:52+00:00
One large contributor to modern Windows's lack of quality is that Microsoft laid off all of its dedicated QA staff in 2014, with the expectation that developers would own the OS's quality themselves, and whatever they miss would get caught by telemetry reports from Windows enthusiasts who sign up to test new versions for free. Getting rid of QA eliminated Microsoft's institutional knowledge of what causes bugs, what areas to look at, etc (invaluable when you're dealing with a 30+ year old codebase where large portions were written prior to automated testing being standard). The free Windows enthusiast testing didn't make up for this because you can't expect them to act like how a QA tester would act.

Of course I don't expect Microsoft to suddenly start caring about product quality. The Windows user base has largely stopped growing, so MBA logic is to spend the bare minimum resources on maintenance and to funnel the existing userbase into growth areas like cloud/AI services.
by sjsdaiuasgdia | 2025-12-02 16:10:54+00:00
Why are you asking a token generator to explain its prior output?

You are proceeding from a false premise. You are not getting an explanation of its prior output. You are getting a series of tokens that forms a response to your query, same as it did for the initial answer. Now you've asked it why it's wrong, so the text conforms to that request, but that doesn't change the fundamental nature of the software you're interacting with.
by rcpt | 2025-12-02 16:10:56+00:00
I've been remote for 5 years at faang. It's ridiculous they haven't fired me yet. The productivity hit from remote work is huge.

For self-contained coding exercises remote is fine. AI does all that now but I guess I still need to prompt it.

Getting myself impactful projects, winning turf wars, new collaboration with a cousin team? Forget it. Impossible from home.
by tarruda | 2025-12-02 16:10:58+00:00
> Do you disagree with that?

I think that Qwen3 8B and 4B are SOTA for their size. The GPQA Diamond accuracy chart is weird: Both Qwen3 8B and 4B have higher scores, so they used this weid chart where "x" axis shows the number of output tokens. I missed the point of this.
by Sponge5 | 2025-12-02 16:11:42+00:00
At my company, we have not seen any performance benefits from LTO on a GCC cross-compiled Qt application.

GCC version: 11.3 target: Cortex-A9 Qt version: 5.15

I think we tested single core and quad core, also possibly a newer GCC version, but I'm not sure. Just wanted to add my two cents.
by nextos | 2025-12-02 16:12:11+00:00
Some of the current EU ID cards are actually smartcards, so in terms of privacy guarantees and separation of concerns, we are moving backwards. I am also more comfortable with a low-tech solution that is not linked to my personal devices. Something like a FIDO passkey would be ideal as those are also able to verify the identity of the other side, but are relatively low-tech and won't serve to track me.
by debugnik | 2025-12-02 16:12:14+00:00
Nice find, thanks! Turns out Godot reached to Miguel de Icaza for a few grants from Microsoft for C# integration around 2017-2020. Coincidentally, I can't find any mention of Microsoft grants for Godot after de Icaza left MS. I guess we found who used to care for Godot at MS. Still, cool that they did it.
by HelloNurse | 2025-12-02 16:12:20+00:00
> seems fairly clearly to be talking about icons of known sizes, in which case that advantage disappears.

That's the point: obliviousness to different concerns and their importance.

Among mature people, the main reason to use SVG is scaling vector graphics (in different contexts, including resolution-elastic final rendering, automatically exporting bitmap images from easy to maintain vector sources, altering the images programmatically like in many icon collections); worrying about file sizes and rendering speed is a luxury for situations that allow switching to bitmap images without serious cost or friction.
by mapontosevenths | 2025-12-02 16:12:48+00:00
Keep in mind that explorer now uses 100% more resources than it did 5 years ago, but it still can not do basic things that Mac and open source competitors can do. It's almost 40 years old, and doesn't really do more than it did back then.

I don't think MS cares to be competitive at all. Here is a small list of things other file managers can do that MS would never dream of (because it would require effort):

* Batch rename files

* File metadata/tag support

* Sessions/saved layouts (sort of exists in a half finished state)

* Fish/SSH Support

* Builtin hash/checksum support

* Native dual pane views

* Customizable keyboard shortcuts

* Built-in terminal

* Handle compressed files (outside limited zip compatibility)

* Search with advanced features (offers limited support)

* File versioning

* The ability to navigate entirely with the keyboard

* File transfer queue management (think Terracopy)

* Builtin Compare/Sync

* A Preview Pane

* User adjustable UI

* etc
by adventured | 2025-12-02 16:13:08+00:00
> their interests are not absolute

The question of interests is a cultural debate, and also not an absolute either direction. In one culture the interests of the author could be held as an absolute; in another culture the exact opposite could be held as the value: no copyrights at all.

That's up to the society to debate. We see considerable cultural variance across the globe on the matter.
by jayd16 | 2025-12-02 16:13:25+00:00
Actually it seems like they just colored everything async and you pick whether you have worker threads or not.

I do wonder if there's more magic to it than that because it's not like that isn't trivially possible in other languages. The issue is it's actually a huge foot gun when you mix things like this.

For example your code can run fine synchronously but will deadlock asynchronously because you don't account for methods running in parallel.

Or said another way, some code is thread safe and some code isn't. Coloring actually helps with that.
by giancarlostoro | 2025-12-02 16:13:38+00:00
Good question, I'm not even sure what I was looking up when I found that thread, I think I was curious about something else entirely, but as someone who learned to code with VB6 the link intrigued me, I mean come on, that thread title is just great.

I wanted FreeBASIC to have a RAD IDE back when I was still clinging to VB6 as it was being replaced by VB.NET. I hope someday Microsoft open sources bits and pieces of VB6.
by cortesoft | 2025-12-02 16:13:54+00:00
> Percentage of positive responses to "am I correct that X" should be about the same as the percentage of negative responses to "am I correct that ~X".

This doesn’t make any sense. I doubt anyone says exactly 50% correct things and 50% incorrect. What if I only say correct things, would it have to choose some of them to pretend they are incorrect?
by charlie-83 | 2025-12-02 16:14:01+00:00
The situation in higher education at the moment does seem pretty dire. However, I do have some hope that a new system could emerge from this which would be better.

The purpose of higher education should be to learn things that will be useful to you (most likely in a career). However, the current purpose is to gain a piece of paper which will mean your job application doesn't get immediately thrown out.

People being willing to spend so much time and money on university only to deliberately avoid learning or thinking by using AI to cheat on everything suggests that the system itself is broken.

These students don't actually want to be in university but feel they have to in order to have a chance at success in the current job market. We are in a prisoner's dilemma where everyone is getting degrees just to be a more appealling applicant than the next person. You might have authored a very impressive opensource library but still not get the junior software dev job because HR never gave your CV to the hiring manager since you don't have a STEM degree and 50 other applicants did.

However, I don't really know how university's will evolve from this or what this new system will be. It seems hard to motivate a bunch of 18 year olds to actually want to learn stuff without dangling a piece of paper and exams at the end. Maybe that's just a symptom of all of the levels of education that come before university also dangling paper and exams. There were certainly parts of my degree I would have, at the time, liked to have skipped with AI but now (older and wiser) I'm very glad I couldn't.
by encyclopedism | 2025-12-02 16:14:32+00:00
The correct conclusion to draw and also to reiterate:

LLM's do not think, understand, reason, reflect, comprehend and they never shall.

I have commented elsewhere but this bears repeating

If you had enough paper and ink and the patience to go through it, you could take all the training data and manually step through and train the same model. Then once you have trained the model you could use even more pen and paper to step through the correct prompts to arrive at the answer. All of this would be a completely mechanical process. This really does bear thinking about. It's amazing the results that LLM's are able to acheive. But let's not kid ourselves and start throwing about terms like AGI or emergence just yet. It makes a mechanical process seem magical (as do computers in general).

I should add it also makes sense as to why it would, just look at the volume of human knowledge (the training data). It's the training data with the mass quite literally of mankind's knowledge, genius, logic, inferences, language and intellect that does the heavy lifting.
by jjice | 2025-12-02 16:14:41+00:00
I'd be interested in a way to handle large swaths of simple tooling calling for LLMs (Anthropic recently had something about this, not sure if it would apply) so that they can know to _never_ attempt math, because that's not what they're for. Giving it a bunch of tools for things like arithmetic, date math, and other Wolfram style queries and making sure they always lean on those when appropriate would be fantastic.
by jneem | 2025-12-02 16:14:48+00:00
I had a quick look and couldn't find a way to turn off per-function sections in rustc. But I think it's a pretty good default for rust, because the unit of compilation is pretty large and so it's common to have a lot of unused functions. It's really only a problem for distributing static libraries, since binaries and shared libraries already lose their per-function sections.
by dmoy | 2025-12-02 16:14:48+00:00
Yea I think Calhoun also read the article before posting, and agrees with you; they meant the full title should be

> "The Death of Software Engineering as a Profession" ... is greatly exaggerated.

As in "is greatly exaggerated" is part of the title

They did not mean the title should be

> The Death of Software Engineering as a Profession

and that they think the thesis is greatly exaggerated.
by torginus | 2025-12-02 16:15:07+00:00
Not on a dedicated server - if serving a db query in a rest endpoint took 100ms in Node, it wouldn't have gotten popular,

In my experience, Node perf is 'okay' - not stellar but a simple express/js handler certainly doesn't take 100ms. This sounds 10x-100x slower than running something similar on a dedicated instance.
by bradfa | 2025-12-02 16:15:20+00:00
I feel that my highest productivity was the 4 years I spent on the same team working remotely but having many interactions per day with my coworkers and manager. I only physically was in-person with my team for 1 week during that 4 year span. But every day I was working WITH my teammates, interactively. My manager was open and honest about things and the company culture embraced discussing "What if we did X?" to debate how we could improve things and dream up new ideas.

Prior to that I worked in-person in offices doing similar types of engineering. I was never as productive there but I did see more sides of the business and I got to do more varied tasks. Having lunch or going for a short walk physically with teammates and non-teammates definitely spawns opportunities which otherwise don't naturally happen.

Now, I do consulting/contracting remotely. Often I'm working on weeks to months long contracts. All my customers are remote. It's very clear that my value is in short term results, to get the customer past their current problem. If any planning for the future is found, I recommend it, but unless the customer wants me to pursue it then the recommendation is all I give.

All 3 kinds of work have pros and cons. I do miss regularly having lunch with coworkers. I MUCH prefer my remote work commute, flexibility, and work/life balance.