MurphyA/hacker-news huggingface dataset:
by sublinear | 2025-12-13 01:46:37+00:00
To use your own example, it's relevant because the definition of "flight" that we apply to planes is not as versatile as the one we apply to birds.

To put this in terms of "results", because that's what your way of thinking insists upon, a plane does not take off and land the way a bird does. This limits a plane's practicality to such an extent that a plane is useless for transportation without all the infrastructure you're probably ignoring with your argument. You might also be ignoring all the side effects planes bring with them.

Would you not agree that if we only ever wanted "flight" for a specific use case that apparently only birds can do after evaluating what a plane cannot do, then planes are not capable of "flight"?

This is the very same problem with "thought" in terms of AI. We're finding it's inadequate for what we want the machine to do. Not only is it inadequate for our current use cases, and not only is it inadequate now, but it will continue to be inadequate until we further pin down what "thought" is and determine what lies beyond the Church-Turing thesis.

https://en.wikipedia.org/wiki/Church%E2%80%93Turing_thesis#P...

Relevant quote: "B. Jack Copeland states that it is an open empirical question whether there are actual deterministic physical processes that, in the long run, elude simulation by a Turing machine; furthermore, he states that it is an open empirical question whether any such processes are involved in the working of the human brain"
by machomaster | 2025-12-13 01:47:11+00:00
Then why wonder that men feel left alone and act accordingly.

There aren't enough kids to be adopted in Western countries, even for very small number of people who would want it. The formal requirements, time and money expenses, as well as reliance on a huge amount of luck is often an insurmountable obstacle. My friends tried for many years, but were forced to abandon the process. This was incredibly sad, knowing how great parents they would have been.
by snuxoll | 2025-12-13 01:47:36+00:00
> No actually, this doesn't happen the same way on modern Unix. The way symbol resolution works is just not the same. A library asking for an extern called "malloc" will get the same malloc. To use those other allocators, you would typically give them a different symbol name, or make the whole process use the new one.

This is, yes, the behavior of both the ELF specification as well as the GNU linker.

I'm not here to get into semantics of symbol namespaces and resolution though, I can just as easily link a static jemalloc into an arbitrary ELF shared object and use it inside for every allocation and not give a damn about what the global malloc() symbol points to. There's a half dozen other ways I can have a local malloc() symbol as well instead of having the linker bind the global one.

Which, is the entire point I'm trying to make. Is this a bigger problem on Windows versus UNIX-like platforms due to the way runtime linker support is handled? Yes. Is it entirely possible to have the same issue, however? Yes, absolutely.
by derac | 2025-12-13 01:48:19+00:00
Call me naive, but my read is the opposite. It's impressive to me that we have systems which can interpret plain english instructions with a progressively higher degree of reliability. Also, that such a simple mechanism for extending memory (if you believe it's an apt analogy) is possible. That seems closer to AGI to me, though maybe it is a stopgap to better generality/"intelligence" in the model.

I'm not sure English is a bad way to outline what the system should do. It has tradeoffs. I'm not sure library functions are a 1:1 analogy either. Or if they are, you might grant me that it's possible to write a few english sentences that would expand into a massive amount of code.

