MurphyA/hacker-news huggingface dataset:
by bottlepalm | 2025-12-13 07:18:12+00:00
I have a primary todo that is heavy read/write of the things I need to do in the next couple weeks. OneNote has a nice drag/drop by line so it's easy to move lines from like Monday to Tuesday, etc.. When ever I think of something I need to do, I add it to the list somewhere, and whenever I'm not doing anything, I open the file and pick something to do, when it's done, I delete it from the list.

Lower down in the todo I have things I need to keep my mind on, but doesn't have like a specific date. Like I have list of things on want to read/watch/listen to/play in the near term, like 5 items each. I have longer lists of each of those as separate notes with like a hundred items each. Near term health stuff I need to monitor. Some back burner tasks, etc.. I try to not let the todo list overall get too big, and will once in a while go over it, and clean it.

The todo is just one note of like a hundred. I have a note of like 'quick references' important addresses, account numbers, identity numbers, vehicle vin/license, insurance numbers, airline mile numbers, etc.. That's a very useful note. So that's like in a Main section, I also have Self, Recreation, Future, Thoughts sections my Personal notebook.

The Self section has like health info/logs/history, car info, house, finances, taxes, even like a list of gifts I've given people for holidays as a good reference for next year (15 years of gifts in a single note). Every time I get sick I add to my health log note: got sick on this date, this is what happened, etc..

Recreation section has notes for movies, tv shows, video games, music, friends, places I'd like to travel to, podcasts, even a Halloween costume list of ideas and costumes I've decided on over the years.

Future is like future plans for work, housing, life, finances, etc.. Thoughts section is like notes for app ideas, thoughts on people, my jobs, random thoughts, like blog post ideas, etc.. I'm always thinking of some random thing and cataloging it away in a particular thought note by subject.

I also have a private section that is password protected with even more personal stuff in it. Each of the programming projects have their own section

There's a Projects notebook with sections for each of my work and personal programming projects, and each of those sections have notes like todo, design, operations, etc..

Search is really nice in OneNote as well, I can just hit ctrl+E and get full text search, quickly jump to a particular note file, or line in a note with matching text. So ctrl+e, enter AA, hit return and it'll open my Quick Ref note right on the line with my AA miles number on it.
by caminanteblanco | 2025-12-13 07:19:11+00:00
Just finished college, so I'm not too long in the tooth. I remember reading your writeup on the development of Galak-Z, and liking it so much that I bought it. I'm pretty sure it was one of the first steam games I ever purchased. I didn't end up liking the game all that much, but I definitely continued to enjoy your writing!
by NiloCK | 2025-12-13 07:19:44+00:00
I still don't really understand `skills` as ... anything? You said yourself that you've been doing this since llama 2 days - what do you mean by "become available"?

It is useful in a user-education sense to communicate that it's good to actively document useful procedures like this, and it is likely a performance / utilization boost that the models are tuned or prompt-steered toward discovering this stuff in a conventional location.

But honestly reading about skills mostly feels like reading:

> # LLM provider has adopted a new paradigm: prompts

> What's a prompt?

> You tell the LLM what you'd like to do, and it tries to do it. OR, you could ask the LLM a question and it will answer to the best of its ability.

Obviously I'm missing something.
Show HN: Guftaguu – Anonymous Chat and Real-Time Games (No Login Required)
by SeeYouInHelL | 2025-12-13 07:19:58+00:00
I built an anonymous real-time chat app (think modern Omegle) from scratch — plus a bunch of built-in multiplayer mini-games — just because I thought it would be fun. Try it here: https://guftaguu.vercel.app

What it does

• Anonymous chat: Instantly pair with a stranger and start talking. No account, no history — everything disappears when you leave.

• Play games together: If the conversation gets awkward (or you just want chaos), you can jump into:

Tic-Tac-Toe

Connect 4

Rock–Paper–Scissors

Dots & Boxes

Reaction-based games …and more coming.

• Zero friction: Just enter a display name and you're in.

A heads up (Mobile users)

The mobile UI still needs work. Games won’t run correctly unless you switch to desktop mode, so for now the best experience is on a laptop/PC.

Feedback welcome

This is very much a work in progress. There are bugs and I’d love help finding them or ideas for new features.

You can send feedback directly through the app:

1. Click “Report / Feedback”

2. Type your message

3. It shows up instantly in my Discord so I can fix things quickly
by freddie_mercury | 2025-12-13 07:20:25+00:00
Why would my government care less about me than a multinational corporation with billions of customers that isn't headquartered or listed where I live?

My Member of Parliament represents about 130,000 people, does regular door knocking to talk to people, and has a staffed office a few km away the I can walk into anytime I want.

