MurphyA/hacker-news huggingface dataset:
by panopoly | 2025-12-14 20:26:31+00:00
This is a baffling post.

From the original twit:

> I had a dream where P=NP.

Did this poster, in their dream, solve P=NP or they just heard it had already been solved?

Then after waking up from this dream they asked some slop slinger if P=NP?!?

From the follow up article:

> I guess by now you have a better understanding of why I thought I was crazy when I woke up thinking P=NP.

What do the details matter? Last week I had a dream that my childhood rat was the president of space. That's what dreams do.

> fun story: I still remember those “random oracles” that we used to proof cryptographic primitives in college

So someone who previously used 'random oracles' to prove 'cryptographic primitives' had to ask a slop slinger if P=NP?!?
by johncolanduoni | 2025-12-14 20:27:05+00:00
This is not strictly true - most OS keychain stores have methods of authenticating the requesting application before remitting keys (signatures, non-user-writable paths, etc.), even if its running as the correct user. That said, it requires careful design on the part of the application (and its install process) to not allow a non-elevated application to overwrite some part of the trusted application and get the keys anyway. macOS has the best system here in principle with its bundle signing, but most developer tools are not in bundles so its of limited utility in this circumstance.
by dybber | 2025-12-14 20:27:05+00:00
In our local highschool (near Copenhagen, Denmark) they have scheduled reading time for all pupils while in school - weekly as part of their normal schoolday. That is, instead of normal class everyone needs to bring a book of their own choosing and read in it. No phones allowed during this time, so they can either read or stare out the window. The local library helps them find books of their own interest.

The idea is to get them find genres and books they like and find joy reading it, while not taking time out of their free time.
by bredren | 2025-12-14 20:27:53+00:00
Building Contextify - a MacOS application that consumes Claude Code and Codex transcripts, stores them in a local sql db.

The main window uses Apple’s local LLM to summarize your conversation in realtime, with some swoopty UI like QUEUED state on Claude Code.

I’ve just added macOS Sequoia support and a really cool CLI with Claude Code skill allowing seamless integration of information from your conversational history into aI’s responses to questions about your development history.

The CLI interface contract was designed to mutual agreement between Claude code and codex with the goal of satisfying their preferences for RAG.

This new query feature and pre-Tahoe support should be out this week, but you can download the app now on the App Store or as a DMG.

I’m very excited about this App and I would love to get any feedback from people here on HN!

https://contextify.sh

My Show HN: from this past week has a short demo video and a bit more info:

https://news.ycombinator.com/item?id=46209081
by evolve2k | 2025-12-14 20:28:07+00:00
My personal theory on why rails never beat out Wordpress (beyond that it has different goals), is that any attempts to make a Wordpress competitor never addressed end-user plugins.

Ruby has package management called Gems. And while these are easy and powerful for a programmer to call on; they aren’t loaded using a visual interface and be able to be dynamically loaded by the end user as is the experience with Wordpress.

To make a real Wordpress competitor; a system of user-self-installable plugins needs to also be created. Now that’s harder than just making a CMS but it’s fuctionality that makes many so called Wordpress competitors non-starters.
by otekengineering | 2025-12-14 20:28:11+00:00
It uses your existing subscriptions and supports all the major CLI and API providers. There's no cloud features of Omnispect itself, it runs locally except for calls to the LLM providers.

Claude Opus 4.5 is used as a routing agent, which selects the most appropriate LLM provider and model tier to delegate a task to. For example, the routing agent might delegate a single large task to GPT-5, which in turn delegates multiple small tasks to Haiku agents in parallel, then Gemini reviews all the work.

Omnispect lets you view the delegation tree of prompts and responses that spawn from your initial prompt.
by laptop-man | 2025-12-14 20:28:14+00:00
just finished a organization project for my wife.

its a web app where you make boxes, add images or text of what's in the box. then get a qr code that you can tape to the box and scan to see the text or images in the web app.

