MurphyA/hacker-news huggingface dataset:
by sam_bristow | 2025-10-14 06:21:00+00:00
Stoke Space[1] uses a similar system, letting people write arbitrary code to generate a static configuration for their launch vehicle. It means you get all the power of something like Python during development but also a deterministic, bounded config for the critical flight systems. I think their config files are just TOML that is consumed by Rust.

I'll try dig out a link to the talk one of their Flight Software Engineers did on the concept.

[1] https://www.stokespace.com/
by tliltocatl | 2025-10-14 06:21:03+00:00
> But there's just not that much to do to connect a server application to the network, where it can access all of its resources.

If you only care to run stateless stuff that never write anything (or at least never read what they wrote) - it's comparatively easy. Still gotta deal with the thousand drivers - even on the server there are a lot of quirky stuff. But then you gotta run the database somewhere. And once you run a database you get all the problems Linus warned about. So you gotta run the database on a separate Linux box (at that point - what do you win vs. using Linux for everything?) or develop a new database tailored for SeL4 (and that's quite a bit more complex than an OS kernel). An elegant solution that only solves a narrow set of cases stands no chance over a crude solution that solves every case.

Also, with the current sexy containerized stacks it's easy to forget, but having same kind of environment on the programmer's workbench and on the sever was once Unix's main selling point. It's kinda expensive to support a separate abstraction stack for a single purpose.
by recursivecaveat | 2025-10-14 06:21:19+00:00
I have tried it before, unfortunately never found it that handy. For starters you need a pretty complicated expression not already disambiguated by layout to start to care. Which is the sort of thing people try to avoid anyways. Second, there are not a huge number of colors that are super distinct when not right up against each other, doubly so when you consider all of them must be very distinct from the background color. Lastly there's a lot of finickiness with other usages of colours conflicting.

I would actually prefer the opposite. Render the () characters as different matching glyph pairs. The space for distinctive asymmetric glyphs is a lot larger and not generally very loaded because people code 99.9% in ascii.
by SllX | 2025-10-14 06:22:18+00:00
I appreciate your input and if that were the sole reason I switched browsers that might be enough, but how unreasonable is it that you have to get a 3rd party extension from the App Store to turn off an annoyance that Apple clearly thinks is a feature? Like if they’re going to retain the dickbar, it should be a checkbox in Safari’s settings to turn it off.
by Franklinjobs617 | 2025-10-14 06:23:28+00:00
You called it. And honestly, I apologize. That's a fair and painful flag to raise.

Let me be 100% transparent: I'm the human founder, but I've been using a language model to help me quickly synthesize and structure these detailed, technical replies, especially while processing all the fantastic feedback (like your ffmpeg script!) and balancing the day-to-day coding.

The goal wasn't to deceive or automate interaction—it was to ensure I could respond to every point with technical clarity without losing the thread, but I clearly over-optimized the structure and lost the necessary human touch. My mistake.

This is a human talking now, hitting reply directly. Your feedback has been invaluable—truly saving us weeks of R&D—and I would never want you to feel that contribution was wasted on a bot.

We are taking your ffmpeg suggestion seriously for the long video pipeline. I'm hitting the keyboard and doing the coding myself.

Thanks for the brutally honest call-out. I'll stick to 100% human responses going forward.
by re | 2025-10-14 06:23:31+00:00
Related:

Copy-and-Patch: Fast compilation for high-level languages and bytecode (2020) https://news.ycombinator.com/item?id=40553448 - June 2024 (51 comments)

A copy-and-patch JIT compiler for CPython - https://news.ycombinator.com/item?id=38769874 - Dec 2023 (68 comments)

Copy-and-Patch: Fast JIT Compilation for SQL, WebAssembly, and Others - https://news.ycombinator.com/item?id=28547057 - Sept 2021 (7 comments)
by mamonoleechi | 2025-10-14 06:24:13+00:00
is it still possible to run the latest version in appimage on linux? only found this version, it's from 2023: https://club.tidalcycles.org/t/strudel-0-8-0-released/4769

i remember seing a .appimage hosted on github in the releases, but they moved to a new host now