None of that applies to a multinational corporation.
by belZaah | 2025-12-13 07:20:53+00:00
For microservice count N > 10, if your interdependence count k > 2.867N − 7.724, you are better off with a monolith. The assertion is based on a complexity metric, that has been correllated with cognitive and financial metrics. This came as an interesting side discovery when writing Kütt, Andres, and Laura Kask. "Measuring Complexity of Legislation. A Systems Engineering Approach." In International Congress on Information and Communication Technology, pp. 75-94. Singapore: Springer Singapore, 2020.
by fouronnes3 | 2025-12-13 07:21:29+00:00
You can do it and it is explained, actually. Use # as a prefix to indicate a constant, e.g.: #50 will be a constant and not a variable.

In the future I'd like to support more user input constraints, in particular domain constraints for variables. So you could tell the solver that this cell must remain in some interval, and it would respect that interval instead of assigning any real value.
by energy123 | 2025-12-13 07:21:51+00:00
A public warning about OpenAI's Plus chat subscription as of today.

They advertise 196k tokens context length[1], but you can't submit more than ~50k tokens in one prompt. If you do, the prompt goes through, but they chop off the right-hand-side of your prompt (something like _tokens[:50000]) before calling the model.

This is the same "bug" that existed 4 months ago with GPT-5.0 which they "fixed" only after some high-profile Twitter influencers made noise about it. I haven't been a subscriber for a while, but I re-subscribed recently and discovered that the "bug" is back.

Anyone with a Plus sub can replicate this by generating > 50k tokens of noise then asking it "what is 1+1?". It won't answer.

[1] https://help.openai.com/en/articles/11909943-gpt-52-in-chatg...
by kaushalvivek | 2025-12-13 07:21:54+00:00
One-handed finger swiping to type doesn’t work as reliably as it used to either. I am not sure why.

My recent experiment has been very disappointing. Mostly post upgrading to iOS 26? I’ve had to painfully change my behaviour to two-handed typing by default.

My suspicion— they’ve changed the ML system that inferred words based on swipes, and the new one isn’t as good in real world use.
by nanolith | 2025-12-13 07:25:09+00:00
I have been formally verifying software written in C for a while now.

> is that only for some problems is the specification simpler than the code.

Indeed. I had to fall back to using a proof assistant to verify the code used to build container algorithms (e.g. balanced binary trees) because the problem space gets really difficult in SAT when needing to verify, for instance, memory safety for any arbitrary container operation. Specifying the problem and proving the supporting lemmas takes far more time than proving the code correct with respect to this specification.

> If you do this right, you can get over 90% of proofs with a SAT solver

So far, in my experience, 99% of code that I've written can be verified via the CBMC / CProver model checker, which uses a SAT solver under the covers. So, I agree.

I only need to reach for CiC when dealing with things that I can't reasonably verify by squinting my eyes with the model checker. For instance, proving containers correct with respect to the same kinds of function contracts I use in model checking gets dicey, since these involve arbitrary and complex recursion. But, verifying that code that uses these containers is actually quite easy to do via shadow methods. For instance, with containers, we only really care whether we can verify the contracts for how they are used, and whether client code properly manages ownership semantics. For instance, placing an item into the container or taking an item out of a container. Referencing items in the container. Not holding onto dangling references once a lock on a container is released, etc. In these cases, simpler models for these containers that can be trivially model checked can be substituted in.

> Now, sometimes you just want a negative specification - X must never happen. That's somewhat easier.

Agreed. The abstract machine model I built up for C is what I call a "glass machine". Anything that might be UB or that could involve unsafe memory access causes a crash. Hence, quantified over any acceptable initial state and input parameters that match the function contract, these negative specifications must only step over all instructions without hitting a crash condition. If a developer can single step, and learns how to perform basic case analysis or basic induction, the developer can easily walk proofs of these negative specifications.
by kubb | 2025-12-13 07:25:51+00:00
Still the answer would have been “no”.

If you want to keep both narrative and truthfulness, you should ask “doesn’t Germany have laws criminalizing insults, and someone had to pay a fine after insulting a politician”.

Still not very authoritarian on a global scale. We have countries where politicians are exempt from criminal prosecution via presidential pardons and countries that kill dissidents. These countries form alliances and align their foreign policy.
by mwwaters | 2025-12-13 07:26:59+00:00
It seems like the bigger day to day issue is the possibility of downgrades from STARTTLS or a server that doesn’t support TLS. Encryption in the GPG isn’t necessary or even would be unwanted (for a company to have records of all the emails).

So there are mechanisms to put encrypted things in workplace emails and then have some mechanism for receiver in a different organization to unencrypt. I have seen a mechanism that comes down to magic links, which I found ironic (though yes, intercepting is less of a threat than sending the data unencrypted).

