MurphyA/hacker-news huggingface dataset:
by griffzhowl | 2026-01-06 12:25:02+00:00
> the current algorithms are clearly a dead end for thinking machines.

These discussions often get derailed into debates about what "thinking" means. If we define thinking as the capacity to produce and evaluate arguments, as the cognitive scientists Sperber and Mercier do, then we can see LLMs are certainly producing arguments, but they're weak at the evaluation.

In some cases, arguments can be formalised, and then evaluating them is a solved problem, as in the examples of using the Lean proofchecker in combination with LLMs to write mathematical proofs.

That suggests a way forward will come from formalising natural language arguments. So LLMs by themselves might be a dead end but in combination with formalisation they could be very powerful. That might not be "thinking" in the sense of the full suite of human abilities that we group with that word but it seems an important component of it.
by tmcz26 | 2026-01-06 12:25:11+00:00
This Tolerance Paradox is something I’ve been discussing lately with family and friends, but was having a hard time articulating. Thanks for the link.

I see tons of parallels with today’s world, on both sides of the spectrum (left/right, woke/unwoke etc).

Like, I do agree that most speech should be free and that dark humour and unpopular ideas and whatnot should be allowed even if you or a portion of the population don’t like it.

However I also think you can’t just say whatever you want and hide behind that free speech protection, because that opens the door to really nasty stuff that the human species has lived through.

But where’s the line?

That comedian arrested in the UK for a tweet[0], for instance. Do I agree? No. Do I think it was an intolerant thing to say from my POV? Yes. Do I think it is in fact inciting violence and deserves arrest? No.

On the other hand, you have people preaching white supremacy and talking about inferior races. We know where that led us.

So where’s the line? Same thing applies for these “regulated” surveillances. CSAM sounds like a good reason, but the same tools can be used to limit or monitor other speeches and behaviors. (Not to get into the debate of effectiveness, since bypassing is doable if you really want to).

I don’t have an answer, and I don’t think there is a clear line to be drawn.

[0] https://www.bbc.co.uk/news/articles/c07p7v2nn8mo.amp
by wild_egg | 2026-01-06 12:25:37+00:00
Great call out. The agents will set those on `create` calls but don't typically reference them afterwards.

I have a fairly robust orchestration layer built on top of this tool that relies heavily on those fields though. But without that, they are a bit noisy.

Mixed feelings on upward search. One of my pain points with beads was that agents would sometimes create a bead outside of the correct directory and get dumped into a global `~/.beads/default.db` and make a mess. They've done that a couple times with ticket but run `tk ready` afterwards, see the new ticket is the only one, realize their mistake, and then relocate the ticket into the correct location. Still thinking on that one.
by patcon | 2026-01-06 12:25:46+00:00
I don't mean this flippantly, but it's an odd framing you present. As in, when you yourself comment on the internet, do you think about winning Somalis to your cause?

I just mean... the point of marginalising reliance on USA and USA companies is that others don't need to care about winning American citizens to any cause they pursue, because American infrastructure has minimal [or no] power over their lives. As in, your response comes from the old world ppl are trying to leave behind, no?
by rahen | 2026-01-06 12:26:08+00:00
My only complaint regarding the Zed editor is the inability to display two panes of the sidebar one below the other. Not only is it impossible to display them together, but switching between them requires clicking a tiny button in the status bar. To make matters worse, performing a search hides the symbols and the tree view.

So right now I'm sticking to Emacs.
by ahf8Aithaex7Nai | 2026-01-06 12:26:44+00:00
That's right. I wonder if the decision-makers at KTM regretted that afterwards.

Addendum: Considering that the GS has been a bestseller ever since. It feels like every other motorcycle enthusiast in Germany rides one. It has been the best-selling motorcycle almost every year since then. In Italy, many also seem to prefer riding GS bikes over Guzzi/Ducati/Aprilia.
by penteract | 2026-01-06 12:27:12+00:00
For many publications you could be critisizing, I'd agree with you, but Quanta usually reaches a higher standard that I feel they deserve credit for. Here's the Quanta article on the same thing [1]. It goes into much more detail, it shows a picture of the perfect sofa, and links to the actual research paper. They're aimed at a level above "finished high school", and I appreciate that; it gives me a chance to learn from the solution to a problem, and encourages me to think about it independently.