It's very difficult to measure progress on these models in a way that anyone can trust, moreso when you involve "agent" code around the model.
by tim333 | 2025-12-13 01:49:18+00:00
Actually a couple of drone factories (https://thedefensepost.com/2025/11/24/stark-uk-drone-uav-pro... and https://militarnyi.com/en/news/ukrspecsystems-in-the-united-...)

but the interceptors are Project Octopus:

>The initial pilot batch, consisting of up to 1,000 drones, will be built in the UK at state-owned facilities. The Octopus drone will become the first Ukrainian combat drone to be serially produced in a NATO country, with Ukraine retaining full intellectual property and technological control. https://euromaidanpress.com/2025/10/26/uk-to-build-pilot-bat...

and they are being secretive about the design.
by DoctorOetker | 2025-12-13 01:50:12+00:00
isn't it sufficient of an explanation that one has occasionally wasted a ton of time trying to read an article only to discover after studying and interpreting half of a paper that one of the author's proof steps is wholly unjustified?

is it so hard to understand that after a few such events, you wish for authors to check their own work by formalizing it, saving countless hours for your readers, by selecting your paper WITH machine readable proof versus another author's paper without a machine readable proof?
by bluefirebrand | 2025-12-13 01:50:41+00:00
I weigh the economic value against the lives I believe is going to ruin and the damage I believe is going to do to society and the future of the human race and I do not find value there. I find ruin

There might be a way for us to adopt AI as a tool without bringing ruin to many people, but I don't believe that is the goal of anyone building AI.

As it stands, I don't believe there is anything ethical about AI in it's current form. So from that perspective, I vehemently deny there is any value in it

At one point in history, people like you were asking why anyone could be anti-slavery. After all, it was impossible to deny the economic value of slaves.
by g8oz | 2025-12-13 01:51:37+00:00
>>It is important to note that within Germany’s generation data, Ember’s analysis has identified an unusual trend of declining solar irradiance-adjusted performance over the past several years. We do not yet have a definitive explanation for why this is, but it could be related to challenges in measuring behind-the-meter solar generation, exacerbated recently by high levels of residential battery storage. Regardless of the cause, it is possible that there is under-reporting of German solar generation.

- European electricity review 2024 by Ember

https://ember-energy.org/latest-insights/european-electricit...
by bilekas | 2025-12-13 01:52:19+00:00
> These work well with local LLMs that are powerful enough to run a coding agent environment with a decent amount of context over longer loops.

That's actually super interesting, maybe something I'll try investigate and find the minimum requirements because as cool as they seem, personalized 'skills' might be a more useful use of AI overall.

Nice article, and thanks for answering.

Edit: My thinking is consumer grade could be good enough to run this soon.
by fourier456 | 2025-12-13 01:52:31+00:00
I think you have a point. The paper has load bearing reliance on other preprints. I think soon we see a workflow where AI (ChatGPT) can identify precise transitions in the argument that do not require full formalization to falsify. Link - https://chatgpt.com/share/693cc655-ca94-800c-870a-a5c78fb10d...
by cxr | 2025-12-13 01:52:57+00:00
I didn't see an explanation in the README that part of what the first GIF[1] shows is an effect created by video editing software (and not a screencapture that's just demonstrating the program actually running). "Screen images simulated" are the words usually chosen to start off the disclaimers in fine print shown at the bottom of the screen when similar effects appear in commercials. I think that it would make sense to adopt a similar explanation wrt the effect used for the GIF.

1. <https://github.com/mmulet/term.everything/blob/main/resource...>
by knollimar | 2025-12-13 01:53:05+00:00
Isn't that only to get somewhere else?

My point is in the real world sharing an area with it would mean the other store also contributes tax wise. It's not equivalent to bring up real life if the real life paying part isn't also adhered to; the lack of symmetry is notable. I don't think they deserve to set their price, though (30% is way too high).
by jandrese | 2025-12-13 01:53:33+00:00
The problem is how do you set up those permissions without a god object? How do you fix ones that are broken on a running system?

Ultimately the security systems that introduce high complexity in the name of fine grain permission controls end up being the most fragile and hardest to verify. People get stuff wrong then break it further trying to get their job done. The better system is sometimes the one that doesn’t have all of the features but is comprehensible to humans.
by prescriptivist | 2025-12-13 01:53:37+00:00
Skills have a lot of uses, but one in particular I like is replacing one off MCP server usage. You can use (or write) an MCP server for you CI system and then add the instructions to your AGENTS.md to query the CI MCP for build results for the current branch. Then you need to find a way to distribute the MCP server so the rest of the team can use it or cook it into your dev environment setup. But all you really care about is one tool in the MCP server, the build result. Or...