hoping to make it a lot easier to look for things in the storage unit. instead of removing all the totes and looking in them. Just scan and see if the description fits what I'm looking for
by holocen | 2025-12-14 20:29:01+00:00
Started working on a training plan builder after getting frustrated with trying to use an existing service (trainingpeaks) and not finding the controls intuitive enough without being a coach in their system.

https://bloks.run/

I wanted something local and offline first + 10-20% better than excel, think I'm missing a few features other might find useful, but it works for my needs which has been great.
Show HN: A meditation timer without guidance, music, or growth mechanics
by tannerc | 2025-12-14 20:30:24+00:00
I've worked in tech my entire career, and over time mindfulness meditation has become less of a "wellness habit" and more of a practical tool for keeping my mind clear.

I encourage mindfulness meditation to everyone because it's that impactful on stress and awareness in everyday life.

After years of practice, I've that most meditation apps eventually became distracting or costly.

To me, mindfulness apps that provide guidance, content, forced streaks, and incentives seem to replace the practice of mindfulness itself with some gamification of the act.

So I built Center, a silent meditation timer with a few constraints:

• No guided sessions, voices, or music • No subscriptions, ads, or paywall • Optional tracking, no gamification • Works across iPhone, Apple Watch, iPad, and Mac via iCloud • Donation-supported, with no features locked

The goal has never been growth or engagement, but reliability. I wanted something closer to a clock than a coach.

This is a side project, but it’s been interesting to see how a deliberately "boring" tool changes how I personally practice mindfulness, and how that carries over into my work (especially decision-making and stress tolerance).

Site: https://centertimer.com
by allenu | 2025-12-14 20:30:36+00:00
I wrote my own flashcard app and had a very basic import from Anki feature and I have to admit that I underestimated how Anki handles it. My first attempt at import was very naive and sort "flattened" the imported data into simple front/back content. It lost a lot of fidelity from the original Anki data.

After investigating the way Anki represents its flashcards a bit more, I can really appreciate the way Anki uses notes, models, and templates to essentially create "virtual cards" (my term).

I suspect other people creating their own flashcard apps underestimate the data model Anki uses and have a hard time matching their own data model with Anki's, which may be why decent import options are hard to find. If someone wants to support Anki deck import, they have to essentially use the same data model to represent notes and models (plus cloze deletions). I'm now adopting Anki's model for my flashcard app for better import fidelity.

Regarding the SQLite data format, I was thinking it would be great if there were a text-based format instead for defining the deck and its contents as that would make it much easier to collaborate on shared decks on GitHub, like you suggest. It would be great to have a community work on essential flashcard decks together in an open format that encourages branching and collaboration. I know some groups do this with Anki decks, but I can't imagine the SQLite file format makes it easy to collaborate.

I don't think it would be that hard to come up with a universal text file-based format for a flashcard deck that supports notes, models, templates, and assets. For instance, we could have each note placed in its own text file and have the filename encode the a unique ID of that particular note. Having unique identities for everything would make it easier to re-import updated decks to apply new updates if you had previously imported the deck. The note files could also be organized into sub-folders to make it easier to organize groups of info that should be learned together.
by mafwi | 2025-12-14 20:31:11+00:00
Home, on going work to get local Kubernetes dev env running as close to a production one as possible - ingress, external-dns, ACME CA, load balancer, Argo, registry, prom-operator etc., running entirely locally. Work, similar but in Docker Desktop on Windows and Mac.

Longer term personal aim is a self-hosting platform based on k8s with straight forward bootstrap, similar to Yunohost but k8s based.
by rglullis | 2025-12-14 20:31:22+00:00
I'm again toying around with the idea of building an ActivityPub Server built around the principles of RDF, JSON-LD and the Linked Data Platform. [0]