oh and if you don't know what inspired the name of the software ; a strudel is really yummy: https://en.wikipedia.org/wiki/Strudel
by barchar | 2025-10-14 06:26:45+00:00
1. They don't have to 2. If employees want to be exposed to excess profit (and loss) they can buy shares like everyone else. (Not a super strong argument tbh) 3. It's impossible to measure how much any given employee/department really contributed and they don't want to create a culture of chasing fat bonus checks. 4. To some extent they do tend to. Profit sharing plans and ESOPs aren't that uncommon
by alex23478 | 2025-10-14 06:27:31+00:00
> How will Google force Android users to "update" so sideloadinng can be prevented

Google has the Google Play Services, which can be remotely updated via the Play Store, as has been done for the COVID exposure notification system [0]. Google's Play Protect already hooks into the installation process and could be updated to enforce the signatures.

[0]: https://en.wikipedia.org/wiki/Exposure_Notification
by qart | 2025-10-14 06:27:34+00:00
I live in India. Nearly all parties appoint literal thugs as ministers. Let alone English literacy and fluency, they are not even competent in their own language. Here we have a minister of Kannada & Culture, whose first language is Kannada, struggling to write a common word in Kannada: https://x.com/tulunadregion/status/1886675464221286414

> I mean many bars wont give you a job without passing english interview.

We have a very similar situation in India. But ministers (and their supporters) now take perverse pride in not being good at English. They use our brief British rule as a scapegoat for half the things that are wrong with India. The other half is blamed on Mughal rule.
by ACCount37 | 2025-10-14 06:27:53+00:00
The answer is that it does know. Not exactly, but the "general shape" of the answer is known to the LLM before the very first token of the answer is emitted!

"Next token prediction" is often overstated - "pick the next token" is the exposed tip of a very large computational process.

And LLMs are very sharp at squeezing the context for every single bit of information available in it. Much less so at using it in the ways you want them to.

There's enough information at "no token emitted yet" for an LLM to start steering the output towards "here's the answer" or "I don't know the answer" or "I need to look up more information to give the answer" immediately. And if it fails to steer it right away? An LLM optimized for hallucination avoidance could still go "fuck consistency drive" and take a sharp pivot towards "no, I'm wrong" mid-sentence if it had to. For example, if you took control and forced a wrong answer by tampering with the tokens directly, then handed the control back to the LLM.
by starky | 2025-10-14 06:28:09+00:00
This is assuming that "AI" isn't already being used extensively on manufacturing lines. Computer Vision has used "AI" neural networks for years for various tasks. The issue is that it is a lot of investment to implement automated assembly and there are still enough places in the world where labour is cheap enough to make it not worth it. As I said to one of my suppliers recently when they asked how their factory compared to others, "Automation is nice to have, but at the end of the day I'm choosing a vendor based on who can get me the product cheapest, quickest, and with high quality."
by jraph | 2025-10-14 06:28:34+00:00
It's not an isolated event, German states are pretty serious about this.

They are funding openDesk [1], a fully open source office and collaboration suite aiming to replace solution likes Google Drive and Office 365 with sovereign solutions. Open-Xchange is one component of this suite.

They are building this by taking existing software and packaging it in a consistent turn-key solution. To do this, they are paying the small European open source companies that build this existing software, to make it embeddable and accessible, and they fund specific features as well.

They make sure the whole thing remains strictly open source, and they audit open source license compatibility.

The approach feels solid and long term for once. It's not money that goes to your sexy local startup that builds proprietary software and will be bought by a big company a couple of years after.

[1] https://opendesk.eu/
by siglesias | 2025-10-14 06:28:50+00:00
He’s not arguing that it’s not possible to devise such a test. He’s saying, lay out the features of consciousness as we understand them, look for what causes them in the brain, look for that causal mechanism in other systems.

Although for whatever it’s worth most modern AIs will tell you they don’t have genuine understanding (eg no sense of what pleasure is or feels like etc aside from human labeling).
by kqr | 2025-10-14 06:29:34+00:00
> mental model

It should be more clear in the article that this term is used more broadly. The "mental model" is the function that converts feedback into control actions. In that sense, even simple automated controllers have "mental models".