I agree with you that Quanta doesn't always "allow specialists to understand exactly what's being claimed", which is a problem; but linking to the research papers greatly mitigates that sin.

[1] https://www.quantamagazine.org/the-largest-sofa-you-can-move...

And here's how they clearly explain the proof strategy.

> First, he showed that for any sofa in his space, the output of Q would be at least as big as the sofa’s area. It essentially measured the area of a shape that contained the sofa. That meant that if Baek could find the maximum value of Q, it would give him a good upper bound on the area of the optimal sofa.

> This alone wasn’t enough to resolve the moving sofa problem. But Baek also defined Q so that for Gerver’s sofa, the function didn’t just give an upper bound. Its output was exactly equal to the sofa’s area. Baek therefore just had to prove that Q hit its maximum value when its input was Gerver’s sofa. That would mean that Gerver’s sofa had the biggest area of all the potential sofas, making it the solution to the moving sofa problem.
by codingdave | 2026-01-06 12:27:56+00:00
If your team is small, it must be people who are organized and trustworthy enough that you don't need to micro-manage them and track their work. If you find things are slipping through the cracks, you don't have the correct small team. The key hiring focus when you are that small is: "Is this person good enough that I can simply tell them to get it done and it will happen, so I can go work on other things?"
by SkyBelow | 2026-01-06 12:28:32+00:00
>They still "can't" asses the quality of the output, after all. They can't just ask the model, as they can't know if the answer is not misleading.

Wasn't this a problem before AI? If I took a book or online tutorial and followed it, could I be sure it was teaching me the right thing? I would need to make sure I understood it, that it made sense, that it worked when I changed things around, and would need to combine multiple sources. That still needs to be done. You can ask the model, and you'll have the judge the answer, same as if you asked another human. You have to make sure you are in a realm where you are learning, but aren't so far out that you can easily be misled. You do need to test out explanations and seek multiple sources, of which AI is only one.

An AI can hallucinate and just make things up, but the chance it different sessions with different AIs lead to the same hallucinations that consistently build upon each other is unlikely enough to not be worth worrying about.
by fcpk | 2026-01-06 12:28:52+00:00
FDD -> Founded 2001 after 9/11 as "Emet"(truth in hebrew).
Foundation for improving Israel's image in North America.
Focused on "militant islamism" and has as primary architect a "maximum pressure against Iran" Mark Dubowitz.

Consider the bias that this can imply.
This is not to give credence to either side, just that there are very strong partisans everywhere pushing specific agendas.
by petcat | 2026-01-06 12:28:53+00:00
> iPhone is produced in Asia. Replacing TSMC

iPhone chips are largely produced in Arizona, and TSMC's 2nm fabs are scheduled to come online by 2028. 30% of TSMC's global production is schedule to be produced in America.

USA has been strategically re-homing TSMC to the USA mainland for a long time now.

Contrast with the EU which has done nothing to become self-reliant, and really just has no ideas. It is unfortunate.
by scrapheap | 2026-01-06 12:28:55+00:00
Where possible automate them!

From my point of view the power of automation for recurring tasks is less to do with time saved, and more to do with making sure that it will get done and be done the same way every time.

Bonus tip: log the outputs of automated tasks when they run, but only send out notifications of errors - that way you don't train staff to ignore the notifications from the task just because they see it every time the job runs, and instead seeing a notification from it is rare, so they know they need to investigate.
by veunes | 2026-01-06 12:29:07+00:00
The author nailed the problem but missed the technical root cause: lack of controllability. Current models (Sora, Veo, Runway) are probabilistic generators. They are optimized to output a plausible image, not the specific image a director needs. Spammers and scammers don't care about specifics, they just need a "talking head" or a "burning city." An artist however needs a specific angle, specific lighting, and character consistency. Until we solve the problem of reliable latent space control (something like ControlNet, but for video and on steroids), AI video will remain a tool for generating digital noise, not cinema
by merpkz | 2026-01-06 12:29:40+00:00
it's last call to get a GPU while there is stock left, no hopes those will become any more affordable in future considering the ongoing DRAM crisis. I am going to get 5070 Ti to replace my 1080 Ti which did a great service over all these years, paid it's worth back two times over during monero mining days and still can play a lot of games on high settings - recently finished RDR2. I sometimes wonder if Nvidia will be still making GPUs useful for gamers in a year or two or just completely shift it's focus to AI accelerators regular people will have no use for. RIP affordable computing at home.
by wild_egg | 2026-01-06 12:29:47+00:00
I've actually built up a set of Claude Skills for creating and using tickets. Currently overhauling them based on what I've found to be most effective. Will probably publish those in a week or two when I've nailed down what I want there.