It can work already as a "Generic" ActivityPub server and it can be made to work with Client-to-Server API, but given that there are not mature clients for that, I am now in the middle of an exercise where I am taking the existing server and implementing Lemmy's and Mastodon's APIs based on top of it. Once I can get any Lemmy and a Mastodon client working, I will then start changing their own SDKs, and then I can replace calls from their application-specific APIs with direct calls to Linked Data server.

[0] https://activitypub.mushroomlabs.com
by sheepscreek | 2025-12-14 20:32:06+00:00
What I’ve realized over time is the idea is beautiful and the problem it solves is partly of API/schema discovery.

Yet I am conflicted on whether it’s a real value add for most use-cases though. Maybe if there are many micro-services and you need a nice way to tie it all together. Or the underlying DB (source or truth data stores) can natively support responses in GraphQL. Then you could wrap it in a thin API transformation BFF (backend for frontend) per client and call it a day.

But in most cases, you’re just shifting the complexity + introducing more moving parts. With some discipline and standardization (if all services follow the same authentication mechanics), it is possible to get the same benefits with OpenAPI + an API catalog. Plus you avoid the layers of GraphQL transformations in clients and the server.

100% based on my anecdotal experience supporting new projects and migrations to GraphQL in < $10B market cap companies (including a couple of startups).
by foldr | 2025-12-14 20:32:26+00:00
It’s really sad to see your posts on this thread. Fil-C is an incredible achievement and absolutely full of interesting technical details to dig into. I’m not a mod, but as a reader of the site and someone who takes a curious interest in the progress of Fil-C, can you please stop attacking its creator like this. It’s tedious, needlessly rude, and lessens the opportunity for the rest of us to actually learn something from an expert.
by iib | 2025-12-14 20:33:04+00:00
This seems really nice, and looks like something I have been wanting to exist for some time. I will definitely play with it when I have some time.

I know this is a personal project and you maybe didn't want to make it public, but I think the README.md would be better suited with a section about the actual product. I clicked on it wanting to learn more, but with no time to test it for now.
by raw_anon_1111 | 2025-12-14 20:33:09+00:00
So exactly how am I as a Black man suppose to find “overlap” with people who deify Charlie Kirk and claim the only reason I got ahead was “DEI”

https://www.theguardian.com/us-news/2025/sep/11/charlie-kirk...

Even though I’ve been coding as a hobby or professionally for 40 years - and have done my bid in BigTech?

How is a gay/trans person suppose to find common ground with someone who literally thinks the country is going to be consumed in fire just because it’s legal for them to get married?

How is Latin American going to find common ground with someone who thinks they are taking their jobs, at the same time are not working getting welfare and lowering test scores and keeping them from affording housing? Oh yeah abs it’s only because of H1B visas that rural American can’t get one of them good tech jobs.

The only reason they are opposed to “socialist” programs is because there is an off chance that someone who doesn’t look like them might benefit.

Oh and by the way, I had a house built in Forsyth county and lived there for 6 years and moved to Florida and downsized when I knew I would be working remotely and after my youngest graduated. Yeah this Forsyth County.

https://youtu.be/WErjPmFulQ0?si=MVrJUwjZ2DfonHjw

Those folks haven’t gone anywhere. They have been overrun by more of the Romney/Bush type conservatives moving in.

You still see in Facebook groups where they are opposed to a Hindu temple nearby. But not opposed to a large church.

Myself, my wife, my (step)son and his (white) fiance still get disapproving looks there (where my son still lives) that we don’t get when they visited us in Orlando.

It’s not about a difference of “needs”. Yet I as a decently well off tech person continuously vote for policies that would help them and not me.

They are fundamentally opposed to a governmental system that works for everyone.
by christophilus | 2025-12-14 20:33:52+00:00
I know a lot about Typescript and its ecosystem. I’ve taught it to students, and worked on it at companies whose names you’d recognize. Claude Code is better than I am at some things that I know deeply, in some cases. It does stupid things on occasion (like use global mutable state), but it is still more useful than not. So, I guess it depends on how you define “better”, but I’ve learned things I didn’t know, and it allows me to do projects and experiments that I’d otherwise be too lazy to do.
by CharlesW | 2025-12-14 20:34:00+00:00
• I've never been satisfied with music players on iOS, so I'm making the definitive one. It works with every personal media server, in additional to local files and Apple Music libraries. It'll do some stuff that no music player has ever done.

