MurphyA/hacker-news huggingface dataset:
by poly2it | 2025-10-12 22:23:53+00:00
The author of this language seems to have responded with AI-generated arguments in response to all questions linked in the FAQ section. This does not inspire much confidence for the design of the language.

Really, I do not see the point of this. These configuration languages are just different syntaxes for expressing the same fundamental data, bearing the same semantics. It would be much more interesting to see a language which experiments with what is fundamentally representable, for example like how the Nix language supports functional programming and has functions as a first-class data type.
by fjulian | 2025-10-12 22:23:59+00:00
I'm working on Veila, a privacy‑first AI chat service. I wanted something that prevents model providers from profiling users and linking information from chats to their identity.

I'm a robotics engineer by training, this is my first public launch of a web app.

Try it: https://app.veila.ai (free tier, no email required)

- What it is: - Anonymous AI chat via a privacy proxy (provider sees our server, not your IP or account info) - End‑to‑end encrypted history, keys derived from password and never leave your device - Pay‑as‑you‑go; switch models mid‑chat (OpenAI now; Claude, Gemini and others planned) - Practical UX: sort chats into folders, Markdown, copyable code blocks, mobile‑friendly - Notes/limits: - Not self‑hosted: prompts go to third‑party APIs - If you include identifying info, upstream sees it - Prompts take a bit long sometimes, because reasoning is set to "medium" for now. Plan to make this adjustable in the future. - Looking for feedback: - What do you need to trust this? Open source? Independent audit? - Gaps in the threat model I'm missing - Which UI features and AI models you'd want next - Any UX rough edges (esp. mobile) - Learn more: - Compare Veila to ChatGPT, Claude, Gemini, etc. (best viewed on desktop): https://veila.ai/docs/compare.html - Discord: https://discord.gg/RcrbZ25ytb - More background: https://veila.ai/about.html

Homepage: https://veila.ai

Happy to answer any questions.
by appellations | 2025-10-12 22:24:52+00:00
Add(x,y): Assert( x >= 0 && y>= 0 ) z = x + y Assert( z >= x && z >= y ) return z

There’s definitely smarter ways to do this, but in practice there is always some way to encode the properties you care about in ways that your assertions will be violated. If you can’t observe a violation, it’s not a violation https://en.wikipedia.org/wiki/Identity_of_indiscernibles
by api | 2025-10-12 22:25:19+00:00
The infrastructure it powers is mostly cloud hosted SaaS which is far and away the most closed model of software. Cloud SaaS is far more closed than closed source software on a personal device. Often it’s not even possible to export your own data.

Very few people use much open source software directly. With a few notable exceptions it’s only used by developers and IT pros.

I suppose the Darwin kernel in Apple OSes and Linux in Android kind of count but people really don’t interact with those directly in a tangible way. They are way deep down under the hood from a user POV.
by Alex-C137 | 2025-10-12 22:25:20+00:00
None of this refutes that fact that it was created and pushed by Meta nor explains why it remains popular when there are "better" alternatives by nearly any objective measurement. HTML template frameworks have gotten significantly better since your thesis over ten years ago, Vue.js being the primary one that quickly followed React less than a year after it came out. I also used backbone and knockout.js professionally and, while I agree I definitely prefer React over those, it doesn't explain why React remains popular.

I like to argue about it because I like knowing why people think the way they do about React. I'm a long-time React hater and still look for ways to change my mind, so there's a point for me I guess?
by dwheeler | 2025-10-12 22:25:37+00:00
Yes, you need training if you want something good instead of slop. For example, when asked to write functions that can be secure or insecure, 45% of the time they'll do it the insecure way, and this has been stable for years. We in the OpenSSF are going to release a free course "Secure AI/ML-Driven Software Development (LFEL1012)". Expected release date is October 16. It will be here: https://training.linuxfoundation.org/express-learning/secure...

Fill in this form to receive an email notification when the course is available: https://docs.google.com/forms/d/e/1FAIpQLSfWW8M6PwOM62VHgc-Y...
by mtmail | 2025-10-12 22:25:43+00:00
Reminds me of the hydrogen-powered bike from 2015, which totally made sense if your company is also a leader in hydrogen products. https://www.bikeradar.com/news/this-e-bike-is-powered-by-hyd...