I feel like supporting an option to not send an email unless STARTTLS happens is the way to go. There’s probably a lot of practical problems for, say, online Outlook or Gmail supporting that option when sending an email. But I feel like that’s the easiest solution.
by timc3 | 2025-12-13 07:28:54+00:00
It really depends on the situation and the car. I’ve had it really help and not take over too much (very modern Porsche in the mountains), and systems where it was actively making the situation much worse by alternately locking the brakes on individual wheels. That was down a long hill which turned icy a third of the way down in a borrowed 2013 BMW F30, and I still consider it luck that I kept it on the road and nothing was coming the other way.
by laurencerowe | 2025-12-13 07:29:39+00:00
Energy consumption does not equal useful work though. Much of that non-electrical energy consumption is wasted, e.g. car engines are only about 30% efficient and heat pumps can provide 3-5x the amount of warmth compared to the electrical input required to run. So we’re probably looking at around a 2x increase in electricity consumption rather than 5x.
by fulafel | 2025-12-13 07:29:40+00:00
> The only reasonable conclusion from your logic is that it would have felt like an even worse idea to build nuclear reactors in the 1970's. Yet, using today's hindsight, it was a great idea.

Consider opportunity costs. If all the public money that Europeans invested to nuclear (it started way before the 70s of course) was put into renewables/storage r&d, we would have had great renewables decades earlier, and by now would be swimming in it.
by bottlepalm | 2025-12-13 07:29:50+00:00
One thing I can't do is the never ending todo list, if my main todo list is too long, it's just too stressful for me. I need to break things out into other notes, or just go over it and clean it up into a manageable state. It's kind of like an inbox, you try to get it to zero, you rarely do, but the point is everything in there is on mind and actionable to some extent.

You don't want to lose track of important things in some never ending list. And if they're not important, move them out into a more static list, often it's not even a todo item, but a piece of reference information that's perfect to go into it's own note of related reference information.
by snowe2010 | 2025-12-13 07:29:52+00:00
That is in no way a reasonable suggestion. You’re suggesting a raspberry pi (first red flag) along with a command line program. This is not reasonable in any sense of the word. Imagine me suggesting that everyone should be set up their own unraid server to make sure they can still stream movies and videos if Netflix goes down. Imagine me telling you you should set up a foundry to build your own engines because you can’t trust big car manufacturers. This is the case with everything in your life

Regulations exist because it’s impossible for any one person to handle everything that needs to be handled.
by laggyluke | 2025-12-13 07:30:38+00:00
You have a point.

Being able to reprogram a pacemaker isn't enough!

We should require that any devices that our lives depends on, especially devices that go inside our bodies, to be open source: not just reprogrammable, but with source code available for inspection and modification.

I've been working in this industry for too long in order to trust a closed source pacemaker to be bug-free.
Ask HN: How do you give a local AI model long-term memory?
by javantanna | 2025-12-13 07:31:37+00:00
I’m running local LLMs using Ollama and hitting the usual wall:

small context windows + no persistent memory = hard to solve multi-step or long-horizon tasks. For those who have built serious local setups: How do you give your model persistent memory? Vector DBs? RAG? Fine-tuned adapters? Some kind of external state management loop? Or a custom “memory module” you wrote yourself? I’m looking for practical approaches that let a local model remember past steps, keep working on long tasks, and behave more like an agent with continuity.
by beeflet | 2025-12-13 07:33:14+00:00
living in an apartment sucks for security. You can't really own a gun and practice castle doctrine. Your landlord has a key to your home and can lock you out at any time, or can go through your mail.

There are other options like living in your own property, living in an RV, etc. that are better if you are worried about security.

If I was living in an apartment, I wouldn't be stashing all of my money under my mattress. I wouldn't run a business out of my apartment such that I would lose all of my equipment if I got evicted.

Similarly, I wouldn't do anything of importance on an apple computer. I wouldn't stash cryptocurrency on it, I wouldn't save my bank account details on it, I wouldn't run an important business that depends on their platforms. Because you're just renting and your lord can change the keys tomorrow.
by SyzygyRhythm | 2025-12-13 07:34:00+00:00
I wouldn't downplay the opportunity cost of that much human capital. It really is quite a lot, given the obvious talents of the physicists.

I'm not saying I fully agree with the position, but one way of looking at it is that thousands of incredibly smart people got nerd-sniped into working on a problem that actually has no solution. I sometimes wonder if there will ever be a point where people give up on it, as opposed to pursuing a field that bears some mathematical fruit, always with some future promise, but contributes nothing to physics.
by ViewTrick1002 | 2025-12-13 07:35:31+00:00
Unless half the fleet is offline like happened in France during the energy crisis and twice in Sweden in the last year.

https://www.nytimes.com/2022/11/15/business/nuclear-power-fr...

> That's why China is building capacity of both types as fast as they can.

Nuclear power as a percentage of the Chinese grid mix is backsliding. Will likely land somewhere in the 2-3% range when their grid is fully built out.