I haven't seen any great content around this though. I've gone through a lot of trial and error with different approaches over the last few months.

Biggest thing I can say: plan up front. I frontload basically all of my involvement and have Claude do a ton of research to make a very detailed plan document and then the plan gets decomposed into a graph of tickets. I have some other tooling that orchestrates delegating the tickets to focused Claude Code sessions and they can work through them mostly autonomously for many hours until the work is done.
by f1shy | 2026-01-06 12:30:19+00:00
> Start managing people at the same level on your team, on your own initiative

Anecdotically, a coworken in my group started, on his own initiative, to “play manager” in out team, because he wanted to “help us all”. Of course he just wanted to ascend the ladder. That backfired instantly and spectacularly. I would never act with any authority if it was not very clearly delegated by my team, or my superior; and even then I would walk like in thin ice for the first 6 months
by skywhopper | 2026-01-06 12:30:33+00:00
Not sure, but historically, AWS as far as I know has never raised prices on specific instance type usage like this. It makes sense that this would be the first attempt since it’s for apparently guaranteed capacity (vs the normal model of “if we’re out of capacity, too bad for you”).

That said, the real disturbing part of this is not so much the raising of the price for an extremely high-demand resource, but the utter lack of communication about it.
by metalman | 2026-01-06 12:30:37+00:00
no propane burners. propane freezes solid at minus 60°, and you need heaters to get any flow long before it gets that cold, to the point that you can set propane out in a bucket, which I have some experience with in useing it, to supper cool transmission shafts, so that they shrink, and press fit bearings slip right on.
so yes they have propane, but they use it in other, less well known ways.
by 4ggr0 | 2026-01-06 12:31:37+00:00
also probably depends on the building you live in.

not trying to start a flame-war, but i can imagine that you get quite some range in the US, if you live in one of those cardboard-inner-walls houses.

in the 30cm thick solid wall apartment i live in my pebble looses connection the next room over, i almost need line-of-sight for it to work. working at my desk, get up, walk 5 meters to the bathroom, watch looses connection.

maybe my smartphone has a weak bluetooth receiver, compared to other models, who knows...
by Dorker | 2026-01-06 12:32:12+00:00
Hello everyone.

I'm sharing a tool here that I found quite useful for streamlining the reconnaissance and OSINT phase. It’s a website that automates the creation of complex Google Dorks.

Basically, it allows you to enter a domain and instantly generate searches to find PDF files, login panels, exposed directories (index of), or configuration files.

It is Open Source and static (you can check the code on GitHub).

It automatically cleans URLs before sending them to Google.

Web: https://dorksearch.pro/
Show HN: Titan Planet – JavaScript back end framework now powered by V8
by soham_byte | 2026-01-06 12:33:01+00:00
Hi HN,

Titan Planet is a JavaScript-first backend framework that lets you write backend logic in JavaScript and deploy it as a single native Rust binary.

Today, I’m sharing a major update:

What’s new

1. V8 runtime (no more Boa)
Titan Planet now uses V8 to execute JavaScript bundles.
This significantly improves execution speed, compatibility with real-world JS libraries, and overall runtime stability — while still keeping Node.js completely out of production.

JavaScript is bundled ahead of time and executed inside an embedded V8 runtime. Rust continues to own networking, async I/O, concurrency, and deployment.

2. Expanded runtime APIs
Titan now ships with a growing set of built-in runtime APIs designed for backend workloads:

t.log(...) – structured logging