"A regular e-bike battery can take several hours to charge completely, but the H2’s hydrogen cylinder requires just six minutes at a hydrogen filling station." Of course the company wanted to run the filling stations.
by JeremyJaydan | 2025-10-12 22:26:23+00:00
I'm working on adding favicons support to listings on my website directory I recently launched: https://intrasti.com

I just released the changelog 5 minutes ago https://intrasti.com/changelog which I went with a directory based approach using the international date format YYYY-MM-DD so in the source code it's ./changelog/docs/YYYY/MM/DD.md - seems to do the trick and ready for pagination which I haven't implemented yet.
by sedatk | 2025-10-12 22:26:37+00:00
I love this. It reminds me of PowerShell configuration files: https://ssg.dev/powershell-accidentally-created-a-nice-confi...

This is basically JSON for humans. YAML is harder to use due to significant indentation (easy to mess up in editors, and hard to identify the context), and TOML isn't great for hierarchical data.

It addresses all my complaints about JSON:

> Comments

> Multiline strings

> Optional commas

> Optional key quotes

I wish it was a superset of JSON (so, a valid JSON would also be valid MAML), but it doesn't seem to be the case.

EDIT: As I understand, HCL is very similar in terms of goals, and has been around for a while. It looks great too. https://github.com/hashicorp/hcl/
by ianmabie | 2025-10-12 22:27:07+00:00
Working on https://practicecallai.com/ - simple saas that lets users run practice calls / role play against a custom AI partner. Goal is to make it the easiest to use & fastest to get started with in the market.

It’s been a fun, practical way to continuously evaluate the latest models two ways - via coding assistance & swapping between models to power the conversational AI voice partner. I’ve been trying to add one big new feature each time the model generation updates.

The next thing I want to add is a self improving feedback loop where it uses user ratings of the calls & evaluations to refine the prompts that generate them.

Plus it has a few real customers which is sweet!
by ayhanfuat | 2025-10-12 22:27:31+00:00
This was shortly after the Turkish War of Independence. Illiteracy was quite high (estimated at over 85%) and the country was still being rebuilt. My guess is they did their best to represent all the sounds while creating a one to one mapping between sounds and letters but also not deviating too much from familiar forms. There were probably conflicting goals so inconsistencies were bound to happen.
by igor47 | 2025-10-12 22:28:05+00:00
I'm working on a DnD character sheet app! I spent last week implementing the core DnD SRD ruleset, but what I'm really excited about is ML integration. I want to add a self-hosted fine-tuned ML model that acts as a character and DM assistant. Obviously an LLM via API can do the job, but I'm really curious if it's possible to build smaller, cheaper, task-specific models. Plus, I've never integrated an ML model into a product before, and I'm curious to play with it. I'm thinking of it like clippy for DnD: "it looks like you're trying to cast fireball?"

Besides the LLM experimentation, this project has allowed me to dive into interesting new tech stacks. I'm working in Hono on Bun, writing server-side components in JSX and then updating the UI via htmx. I'm really happy with how it's coming together so far!
by stryan | 2025-10-12 22:28:18+00:00
I've been working on a tool called Materia[0] for managing Podman Quadlets on hosts; I released a new version last month (and posted it on the September thread) and just merged automatic volume data migration the other day. Next goal is to design a system for downloading and loading remote components, similar to ansible roles. Hopefully I can tie it into the new podman quadlet install/etc commands.

[0] https://github.com/stryan/materia and/or https://primamateria.systems/
by like_any_other | 2025-10-12 22:28:23+00:00
> why wouldn’t you think you could poke and prod a giant alien worm?

Because 90% of the average moviegoing audience got it right. You can invent tortured reasoning for why a biology officer on a spaceship with a bunch of fancy tech would be dumber than the bottom 10% of humans, but the real explanation is just lazy/incompetent writers.
by mrbungie | 2025-10-12 22:29:06+00:00
> but we could still be in for 50 years of suffering.