You can hack together a shell, python, whatever script that fetches build results from your CI server, dumps them to stdout in a semi structured format like markdown, then add a 10-15 line SKILL.md and you have the same functionality -- the skill just executes the one-off script and reads the output. You package the skill with the script, usually in a directory in the project you are working on, but you can also distribute them as plugins (bundles) that claud code can install from a "repository", which can just be a private git repo.

It's a little UNIX-y in a way, little tools that pipe output to another tool and they are useful in a standalone context or in a chain of tools. Whereas MCP is a full blown RPC environment (that has it's uses, where appropriate).
by lostmsu | 2025-12-13 01:54:41+00:00
This is a weird take. Basically no one is just a wood lover. In fact, basically no one is an expert or even decently knowledgeable in more than 0-2 areas. But life has hundreds of things everyone must participate in. Where does you wood lover shop? How does he find his movies? File taxes? Gets travel ideas? And even a wood lover after watching 100500th niche video on woodworking on YouTube might have some questions. AI is the new, much better Google.

Re: books. Your imagination falters here too. I love sci-fi. I use voice AIs ( even made one: https://apps.apple.com/app/apple-store/id6737482921?pt=12710... ). A couple of times when I was on a walk I had an idea for a weird sci-fi setting, and I would ask AI to generate a story in that setting, and listen to it. It's interesting because you don't know what will actually happen to the characters and what the resolution would be. So it's fun to explore a few takes on it.
by dangus | 2025-12-13 01:54:58+00:00
This is pretty crappy one-size-fits-all advice in itself.

If you’re willing to use distilled water, ultrasonic humidifiers have their own advantages over evaporative.

I’m personally willing to buy distilled water. It’s a dollar per gallon, and we only need the humidifier during a short few months. You can even buy a small countertop water distiller for under $60.
by montymintypie | 2025-12-13 01:55:31+00:00
I think the parent commenter is perhaps a little over-selling the LG rooting. It is definitely root, you can write whatever you want on the filesystem (at your peril), and theoretically do whatever you want, but the homebrew exploit launches a bit later in the boot chain than you'd want (so blocking update nags isn't quite reliable), and a lot of the inner system things are proprietary and require reverse engineering to extend.

It's the same system software, just with root capacity.

That being said, there's still a bunch of nice homebrew:

- Video screensavers ala Apple TV

- DVD logo screensaver

- Adfree (and sponsorblock-integrated and optional shorts-disabling) Youtube

- Remote button remapping (Netflix button now opens Plex for me)

- Hyperion (ambilight service that controls an LED strip behind the TV)

- A nice nvidia shield emulator for game streaming from my PC with low latency

- VNC server (rarely useful, but invaluable when it is)

Sponsorblock and remote remapping are killer features for me, and the rest is just really pleasant to have.
by alexjurkiewicz | 2025-12-13 01:56:21+00:00
You are absolutely write! Let me write a Go program to implement this idea. The bloom filters will take approximately 5gb (for a 1% error rate) and take a few minutes to populate on a modern Macbook Pro.

https://gist.github.com/alexjurkiewicz/1abf05f16fd98aabf380c...
by everforward | 2025-12-13 01:56:29+00:00
There are, but I would consider them fairly thin. If I'm reading right, and I may not be, the US only requires a solvency ratio of 1.45. I never worked in health insurance, but I did work for a P&C insurance company and I believe we had assets far in excess of that but kept close to the minimum in liquid assets (returns on investing premiums we hadn't paid out yet was the majority of our profit).
by dang | 2025-12-13 01:57:20+00:00
We need you (i.e. everyone) to follow the rules regardless of how others are behaving.