> Dynamism is sometimes not a factor (although when it is, it's typically a harmful factor).

Sometimes it isn't but often it is. Yes, that makes the system more complex, along with other properties such as organicism, non-linearity, parallelism, interactivity, long-term recurrences, etc. These properties are inconvenient but we cannot just wish them away. We have to design for the system we have.

> Toyota, Deming, SPC

I have read more books in this area than most people, and I don't really see how you came away without an appreciation for the importance of humans in the loop, and the dangers of overautomation. Could you illustrate more clearly what you mean?
by ludicrousdispla | 2025-10-14 06:30:07+00:00
>> by next year or the year after all white-collar work can be automated

Work generates work. If you remove the need for 50% of the work then a significant amount of the remaining work never needs to be done. It just doesn't appear.

The software that is used by people in their jobs will no longer be needed if those people aren't hired to do their jobs. There goes Slack, Teams, GitHub, Zoom, Powerpoint, Excel, whatever... And if the software isn't needed then it doesn't need to be written, by either a person or an AI. So any need for AI Coders shrinks considerably.
by w10-1 | 2025-10-14 06:30:42+00:00
This and the comments may miss the forest for the trees.

Enterprise software vendors sold libraries and then "application servers", essentially promising infrastructure (typically tied to databases).

Enterprise software developers -- Google in particular -- got tired of depending on others' licensed infrastructure. This birthed Spring and Docker, splitting the market.

(Fun aside: when is a container a vm? When it runs via Apple containerization.)
by hit8run | 2025-10-14 06:32:00+00:00
Just read this article and it vibes with my personal journey. I've built and maintained many web applications for more than 20 years. PHP, Ruby, Python, Java, Dotnet, Go, Node, Bun etc.

The most maintainable codebase is the one that requires the least guessing from the developers perspective. Where everyone that looks at the code immediately gets a good understanding of what is going on. When it comes to this I personally had the best experience with Go so far as it is verbose when it comes to error handling (I don't need to guess what happens or what can go wrong etc.). Is it the most elegant? No, but I don't need to build a big context window in my brain to understand what is going on immediately (looking at you Rails callbacks).

Anyways I found the article interesting and as I am also using SQLC I think it is something that goes in that direction.
by pjmlp | 2025-10-14 06:33:39+00:00
I picked it at the age of 11 years old or thereabouts.

Somehow it got fantasized as being hard.

I would go a step further, eventually we might be able to compile directly from high level prompts into Assembly instead of the high level languages like everyone is doing now.

It is the new coming of CASE tools, just needs to mature a bit more, lets see how far this AI cycle goes.
by Ndymium | 2025-10-14 06:35:03+00:00
Made me laugh though, when in the first level that it completely blocks, the director tells you to get close to a pickup, but the car you're chasing smashes the pickup to the sky like Team Rocket.

Last I heard there was a feature branch for testing a software implementation of floating point that would fix these issues, but naturally it would be a lot slower. I haven't tried it myself.
by philbo | 2025-10-14 06:35:46+00:00
It sounds like there’s another failure here, which you could have documented. If the test team didn’t understand what they were meant to test, that’s a failure of communication. Simply saying “they were wrong” is not sufficient exploration of the failure so, if that’s the point your manager was making, I agree with them. Blaming a third party for misunderstanding is less useful than seeking to improve the clarity of your own communication.
by eimrine | 2025-10-14 06:36:21+00:00
I haven't really try cleaning all the history but I have 2 points of why I consider cleaning the history as futile.

1. Youtube obviously grabs some info not only from Youtube but it also grabs all history from Google search and most of all some random words from Gmail, cleaning that all just for the sake of experiment might be not handy.

2. If some video has got deleted it obviously disappears from history. But there is a man I really fond of, his channels are regularly get banned after a month of activity, than the man finds a new channel with new author/interviewer. Somehow I am among the first ones to get recommended about new interviews with the man.

> "I REALLY bet I can get this person interested in Lego videos because they watched one 4 weeks ago and I have a ton of Lego content they've not even touched yet"

I can share another anecdote. Ten years ago there were a music video "Wintergatan - Marble Machine". I used to watched it dozens of times almost every day. Now if I scroll the feed to the end (Yt is not a doomscrolling) I have 90% probability of receiving the Marble Machine in the very last line. I have not touched it even once in the last several years but it knows I used to love it earlier. BTW it doesn't remember what I loved 15 years ago when most of the videos required Adobe Flash.

> The only thing the algorithm is really good for is finding videos it thinks will suck up your time.

Isn't that how a really great teachers teach? Forget about the teacher's interest, the teacher exists until the fellow pupil is interested.

> The curation is ultimately down to how much work you put into it, which isn't all that unique to YouTube.

That's a lie because FB and other rivals have nothing except the engine (no useful content). Just consume it responsively. The only reason to not use yt's algo is when you are so fond of your work that you have the chair glued to your arse and every second spent to someone's wise thoughts means a lost penny. So pity I have typed a lot of text but noone has asked me to share all my hacks to shape the algo towards one's satisfaction.
by anovikov | 2025-10-14 06:36:59+00:00
Well, the fraction of Russian LNG can't be higher than the overall fraction of Russian LNG on the world market right? Because prices for it are the same everywhere - a tanker operator can send it wherever prices are the best. It means a really small fraction. And most importantly, Russians can't threaten to cut it, because it simply means removing some of the supply from a large, uniform pool - if they do it they won't harm anyone in particular, just make LNG everywhere uniformly more expensive - and deprive themselves of money. With pipelines, they could actually imperil supply in a particular place.

Also, Russian LNG will be let go of rather soon, this is in the upcoming sanctions package.
by frumplestlatz | 2025-10-14 06:37:26+00:00
A lot of deployments essentially virtualize Linux or run portions of NetBSD (e.g. via their "rump" kernel mechanism) to achieve driver support, file systems, etc. That's not really a general-purpose solution, though.

There is work within major consumer product companies building such things (either with sel4, or things based on sel4's ideas), and there's Genode on seL4.
by InsideOutSanta | 2025-10-14 06:38:09+00:00
> A large number of California wildfires have been set by arsonists and arson is a key tactic used by ecoterrorist groups like ELF

This is misleading. Ecoterrorist groups do use arson, but they target cars and buildings, like car dealerships or chain stores, not forests.

If you're engaged in a fight against logging, burning down forests is likely not the first thing on your mind.

Immediately jumping to conclusions and then using that conclusion as a political weapon is part of the insanity. Everything that happens has to be qualified as either beneficial to your political position or detrimental to it, dictating how you respond to it. Everything has to be framed as the fault of your "evil" opponents or as a lie and fake news.

This is extremely detrimental to societal cohesion and to democratic political processes, and I wish people would stop before it's too late.
by riffraff | 2025-10-14 06:38:56+00:00
It's a matter of habit and personal traits.

I grew up doing homework with the TV on and still sometimes work with a tiny video overlay showing some anime or tv show.

You basically pay attention to a small part of it, and switch focus as needed (pause your task or pause the video). You'll still miss a lot of the video but you just don't care.

I know this is unthinkable to some people but I've met more than one person who does it, so it's not ultra-rare. Possibly related to ADD/ADHD? I don't know.
by wolletd | 2025-10-14 06:39:58+00:00
It's JSON with some simple idea of RPC added to it. With the main idea apparently being that it is human-readable.

We've been using Varlink for one project, but I've never found myself in a situation where I had any benefit from the data being JSON. You rarely read the raw data. But compared to gRPC or CapnProto, you lost compile-time type checking and now you need 10mins of testing a vending machine before you get a "key not found"-error because you missed one spot on renaming.

Also, I've written varlink-cpp building on asio and nl-json at some point: https://github.com/wolletd/varlink-cpp. But as our varlink usage declined, it never found much usage and isn't maintained.
by lloeki | 2025-10-14 06:40:10+00:00
> actual PS5 games will only work with PS5 pads

So IIUC the PS4 gamepad can be used but only for PS4 games? That is ridiculous.

Meanwhile I'm rocking an original release day Xbox One controller on a Series X.

That said while I can understand them dropping X360 witeless due to protocol changes I'm still bitter that the X360 wired accessories were simply denied on the Xone, notably the whole Rock Band stuff as well as steering wheels.
by parineum | 2025-10-14 06:40:35+00:00
That's one project. It's a big project but I bet that the private installations that will happen in the period it would have taken to build that will be significantly more megawatts.

I'm not saying that Trump isn't cancelling things, I'm saying that the projects he can cancel aren't a significant portion of the market. Renewables don't really need government help anymore. Storage does though.
by rajatgupta314 | 2025-10-14 06:41:05+00:00
Is this the full weight model or quantized version? The GGUFs distributed on Hugging Face labeled as MXFP4 quantization have layers that are quantized to int8 (q8_0) instead of bf16 as suggested by OpenAI.

Example looking at blk.0.attn_k.weight, it's q8_0 amongst other layers:

https://huggingface.co/ggml-org/gpt-oss-20b-GGUF/tree/main?s...

Example looking at the same weight on Ollama is BF16:

https://ollama.com/library/gpt-oss:20b/blobs/e7b273f96360
by JumpCrisscross | 2025-10-14 06:41:14+00:00
> Wasn't OANN started by AT&T as a way to push propaganda favoring the corporation-friendly tax package in Trump's first term?

"AT&T has been a crucial source of funds flowing into OAN, providing tens of millions of dollars in revenue," while "ninety percent of OAN’s revenue came from a contract with AT&T-owned television platforms, including satellite broadcaster DirecTV, according to 2020 sworn testimony by an OAN accountant" [1].

That said, there is no evidence this was done "to push propaganda favoring the corporation-friendly tax package in Trump's first term.” Simpler: they chased Fox, Newsmax et al's dollars.

[1] https://www.reuters.com/investigates/special-report/usa-onea...
by realusername | 2025-10-14 06:41:52+00:00
They are doing it like everybody else, they have their own system apps (because they got kind of unmaintainted by Google in AOSP since Android 12), they add drivers from the pixel device tree and then they add their security patches.

If you would put AOSP on a Pixel, it wouldn't even boot and if you managed to get it to boot, the apps would be unusable.
by auran | 2025-10-14 06:42:42+00:00
I have never written code before but I have been learning vibe coding for the past few months.

I was wondering if anyone would be interested in a platform where we share our repos and projects that was vibe-coded. Somewhere we can reflect on our experiences and share what we have learnt. No payments, or profit seeking behavior.

In my experience, the hardest part of vibe coding is getting through the initial hurdles every time I use a new tool. Whats worse is that it seem to be so obvious what I should of done in retrospect, like understanding the implications of using an sql database vs aws redmi.

I think this is where a platform could come in to aid us vibe-coders in sharing projects for free and learning from others mistakes, like the early silicon valley days. It might be a dumb one, but my thesis is that through sharing our experiments and experiences we can drastically reduce the learning curve for new programmers. I think be extremely beneficial for people with no prior experience, especially as we move to more agentified development.

But please let me know your thoughts and if anyone would be interested in working on this with me.
by x______________ | 2025-10-14 06:43:41+00:00
This is an ai-generated slop article without sources.

Originally reported in Feb 2023 from the source [1].

And a link to the original paper titled: "White Phase Intersection Control Through Distributed Coordination: A Mobile Controller Paradigm in a Mixed Traffic Stream", also from Feb 2023 (may be paywalled) [2].

And previously discussed in Feb 2023 (1 comment) [3].

1: https://news.ncsu.edu/2023/02/traffic-light-for-autonomous-c...

2: https://ieeexplore.ieee.org/document/10038635

3: https://news.ycombinator.com/item?id=34730399
by JumpCrisscross | 2025-10-14 06:44:27+00:00
> was aided by his "toughness", such as, you know, striking Iran

Striking Iran didn't end hostilities in Gaza, Trump leaning on Egypt, Turkey and Qatar did [1]. (The Iran strikes might have worked because Hegseth was sidelined [2].)

Hegseth is a wuss who couldn't cut it in the military. He's in place because he's loyal, probably compromised, and plays masculinity well on TV.

[1] https://www.wsj.com/world/middle-east/a-coordinated-squeeze-...

[2] https://newrepublic.com/post/197005/trump-iran-plans-hegseth...