I mean if you are talking about USA itself falling into dystopic metastability in such a situation, maybe, but even so I think it misses some nuance. I don't see every other country following USA into oblivion, and also I don't see the USA bending the knee to techno-kings and in the process giving up real influence for some bet on total influence.

The only mechanism I see for reaching complete stability (or at least metastability) in that situation is idiocracy / idiotic authoritarianism, i.e. Trump/his minions actually grabbing power for decades and/or complete corruption of USA institutions.
by 0dyl | 2025-10-12 22:29:07+00:00
>Ada has a neglected dialect and a proprietary dialect

What on earth are you on about? That’s not the case.

Ada 2022 has been released and Ada 202x is getting improvements. Those features are trickling into FSF GNAT (GCC).

Are you talking about the SPARK dialect, where GNATprove is open source?
by hn_throwaway_99 | 2025-10-12 22:29:20+00:00
I think that's total BS, based on this article about her, https://fortune.com/2025/10/03/mira-murati-career-ai-thinkin...

1. She has 2 BAs, one in math and one in mechanical engineering.

2. She was an "Advanced Concepts Engineer at Zodiac Aerospace from 2012 to 2013".

3. She was a product manager at Tesla on the Model X

4. She was VP of product and engineering at Leap Motion.

Going from that fact that she wasn't a deep learning researcher to "her history was entirely non technical up until Open AI" is plain false. And plus, the job of CTO is 90%+ people management, and she appears more than smart enough and experienced enough to evaluate technical decisions of her team.
by pizzly | 2025-10-12 22:29:38+00:00
If there is a downturn in AI use due to a bubble then the countries that have built up their energy infrastructure using renewal energy and nuclear (both have decade long returns after the initial investment) will have cheaper electricity which will lead to a future competitive advantage. Gas powered power plants on the other hand require constant gas to convert to electricity. The price of gas would become the price of electricity regardless and thus very little advantage.
by trenchpilgrim | 2025-10-12 22:30:12+00:00
> Which GPUs have been running for decades that you're referring to? The A100s that are 4 years old? MTBFs for GPUs are about 5-10 years, and that's not about fans.

I said solid state components last decades. 10nm transistors have a thing for over 10 years now and other than manufacturer defect don't show any signs of wearing out from age.

> MTBFs for GPUs are about 5-10 years, and that's not about fans.

That sounds about the right time for a repaste.

> AWS and the other clouds have a 5-8 year depreciation calendar for computers.

Because the manufacturer warranties run out after that + it becomes cost efficient to upgrade to lower power technology. Not because the chips are physically broken.
by jrflowers | 2025-10-12 22:30:23+00:00
I’m partial to David Simon’s stance on AI and writing

SIMON: I don't think AI can remotely challenge what writers do at a fundamentally creative level.

SHAPIRO: But if you're trying to transition from scene five to scene six, and you're stuck with that transition, you could imagine plugging that portion of the script into an AI and say, give me 10 ideas for how to transition this.

SIMON: I'd rather put a gun in my mouth.

https://www.npr.org/2023/05/19/1177194215/tv-writer-david-si...
by vax425 | 2025-10-12 22:30:52+00:00
Thanks! I'm really glad you like the LunaKron. I make a couple other versions that have less wood aesthetic and more futuristic black acrylic with a photorealistic, silvery moon.

I connect a tiny GPS module to the Arduino via 3 wires: power, ground, and serial input, and use Mikal Hart's "TinyGPSPlus" module to parse the NMEA data streams.
by mcv | 2025-10-12 22:31:45+00:00
> And is the argument there that the Dutch no longer practice capitalism?

Who is saying that? Nobody.

> They are one of the major names in the history of the limited-liability stock corporation, we've already had the VOC invoked in this thread.

That's quite some time ago, though. That's not what we do today. What's your point with this?

> Having a welfare state isn't capitalism but having one isn't the complete antithesis of capitalism.

Exactly. It's about finding the right balance between the best parts of different ideas, while avoiding the worst parts.

> It is easy to see how a society could simultaneously support the VOC and a welfare state.

But it didn't. There was extreme poverty in the Dutch Republic during the days of the VOC. It was neither social, nor a democracy.

> At best that just establishes that capitalism isn't fundamentally steeped in blood since the Dutch have theoretically learned to behave responsibly over the centuries.