It always feels like the other person started it and did worse (https://hn.algolia.com/?dateRange=all&page=0&prefix=true&que...), so you (i.e. all of us) can't rely on that as a basis for responding. It leads to a downward spiral, and eventually scorched earth.
by Arch-TK | 2025-12-13 01:57:33+00:00
Paypal released the funds to the project, not to the people making the downpayments. Paypal never returns money immediately to anyone, they sit on it for months while they "investigate".

I don't know who you are or where you were but the paypal problems were pretty well announced and _I_ was there. The project was already facing delays because a key person who was needed to make the board layouts was held up with the also now dead DragonBox Pyra handheld.

I have no idea where you think the money went, how much you think there was, but it was a constant game of trying to drum up enough activity to gain attention of potential customers to bring in enough down-payments to pay the salaries of the small number of people working on the project while having enough money to buy parts. The money went into salaries, parts, nobody bought hookers or blow with it, and certainly nobody got anything but stress out of that project in the end. I believe Joerg Reisenweber paid a lawyer out of pocket to try to get PayPal to release the funds.
by cryptonector | 2025-12-13 01:57:38+00:00
This is pretty cool.

How does Lite^3 compare to PG's JSONB? PG's JSONB is also a serialized, indexed data structure. One of the key things about JSONB is that for arrays (and so objects) it encodes first their lengths, then the values, but every so many elements (32 is the default IIRC) it encodes an offset, and the reason for this design is that when they encoded offsets only the result did not compress well (and if you think about it it will be obvious why). The price they pay for this design is that finding the offset to the nth element's value requires first finding the offset of the last entry before n that has an offset, then adding all the lengths of the entries in between. This way you get a tunable parameter for trading off speed for compressibility.

EDIT: Ok, I've looked at the format. Some comments:

- Updating in place is cool but you need to clear unused replaced data in case it's sensitive, and then unless you re-encode you will use up more and more space -- once in a while you need a "vacuum". Though vacuuming a Lite^3 document is quite simple: just traverse the data structure and write a new version, and naturally it will be vacuumed.

- On the whole I like Lite^3 quite a bit. Very clever.

- JSONB is also indexed as encoded, but IIUC it's not in-place updateable (unless the new items are the same length as the old) without re-encoding. Though I can imagine a way to tombstone old values and replace them with offsets into appended data, then the result would also need a "vacuum" once in a while.

- I'm curious about compressibility. I suspect not having long runs of pointers (offsets) helps, but still I suspect JSONB is more compressible.

I love the topic of serialization formats, and I've been thinking for some time about ASN.1 compilers (since I maintain one). I've wanted to implement a flatbuffers / JSONB style codec for ASN.1 borrowing ideas from OER. You've given me something to think about! When you have a schema (e.g., an ASN.1 module) you don't really need a B-tree -- the encoded data, if it's encoded in a convenient way, is the B-tree already, but accessing the encoded data by traversal path rather than decoding into nice in-memory structures sure would be a major improvement in codec performance!
by back_to_basics | 2025-12-13 01:58:39+00:00
A gross mischaracterization, really.

1. Said "consumer" is effectively hoarding Supply, and thus distorting the Market. 2. Said "consumer" has no effective means to either Deploy nor Utilize said products as neither the Data Centers nor the Energy required to power them are in existence. 3. Said "consumer" has articulated his belief that the Taxpayer should "backstop" his endeavors in some capacity, as well.

If you don't find this offensive in the least and possibly criminal at worst, then I don't understand your thought process.
by godelski | 2025-12-13 01:59:24+00:00
> that you’re giving a mouse a cookie

I read it more as "give the mouse a cookie because it's already getting crumbs"

These types of arguments are quite common due to how beneficial they are for authoritarian. People forget that authoritarians don't need a lot of supporters, but they do need a lot of people to be apathetic or feel defeated. With that in place even a very small group can exert great power. Which also tends to make their power appear larger than it is, in order to create that feedback loop
by vreabernardo | 2025-12-13 02:01:43+00:00
Seeing that running small models is the new DOOM, the obvious next step after PS Vita and Wii, was a Nintendo 3DS:

https://www.reddit.com/r/LocalLLaMA/comments/1l9cwi5/running...

https://www.reddit.com/r/LocalLLaMA/comments/1m85v3a/running...

So I tried it.

I got the stories260K model running, which is about the largest practical option given the 3DS’s memory limits.

It’s slow and not especially useful, but it works.
by luqtas | 2025-12-13 02:02:25+00:00
> And this is the problem, your exact phrasing. You get her pregnant. A man gets a woman pregnant. It's putting all the onus on the man in an activity that requires two consenting participants (rape is obviously excluded for this argument).

have you read what i typed? where do i diminish the responsibility of a woman in my comment? i literally typed i'm against any decision on having or not a child BY MEN
by machomaster | 2025-12-13 02:04:46+00:00
Men: 3-4 contraception types (mostly barrier/permanent); 0 mitigation/cancellation options.

Women: 12-15 contraception types; 4 mitigation types; 4 cancellation types.

And still it is men who are being blamed, despite all the power being in women' hands. Men often only wanted sex, not the child. And yet, if pregnancy happened, there is nothing he can do about it, even if he was tricked or lied to.

If a woman gets gets pregnant, she has all the power. She is the sole decider what to do about it. Therefore, if the child was born it was always because the woman decided to do it.

If the woman decides to abort the child, she can also do it, without the guy/husband having any say.

This is the reason why I think that the abortion rights should be extended to men as well. If women have rights to be the sole deciders in getting the children aborted, then men should have the right to a financial abortion (she can decide what to do with the child, he should decide whether he wants to be financially participating in the woman's decision; her body, her choice. His money, his choice.). Not only would that be fair and balancing the reproductive rights, but would also greatly decrease the baby trappings and the number of single mothers.

And while we are at it, make paternity tests mandatory after each birth (before taking upon oneself a 20-year financial burden for the kid who is very often bot yours). This would greatly decrease adultery and paternity fraud.
by adastra22 | 2025-12-13 02:04:56+00:00
I’ve posted this before, but here goes: we achieved AGI in either 2017 or 2022 (take your pick) with the transformer architecture and the achievement of scaled-up NLP in ChatGPT.

What is AGI? Artificial. General. Intelligence. Applying domain independent intelligence to solve problems expressed in fully general natural language.

It’s more than a pedantic point though. What people expect from AGI is the transformative capabilities that emerge from removing the human from the ideation-creation loop. How do you do that? By systematizing the knowledge work process and providing deterministic structure to agentic processes.

Which is exactly what these developments are doing.
by devinplatt | 2025-12-13 02:06:30+00:00
On a quick skim, my interpretation is that the article critiques the classic (but simplistic) advice that asking questions and letting the other person talk more than you is the key to having a good conversation, especially to ensuring that the other person is happy with the conversation.

The classic advice is basically a caution against being a boring monologuer. And it has its merit. But this is an extra "level 2 conversationalist" lesson. It's the old: "OK remember those rules you learned in level 1? Here's when you can break them".

Th affordance analogy is that you want to give yourself and your conversation partner an abundance of options and opportunities for good conversation. Asking questions often is a way of doing that, but it's not the only way, and not all questions are equally helpful.
by array_key_first | 2025-12-13 02:07:04+00:00
The problem is that it obviously sucks. If you say "no it doesn't" - you're lying, you know it sucks. Obviously me only being able to refrigerate Walmart goods sucks.

> Do you really need a nanny state

This is a false dichotomy. The reason you're doing this is because you know the current situation sucks major donkey dick and nobody, including you, likes it. So to defend it you have to appeal to something even more sucky. It's the death rattle of a poorly constructed argument.

You don't need a nanny state, quite the opposite! You need a freer market.

When Walmart sells the evil fridge, which I can only assume has been hexed by a swamp witch, what they are actually doing is subverting the free market. They're cheating.

Instead of competing by selling the best groceries or the best fridge, they're competing by artificially limiting their competition. They see the market, say "fuck that market, your market is only our stuff", and force your hand. They've created a soft monopoly.

The misconception about free markets is that, if you just let them be, then they're good. Ha. Every free market player is actively devising every single plan imaginable to make the market less free.

If Walmart could run behind you and lock the doors so that you have to buy their groceries, lest you starve to death, they would. Luckily, the "nanny state" stepped in, and we have a freer market because of it.