t.jwt – JWT sign / verify helpers

t.password – hashing & verification helpers

t.fetch – HTTP requests

File access, env access, and more

These APIs are implemented on the Rust side and exposed safely to JavaScript, keeping the runtime controlled and predictable.

3. Same core philosophy

No Node.js

No Node event loop

No JS tooling required in production

One native binary output

JavaScript scoped strictly to application logic

Docs

Documentation (architecture, runtime APIs, examples):
https://titandocs.online

Titan is opinionated by design and won’t fit every use case — but if you’re interested in a Rust-owned backend with JavaScript ergonomics and a V8 runtime, feedback is very welcome.

Happy coding.
by imtringued | 2026-01-06 12:33:02+00:00
I don't know why people think that legs automatically make everything more flexible. It boggles the mind.

Look at real flexible manufacturing systems to see how much of a bullshit idea that is: https://youtu.be/gUvE2eFH6CY

Everything is transported via the central stacker crane that is directly connected to every machine. You don't need legs. This just leaves the arms and here is the thing, you can just have two robot arms in the same robot cell and call it a day. The humanoid form factor adds nothing.

Also what makes you think you don't have to program the humanoid robots? Again, everyone seems to think that if you build a human shaped robot, human level intelligence will automatically come as a result of the shape of the robot. The moment you remove the head, the intelligence vanishes.
by veunes | 2026-01-06 12:34:24+00:00
The problem runs deeper: AI doesn't just remove execution, it replaces it with probabilistic averaging. Mastery of execution in film or code consists of thousands of micro-decisions, like light a bit to the left or pause a bit longer. Current diffusion models make these thousands of decisions for you based on what usually looks good. Democratization won't happen when the Make it Beautiful button works, but when we have tools to control these thousands of micro-decisions without needing to learn to draw pixels by hand. Right now we have randomization, not democratization
by KronisLV | 2026-01-06 12:34:43+00:00
I feel like the whole memory situation might also utterly screw up the pricing and value proposition of the upcoming Intel Arc B770.

I got a B580 cause everything else was out of my price range at the time (9060 XT 16 GB only seems to have 3 video outputs and I have no experience with daisy chaining to drive my 4 monitors and the 5060 Ti 16 GB pricing here is just sad).

I fear that companies will rise the prices during this shortage… and just never properly lower them again.
by Ray20 | 2026-01-06 12:34:43+00:00
> The best move is to cozy up to whomever is in power next.

Why care whomever is in power next? You could just do your job.

So, the solution is to press the nuclear button, get a couple hundred million dollars from an offshore account in Cyprus, and live in any country of your choice. Why care about polls in this hole, and what the US will do with this hole in response to the use of nuclear weapons?
by xvxvx | 2026-01-06 12:35:03+00:00
- GPU prices rising

- RAM prices rising

- hard drive prices rising

Are we looking at a future where home computers are replaced by thin clients and all the power lies in subscription services?

‘You don't need storage space, use our cloud subscription’

‘You don’t need processing power, stream your games through our subscription service.’

Game publishers have already publicly floated the idea of not selling their games but charging per hour. Imagine how that impact Call of Duty or GTA.

Physical media could easily be killed off. Does my iPhone need 1TB of storage or will they shrink that and force everything through iCloud?

How long before car ownership is replaced with autonomous vehicle car pools? Grocery stores closed to visitors, all shopping done online and delivered to your door by drone.
Show HN: PutHouse – The AI Options Trader
by jansonlau | 2026-01-06 12:35:22+00:00
Like many of you, I liked the idea of selling premium. It feels like a great strategy for passive income. But despite trading for years, I was still my own worst enemy and I kept seeing people in this sub asking for a way to automate trading because, let’s be honest, the manual grind is brutal. I noticed three things that kept me suffering:

Time sink: Checking prices, monitoring delta, watching for assignment risk, deciding when to roll or close. I was spending 10+ hours a week managing positions. That’s not "passive" income; that’s a second job.

Emotional decisions: When I saw extra premium, I’d pick strikes out of greed. When I was winning, I’d want to hold longer. And when the market moved, I didn’t want to miss out. I knew the rules and still broke them.