How does that undo the blood? It's that responsibility that's putting the brakes on the excesses of capitalism.

> I suppose the real question here is what exactly do you think "social democracy" is if not just standard democracy + welfare?

I'm really wondering what you think social democracy is, with a rant like that. It's certainly more than democracy + welfare, although those are definitely big parts of it. It's regulation, it's capitalism within responsible limits, it's cooperation and negotiation between unions and corporations. And it's government investment where it's necessary. That last part is something governments like to do less and less since neoliberalism, and they're also rolling back too much of the regulation.

It's undeniable that they've been weakening the social democratic system, but the core of it is still there. It's proven itself effective enough that all the toxic shit the right has been spewing about the left, even the right-wing parties don't truly dare to dismantle it.
by leetrout | 2025-10-12 22:31:46+00:00
> Camaraderie, speed: Have fun, do retreats, avoid burnout

Or, alternatively, respect personal boundaries and don't force coworkers to have social outings.

I really wish "work is just work" was more popular. There is an empathetic way to do this that isn't just treating people as a number but also not forcing socializing outside of the context of work.

Yes to avoiding burnout. No to thinking a retreat is the answer to that.
by swed420 | 2025-10-12 22:32:13+00:00
> It reduces the R0 factor

The results of the study suggest it doesn't, as measured by outcomes:

> While we did not find an association between HEPA purifier use and high overall viral exposure, the intervention was associated with a 32.8% reduction in viral diversity. However, the clinical significance of these changes is not clear given that we did not find an association between viral diversity and school absenteeism.

Point being, it only takes a very small dose of a aerosol borne virus to keep it in circulation. Breaking this chain requires extreme measures. Not impossible to achieve, but not trivial, either. Considering the widespread damage that long COVID is causing, I sincerely hope we find a way.
by zzo38computer | 2025-10-12 22:32:48+00:00
They fix some of the problems with syntax of JSON but do not fix most of the problems with the data model; the only thing they do fix is that now there is a integer type. It still has the other problems, e.g. it still uses Unicode and still requires keys to be strings. For a configuration language, it can also be useful to have a application-specific data.
by zahlman | 2025-10-12 22:33:05+00:00
> Don't remember them saying anything about PEPs, although that might just be me not having listened to the entire thing. However, the Charlie Marsh was extremely insistent on the advantages of being a polyglot and hiring people with diverse programming experiences. So I think it's quite safe to assume that played a bigger role than just PEPs.

Not that they took inspiration from PEPs, but they sought to implement those standards (for interoperability) and have been active in the discussion of new packaging-related PEPs.
by doctoboggan | 2025-10-12 22:33:21+00:00
The very first sentence:

> Welcome to EdgeAI for Beginners – your comprehensive...

Em dash and the word "comprehensive", nearly 100% proof the document was written by AI.

I use AI daily for my job, so I am not against its use, but recently if I detect some prose is written by AI it's hard for me to finish it. The written word is supposed to be a window into someone's thoughts, and it feels almost like a broken social contract to substitute an AI's "thoughts" here instead.

AI generated prose should be labeled as such, it's the decent thing to do.
by scotty79 | 2025-10-12 22:34:16+00:00
As a person who lost my life partner six years ago to a brain tumor I completely understand what he did. After seeing things first hand I too don't intend to wait for old age and illness to devastate me. I'm barely over half of his age with no serious health issues that I know of so it's not the time for me yet. But I can fully understand his reasoning.
by hiq | 2025-10-12 22:34:47+00:00
Your comment made me realize that there's also the benefit of not having to handle the hardware depreciation, it's pushed to the customer. And now Apple has renewed arguments to sell better machines more often ("you had ChatGPT 3-like performance locally last year, now you can get ChatGPT 4-like performance if you buy the new model").

I know folks who still use some old Apple laptops, maybe 5+ years old, since they don't see the point in changing (and indeed if you don't work in IT and don't play video games or other power-demanding jobs, I'm not sure it's worth it). Having new models with some performant local LLM built-in might change this for the average user.
by pavel_lishin | 2025-10-12 22:35:23+00:00
Eh, you can migrate bad data to a better model, too - and you can write code in such a way that you paint yourself into a corner that makes rewrites, especially incremental rewrites, very difficult.