• I open-sourced and released some iOS dev tooling I built for Claude Code that multiplied my personal coding productivity: https://news.ycombinator.com/item?id=46264591 Nobody cares yet, but it makes me feel good to share something cool.
by kragen | 2025-12-14 20:34:10+00:00
Is Microsoft Windows more like a Ford Pinto with an exploding gas tank, a Lada, or what? I can't think of any car that's ever been sold whose design was optimized to spy on its users and trick them into buying to things and agreeing to contracts they didn't want.

The Takata airbags that inflated at random, killing 26 people, seem similarly harmful (if to a far smaller number of people), but that's an unintentional defect. Unlike the recent Windows 11 screw-tightening, Takata responded by recalling the product, not making it explode more frequently.
by verdverm | 2025-12-14 20:34:17+00:00
It is my hope that ATProto, with the PDS / portable data / app & algo choice, means that this "Cognitive Moat" discussed in the post, is less of a moat. There are some people working towards building an API that would facilitate (and lower the barrier) to having good recommendations for a new user based on what they bring from the last app (really the user's data, so bringing is not exactly right)

It's still a big lift to make good recommenders and we should lower that barrier by (1) taking back our data from their silos and (2) building the tooling to make things easier for app builders

Then there is the way ATProto breaks down the system and allows you to plug-n-play algos into apps. Separating the algos from the apps means you can just sell algos (recommendations, feeds, moderation) in an open ecosystem

https://atproto.com/articles/atproto-for-distsys-engineers
by vladoh | 2025-12-14 20:34:40+00:00
I'm working on a way to make it super easy to create and share beautiful photo galleries that tell a story. Take your folders with photos and create a web gallery that works great on all devices.

The project has a CLI interface that is free and open-source, but you have to self-host the gallery. We are also building a SaaS app which is basically a managed version of the open-source tool with a visual builder and we take care of the hosting and CDN.

https://simple.photo
by dboon | 2025-12-14 20:35:04+00:00
I'm working on "Cargo but for C".

It started out as something marginally more useful than vendoring your dependencies as submodules + baking in the knowledge of how to build a bunch of common projects.

I realized, though, that there was somehow a huge gap in the insane world of C build tools. There's nothing that:

- Lets you pin really precisely and builds everything from source (i.e. no binary repository)

- Does not depend on either a scripting language or a completely insane DSL (Conan uses Python, CMake is an eldritch horror, ditto Make, lots of other tools of course but none of them quite hit the mark)

- Has a good balance of "builds are data" and "builds are code".

Anyway, it's going great. There are, of course, a ton of problems to solve. Chief among them is the obvious caveat that C is not a monoculture like Rust. There will be zero upstream libraries that use this tool natively. But I don't think it matters. I think I can build something which is as much better to the existing tools as, say, UV was to existing Python tools, even with that disadvantage.
by cogman10 | 2025-12-14 20:35:05+00:00
The question is going to be how much of that unknown/untested percentage actually matters. I mean, there's even a question of how much the 12.25% of known test regressions actually matter.

> Also, I have major issues with dumping GPL userspace utilities, for an MIT license suite, that is known to not be feature complete, only, and literally only because it was written in Rust. This does not make sense, and this is not good for users.

Thinking about it, I guess I have to agree. This allows ubuntu to avoid releasing security fixing patches if they so choose. You can't do that with GPLed code. It means they can send out binary security fixes and delay the source code release for as long as they like or indefinitely. Which is pretty convenient for a company that sells extended security support packages.
by jarofgreen | 2025-12-14 20:35:11+00:00
I was at an event about open data and AI recently and they were going on about making your data "ready for AI".

It seemed like this was a big elephant in the room - what's the point in spending ages putting API's carefully on your website if all the AI bots just ignore them anyway? There are times when you want your open data to be accessible to AI but they never really got into a discussion about good ways to actually do that.
by systemtest | 2025-12-14 20:36:08+00:00
Simplification of my digital self. Removed most of my online accounts. Removed all my VPS's. Removed most apps from my phone except core ones. Cancelled a lot of online subscriptions.

In the real world finally moved everything to USB-C. Gave all my old cables away. I have two chargers in my home and a handful of C to C cables. Everything connects to everything now.

Home is now downgraded to a dumb home. Lights work on physical toggles. No hubs or sensors anywhere. Heat and AC is with a dumb panel on the wall.

It feels freeing.
by JumpCrisscross | 2025-12-14 20:36:32+00:00
> Ethnic cleansing is at the core of every ethnostate

What makes Israel an ethnostate? (Versus a nation state.)

Demographically, and structurally, Israel doesn’t look dissimilar from e.g. China, India, Russia or most European countries. None of them require ethnic cleansing.

> You can't have, say, a racially German state

Race is a social construct. What constitutes a “true” German has been debated annd fought over among the tribes since before Cæsar.

And I’m not even sure how one would go about defining an Israeli “race” without being incoherent. (Which is fine. Plenty of races are defined in a way that is internally inconsistent. But none of that requires ethnic cleansing as a consequence. Just periodically redefining racial boundaries to broaden what being X means, the way American whiteness has evolved over the centuries.)
by ares623 | 2025-12-14 20:37:17+00:00
Disagree. You're ignoring cost completely (end to end including R&D, manufacturing, logistics, testing, approvals)

I can have a personal dentist brush my teeth while I lie down.

There's a point where UX-that-works-at-acceptable-cost is good enough.

Maybe desktop UX is like the shark. An evolutionary dead-end, but it gets the job done extremely well. (Would be cool if they have lasers on their frickin' heads though)
by tremon | 2025-12-14 20:37:52+00:00
Also, I don't really get why coreutils would be a worthwhile candidate for a Rust rewrite. A rewrite of curl/wget or sudo I can understand, but what's the security benefit to improved memory safety for CLI tools that are only ever run with same-user privileges? Even if there's an exploitable bug there, there's no avenue for privilege escalation.
by JaviLopezG | 2025-12-14 20:38:05+00:00
On my weekends I am working on yups. It started as Your Universal Package Straw-boss, but now it is going to Your Universal Prompt Straw-boss :)

https://www.yups.io

It is very stupid for now but I am working on the process and a friend of mine is working to improve the LLM (that's the project Babelfish).
by harrall | 2025-12-14 20:38:09+00:00
I find Gaia Maps even better for the boonies.

It has a lot more map data accessible and you can even overlay National Park Service maps, land ownership, accurate cell service grids, mountain biking trails, weather conditions and things like that.

Disclaimer: Just because you see a route on a map, digital or paper, does not mean it is passable today. Or it may be passable but at an extremely arduous pace.
by dlubarov | 2025-12-14 20:39:14+00:00
Did they ever claim otherwise? They say "Zivver scans the content of every email" prominently on the front page. The flow seems to be TLS to Zivver first, scanning, then encryption.

If all it takes to convince us that a communication product was created as a front for spying operations is not having a strict e2e design like Signal's, then do you think virtually all of them are fronts for spying operations?
by sirfz | 2025-12-14 20:39:17+00:00
I've recently updated an internal tool which basically acts as a configuration and dependency/context manager for performing hundreds of api calls. I added an httpx backend (to test vs the current urllib3 backend) and also introduced an async API (httpx as well). However, from your benchmarks it seems like I should've went with aiohttp for faster async? I will work on integrating pyreqwest as well