China is building renewables and storage as fast as they can and provide a token investment (in terms of their grid size)for new built nuclear power.
by ETH_start | 2025-12-13 07:35:52+00:00
Median income and the purchasing power of disposable income are substantially higher in the U.S.

The public sector unions do represent a much larger share of the population than the CEOs but in absolute terms public sector workers constitute a very small share of the population, while receiving a large share of public spending. Given they are being rewarded with huge amounts of tax dollars from the party they help keep/put in power, the concern that there's a systemic pay-to-play dynamic at work is very justified.
by llSourcell | 2025-12-13 07:37:09+00:00
I have no formal background in Physics, but I love studying Physics solo. I vibe coded this JS app in 3 hours with Anthropic's Opus 4.5 Pro using Google's Antigravity IDE.

Here's the full beginner's guide to the Quantum Vacuum: https://gist.github.com/llSourcell/15ef32987ab2f4f193a2c7be6...

Anyone else love studying Physics for fun? What part about Physics interests you the most?
by uecker | 2025-12-13 07:39:39+00:00
A million sales (I heard 1-2 million) for N9 are very good, considering that smartphone sales were in the millions at that time and that it was not sold in the US, Germany, UK, France, Italy, Spain etc. and had no marketing. Wikipedia says the original iPhone sales were 6 million in the first year which is a better comparison than the 93 million of total sales for 5 years for several iPhone generations. I think the "dead man" walking story is an interpretation which is not rooted in any hard fact. It is based on the idea that nothing can beat the iPhone, which is demonstrably wrong because Android did. And compared to Android (also a Linux phone), the N9 was definitely much better. But I also point out that far from everybody considered the iPhone impressive. In Europe initial sales for the iPhone were also not good.

In contrast the explanation I have for Nokia's failure gives a logical explanation: They panicked, prematurely declared thir existing phones obsolete, cancelled there next-gen development such as N9, and instead offered a poorer product (Windows Phone) at a later time. It is difficult to see how this can lead to anything else than failure.

Whether N9 and co. would be successful enough to save them in the long-run is pure speculation, but I see no fundamental why it could not, and it was ready at a time where Nokia was still big enough to get some app developers on board.
by TekMol | 2025-12-13 07:39:41+00:00
As someone using Linux to build web applications, I wonder what about the Apple ecosystem could make it worth to have such a Damocles’ sword hanging over me my whole life.

Am I missing something? My current perspective is that not only am I free of all the hassle that comes with building for a closed ecosystem, such as managing a developer account and using proprietary tools, it also comes with much harder distribution. I can put up a website with no wait time and everybody on planet earth can use it right away. So much nicer than having to go through all the hoops and limitations of an app store.

Honest question: Am I missing something? What would I get in return if I invested all the work to build for iOS or Mac?
by drnick1 | 2025-12-13 07:40:12+00:00
That has been my experience as well. So far nothing has come close to the flexibility of Gnome (upscaled) with an airmouse. I am keeping an eye on the Plasma Bigscreen project however (10-foot UI for Plasma).

An alternative could be some x86 Android TV build like Lineage, but I have not seen very convincing demonstrations that this is truly viable.
by snowe2010 | 2025-12-13 07:41:20+00:00
Backblaze doesn’t erase after 30 days… I’ve had a computer be offline from it for several months and it still retained all data. And you can use the backblaze docker container to run on a NAS, much much much cheaper than B2.

Wasabi is much cheaper than AWS as well.

Finally the best solution for backing up your iCloud Photos is definitely Immich. Set it up on your own NAS or a VPS, back up to that, and then back up that server to an S3 storage using rsync or restic. I’ll note that I still backup to Backblaze because its so dang cheap.

I spent months trying to find the best setup a few months ago and this is by far the cheapest.

But still, this shouldn’t be required for normal people. They should get what they pay for.
by hadlock | 2025-12-13 07:42:25+00:00
I'm excited to use this with the Ghidra cli mode to rapidly decompile physics engines from various games. Do I want my flight simulator to behave like the Cessna like in flight simulator 3.0 in the air? Codex can already do that. Do I want the plane to handle like Yoshi from Mario Kart 64 when taxiing? It hasn't been done yet but Claude code is apparently pretty good at pulling apart n64 roms so that seems within the realm of possibility.
by 14 | 2025-12-13 07:45:17+00:00
I hope you get it back. I always had the mindset that if I am a paying customer that this type of situation is very unlikely. But you are literally a massive paying customer and you got hit. The truth is you are just a nobody even as a customer who has dumped thousands of dollars as a loyal supporter. Showing up on HackerNews is a positive thing as the only way to get any traction in these situations is either be famous and complain or your story going viral and someone with power seeing your plea. I worried about only having a physical copy of my family photos so started paying apple for some storage. This type of event worries me. Good reminder to have multiple backup solutions.