I just mostly think that all these issues are just people being bad at writing software, and that if you're bad enough at it, you can crater your business. If it's only a little bad, the business can limp along until you can rewrite it.
by LeifCarrotson | 2025-10-12 22:35:28+00:00
It can be trained, at least in some cases.

When attention/reward/engagement cease when the ball is not returned and dropped - literally turn around and walk away dejectedly - but a successful return results in praise, treats, and MORE FETCH, my dog quickly learned to bring it back.

For my sister's dog, the key is to have a second ball alluringly held ready to throw - the one that's already in the mouth is forgotten about except as a means to get the second ball thrown. The dog has to bring it "all the way!" (point at the ball that was dropped halfway back) before the second ball is thrown.

It's definitely a tough one to solve, though, especially when the act of running around with the ball in the mouth is the rewarding behavior...
by strcat | 2025-10-12 22:35:40+00:00
> LineageOS can have that, at the owner's preference. Graphene explicitly forbids it.

That's not true.

You can use apps like RethinkDNS providing local monitoring and filtering of connections while still supporting using a VPN on either LineageOS or GrapheneOS. GrapheneOS fixes 5 different kinds of outbound VPN leaks which are still present on LineageOS, which is quite relevant to this. There are no known outbound VPN leaks remaining for GrapheneOS as long as Private DNS is set to Off.

The reason GrapheneOS doesn't include the finer grained network toggles LineageOS does is because they're leaky and do not work correctly. Our Network toggle doesn't have those kinds of leaks. We do plan to split up the Network toggle a bit but doing that correctly is much harder and comes with some limitations since it still has to block generic INTERNET permission access if anything is disabled and only permit cases which are specially handled.

GrapheneOS has Storage Scopes, Contact Scopes, a Network toggle and a Sensors toggle not available on LineageOS along with other app sandbox and permission model improvements. Users have much more control of their apps and data on GrapheneOS.

LineageOS provides privileged access for Google apps while we take a different approach.

> It would be "more secure" to allow backing up apps and all their data. This would mitigate the damage of ransomware. Graphene, again, forbids it (following google guidelines prioritizing the wishes of an app's developer over the device owner).

That's also not true. LineageOS has the same limitations and backup system.

Both GrapheneOS and LineageOS use Seedvault with the same kind of integration. Since the Android 12 API level, apps can only opt-out of cloud backups and existing exclusion files only apply to cloud backups. There's a new exclusion system which can be used to explicitly omit files from device-to-device backups such as Google's device transfer system, but that's rarely used and it exists for good reason due to device-specific data that's not portable.

> There are many such examples. Lineage is philosophically owned by the person who installed it onto the phone. Graphene is owned by the Graphene devs, NOT the phone owner. Sometimes the Graphene devs purposefully choose to let software on the device restrict the valid owner of that device.

You haven't raised any examples of GrapheneOS restricting what can be done in a way that's not done by LineageOS. All you did is bring up a feature approached differently by both operating systems where the most flexible solutions such as RethinkDNS are available for both. If people want to modify either GrapheneOS or LineageOS, they can do it for each. We provide very good build documentation for production releases with proper signing. We strongly recommend against using Magisk but people do modify GrapheneOS with that projects and use it. Our recommendations are not restrictions on what people can do.
by iepathos | 2025-10-12 22:35:54+00:00
I'm working on Debtmap - An open source Rust-based code complexity analyzer that tells you exactly which code to refactor and which code to test for maximum impact. Combines complexity metrics with test coverage data to identify the riskiest code in your codebase. Uses entropy analysis to reduce false positives by distinguishing genuinely complex code from repetitive patterns.

https://github.com/iepathos/debtmap
by A4ET8a8uTh0_v2 | 2025-10-12 22:36:00+00:00
Hmm, a personal assistant of sorts that does evaluation of you to get to the bottom of who you really are. For very obvious reasons, it is a local only project and not exactly intended for consumption.

Beyond that, just regular random stuff that comes up here and there, but, for once, my hdd with sidelined projects is slowly being worked through.