Gatekeeping: I’d see screenshots of huge gains with zero explanation. Just a P/L flex. I don’t think most people are malicious but the end result is the same: outcomes without process.

I stopped trying to trade better and started trying to remove myself from the equation. I built a systematic tool called PutHouse to automate the mechanics of covered calls and cash-secured puts.

What I’ve learned since running PutHouse across different market conditions:

Time is the real ROI: Getting back ~10 hours a week to live life and have it managed for you has been the biggest win.

Systematic > intuitive: A boring, repeatable strategy beats a gut feeling every single time.

Transparency matters: I need to know what the data is telling me because metrics such as IV, RV, RSI, OI, and delta are important.

I’m opening this up because I want to stress-test the logic with people who actually trade this way. I’m not looking to sell you anything. I genuinely want feedback on what I’ve built:

What would you not trust about an algorithmic approach to selling premium?

For those who trade manually, what’s the "edge case" or market condition that would make you worry about an automated system?

What metrics are you looking at that I might be missing? (Currently: IV, RV, RSI, OI, Delta, DTE, Min Volume, Min Price, Bid/Ask Spread).

The goal isn't a "money printer". It's consistency and risk management. If you’ve built something similar or have thoughts on the mechanics, I’d love to hear what you would be most worried about.
by estearum | 2026-01-06 12:35:36+00:00
It's not "fraudulent" per se, nor does it require corruption or collusion beyond what people already openly accept when they accept the existence of payviders (which they shouldn't! Or at least not for-profit payviders).

Payvider: An entity that is both a payer (insurer) and a provider (medical practice). Most payviders also have vertically integrated PBMs (pharmacy benefit managers), pharmacies, and labs, all of which participate in the same scheme.

A few of the examples you listed are NOT payviders, they're just payers, and therefore do not have these levers available to them.

Vertically integrated companies evade profit caps on their insurance division by shifting money to their unregulated provider, PBM, or labs divisions. It's pretty simple: the insurance arm overpays its own subsidiary doctors and clinics and records these internal transfers as mandatory "medical care" which is recorded as loss on the insurance side. The parent company then pockets the excess money as unrestricted profit on the provider/PBM/lab side, effectively bypassing the legal limit on how much insurance revenue they can keep and completely destroying the incentive to manage costs through their insurance division, at least when those costs originate from their own providers, which given that e.g. UHG is now the largest employer of doctors in the US, is increasingly often!

Is it fraudulent, corrupt, or collusive for a health insurer to employ doctors who deliver care? Not per se, but it gives insurers the ability to more or less arbitrarily convert premium dollars into profit while still getting people to defend them with claims like "they've been underperforming the SP500 for more than a decade."

Here are a few sources about different constituent behaviors, though you'd have to do a decent amount of reading to stitch together the full picture of how this works:

https://www.statnews.com/2024/11/25/unitedhealth-higher-paym...

https://www.healthaffairs.org/content/forefront/insurers-own...

https://www.wsj.com/us-news/unitedhealth-medicare-fraud-inve...

https://www.statnews.com/2024/07/25/united-health-group-medi...
by keraf | 2026-01-06 12:37:05+00:00
Eric's answer is just don't buy it if you're not happy with the warranty [0].

I'm still willing to take the risk because Pebble smartwatches are the only ones I like and wear. I managed to give my OG Steel another life by replacing the battery. Unfortunately that seems to be harder with the Round 2 as there won't be any screws. I'm still a bit split on whether to change my Time 2 pre-order for a Round 2.

[0] https://bsky.app/profile/ericmigi.com/post/3maubss6mqc25
by kjellsbells | 2026-01-06 12:37:07+00:00
> suggests a way forward will come from formalising natural language arguments

If by this you mean "reliably convert expressions made in human natural language to unambiguous, formally parseable expressions that a machine can evaluate the same way every time"... isn't that essentially an unreachable holy grail? I mean, everyone from Plato to Russell and Wittgenstein struggled with the meaning of human statements. And the best solution we have today is to ask the human to restrict the set of statement primitives and combinations that they can use to a small subset of words like "const", "let foo = bar", and so on.