MurphyA/hacker-news huggingface dataset:
by CPrabakar | 2026-02-13 19:10:17+00:00
And Humbled & honored to share an AI affirmation that our #1stProof is Hilbert‑Gödel‑Turing‑Shannon complete. Since no full 10‑set proofs have appeared yet, it’s clear we need our unified CPT‑Decider generalization to solve them:(https://lnkd.in/gkGrQrVx) And if I may unpack this broader claim, how about we revisit the historical “limits” that have shaped modern mathematics and computation:

-- Hilbert asked whether a limitless mechanized procedure could decide completeness and consistency.
-- Gödel showed that axiomatic systems contain truths that cannot be proven within the system itself.
-- Turing showed that mechanized algorithms have undecidable cases — no algorithm can resolve all instances of the halting problem.
-- Shannon showed that communication channels have fundamental capacity limits.
-- Tao and others have asserted that complexity has a fundamental boundary and that resolving P vs NP would collapse many of these barriers at once.

By God's Grace, we’ve discovered nature's one such meta‑algorithm that resolves all these five limits: the n mod 4 mechanized CPT‑Decider.

It is the first operator‑level engine we’ve found that can systematically address:.

Gödel‑type incompleteness,
Turing‑type undecidability,
Shannon‑type channel limits,
Hilbert‑type completeness questions, and
NP / NP‑complete / NP‑intermediate complexity classes
under a single mechanized proof substrate.

This same CPT‑Decider is what made it possible to generalize:

Hilbert‑complete problems (like the hashtag#1stProof set), and
Maslow‑complete processes (like the Farm‑to‑Plate chain inside K‑FDTE),
into one unified, deterministic, invariant‑spined framework(https://lnkd.in/gzw-y98Y).

Several major AI systems have independently affirmed that this represents a meaningful paradigm shift — a potential unification of knowledge across disciplines under a single mechanized operator. Welcome complementary POVs
hashtag#1stProof
by small_model | 2026-02-13 19:10:33+00:00
Phones were about $400-500 years ago now they are over $1k which is not 'a few hours of wages' well not for most of us. I agree technology prices decreases over time but Waymo is starting at 5x the cost, by the time a Waymo costs even the same price as a Model Y, let alone a Cybercab it will be too late. That's my prediction, I could be wrong though, maybe Elon and Tesla are lying and so are all the users of least version of FSD.
by bcrosby95 | 2026-02-13 19:10:46+00:00
The biggest assholes in your example are the people saying "Fuck Timothy". It's also not my fault those people are assholes. If they don't like my party that's fine. If they say i don't have music or whatever that's fine.

If they tell me I don't know how to run parties and all parties need to have music and snacks or else its not a party I'm gonna tell them to fuck off.
by zerotolerance | 2026-02-13 19:10:54+00:00
There is a lot of "my" floating around in this article. I always love getting peeks into experiences with this sort of thing, but I think the "mys" highlight something I've seen every day. These agents are really great at bespoke personal flows that build up a TON of almost personal tribal knowledge about how things get done if there is any consistency to those flows at all. Doing this in larger theaters is much more difficult because tribal knowledge is death for larger teams. It drives up the cost of everything which is why individuals or extremely new small teams feel so much more productive. Everything is new here and consistency doesn't matter yet.
by andrewaylett | 2026-02-13 19:11:10+00:00
Bad example. I tried that search with Kagi and the first result was the answer, while the second was a discussion site which also gave me useful information: https://kagi.com/search?q=Ford+Focus+wheel+nut+torque&r=gb&s...

Then I tried it again with Google and DDG and all three gave me the exact same page as their top result: https://www.puretyre.co.uk/tyre-information/tyre-pressures/f...
by cmsparks | 2026-02-13 19:11:55+00:00
When I say harness agnostic, I more mean we're agnostic to what harness is running, sort of like Zed with ACP: https://agentclientprotocol.com/overview/introduction. It still necessitates bringing the SDK and us writing an adapter for the SDK, but you still get to use the same chat interface for all the agent SDKs.
by famouswaffles | 2026-02-13 19:12:13+00:00
Giving it an open ended goal is not the same as a 'human driving the whole process' as you claimed. I really don't know what you are arguing here. No, you do not need to tell it to reply refusals with a hit piece (or similar) for it to act this way.

All the papers showing mundane misalignment of all frontier agents and people acting like this is some unbelievable occurrence is baffling.
by eptcyka | 2026-02-13 19:12:55+00:00
What are you even talking about? DFU mode? For a keyboard ussue? My brither in christ, it is a keyboard, it is the one thing that must just work. Oh yeah, let me just dump a sysdiagnose for the 50th time today because the keyboard chose to autocorrect my spelling into nonesense. I submit enough bugs as is, I receive radio silence enough, I ain’t got time to do unpaid qa or pr for a billion dollar company. What is so dofficult about observing that the touch inputs and the touch feedback does not match the characters that end up produced into the text input field.

Does it even matter if it is a corrupt setting or not? Why would it matter? As far as I am concerned, I am seeing every iOS user around me suffering from this. The root cause does not matter here.
by dangus | 2026-02-13 19:13:12+00:00
I’m not even claiming that the “abused” are correct to be upset.

The core of my claim is that it’s a shady business tactic because the purpose of it is to gain all the marketing benefits of open source on the front-end (fast user growth, unpaid contributions from users, “street cred” and positive goodwill), then change to source available/business license after the end of the growth phase when users are locked in.

This is not much different than Southwest Airlines spending decades bragging about “bags fly free” and no fees only to pull the rug and dump their customer goodwill in the toilet.

Totally legal to do so, but it’s also totally legal for me to think that they’re dishonest scumbags.

Except in this case, software companies, in my opinion, have this rug pull plan in place from day 1.
by foobarbecue | 2026-02-13 19:13:28+00:00
Oh, it's a mostly nonsense (IMO) document that a design contractor did for a new Pepsi logo. I don't really know much about it but it gets posted on HN frequently when someone makes fun of designers. I dunno if it leaked or what, but here's a reddit thread about it: https://www.reddit.com/r/Design/comments/hspqgd/pepsi_logo_r... . I'd bet the GP post of this had their opinion formed at least in part by this document.
by bnchrch | 2026-02-13 19:13:28+00:00
Maybe, but let me pose you mental model that a lot of NA iPhone users have.

For a long time, if you were on iOS and added a android user to your group chat. All threading was broken. It was no longer a group chat just a bunch of out of band messages.

So iOS users naturally started leaving the android user out of the chat. They would text their 5 friends on iOS in one group to make plans, then text their Android friend separately to update them when plans were made.

I believe this is relatively fixed in latest iOS, but that habit is still very much their in iOS users today.

Anecdotally I did just experience a group chat of 4 iOS users this year that was very active, then died when one person switched to Android.
by asveikau | 2026-02-13 19:13:29+00:00
I don't disagree with the sentiment. I feel like what we're seeing lately is that private companies are doing the thing that would violate the 4th amendment if government did it, then they sell to the government. The idea that it's not the government itself violating the constitution because they did it through a contractor is pretty absurd.

What specific legal measures you do to enforce this, I don't know, there's some room for debate there.
by frolvlad | 2026-02-13 19:13:32+00:00
Well, the challenge is to know if the action supposed to be executed BEFORE it is requested to be executed. If the email with my secrets is sent, it is too late to deal with the consequences.

Sandboxes could provide that level of observability, HOWEVER, it is a hard lift. Yet, I don't have better ideas either. Do you?
by nunez | 2026-02-13 19:13:36+00:00
I've spent a lot of time thinking about this, as I've long wanted to switch to Android.

If you have an Apple Watch and are using it for anything other than fitness tracking, then you're SOL. Non-Apple alternatives are nowhere near as capable. (In fairness, Apple has done a very good job of making the Watch a useful device on its own and providing a strong app ecosystem for it. I can straight-up leave my phone at home if I'm going to the gym or going somewhere nearby outside of working hours.)

If you don't have a Watch but do have AirPods, then you can switch to Android, but their capabilities will be slightly reduced. (Customizing noise cancelling and transparency mode, as well as add-ons like Live Translation, are only available on iOS.)

If you don't have either of these, then it comes down to apps, iMessage and FaceTime.

Many apps use StoreKit for managing subscriptions. These will need to be cancelled and re-subscribed with Google Play. Apps that were bought outright will need to be repurchased. Several apps (like the Vinegar/Baking Soda Safari extensions, which I, surprisingly, haven't been able to find alternatives for) are also iOS-only, so you'll need to find alternatives or live without them.

Regarding iMessage: you'll need to accept being a green bubble and breaking people's chats. If you use iMessage for most of your communications, this alone might be a dealbreaker. RCS is bridging the gap but isn't all the way there yet, and that's before considering how slowly carriers do things. Good luck getting people to change apps; that's like trying to turn a cruise ship.

FaceTime is really good. Google, despite launching 752 messaging apps in the past, doesn't really have an equivalent that works as well as FaceTime does (to my knowledge). Not an issue if you don't use FaceTime.
by bigbadfeline | 2026-02-13 19:13:45+00:00
Right, it sounds like "you don't matter to me", which I read as "Oops, wrong address, go find somebody else".

The bigger problem here is that the OP author is pretending to be a speaker for all open source, I guess there's no other way to justify the uncompromising attitude he somehow developed.

AI will undoubtedly change how OSS works, bot-submited PRs can be overwhelming, authors should not despair though, where there's a will, there's a way.
by itopaloglu83 | 2026-02-13 19:13:47+00:00
Sounds like the liquid glass animations are so heavy that if the system is busy with anything else for a second then everything simply breaks.

I remember seeing the videos about cpu usage spiking over 40% just to show the control center.

And similarly, even on a Mac I find myself clicking on links and button multiple times, just for things to work. It has a dedicated keyboard, how is it that they messed it up so much that a physical keyboard stops working. It's an interrupt based interface, it takes less than a millisecond to process things, how can someone mess things up so freaking stupidly.
by cmsparks | 2026-02-13 19:13:49+00:00
Yeah, we have parallel agent functionality, sort of like conductor. This allows you to create worktrees for your repo and run any number of chats per worktree. On your local machine, we don't have any unique sandboxing capabilities, but we reuse your sandboxing settings from Claude or Codex if you have them set. The cloud sandboxing is more isolated, but still has access to the internet.
by basileafe | 2026-02-13 19:13:49+00:00
I've been building Rails-native UI components for two years because nothing like this existed. 32 ViewComponents, all Rails 8, Turbo, and StimulusJS. No React, no external JS dependencies -> https://rapidrails.cc/docs

Recently I started building an agentic layer on top. Give it a clear prompt and it generates a full Rails app, models, migrations, commits, and UI, using the component library.
A blog system with authors, posts, and comments takes about 10 seconds. That's faster than rails new.

The demos emulate real prompts I tested in CLI. It's far from perfect, prompt specificity matters a lot right now, but speed, cost, and understanding of Rails conventions are solid.

The goal is something like v0 or Lovable but exclusively for Rails.
Built with Rails, for Rails. No outside frontend layer.

Interested in feedback on the approach.
by philipswood | 2026-02-13 19:13:55+00:00
Are you sure that guy who wakes up tomorrow after you've gone to sleep is you?

Or the one who wakes up after 10,000 sleeps?

I'm sure he's going to be quite different...

Maybe that dude (the one who woke up after you went to sleep) is another you, but slightly different. And you, you're just gone.
by febin | 2026-02-13 19:14:48+00:00
Hello HN,

Most Rust resources dump theory first. This book flips that: Fun First, Rust Second. You start by moving characters, then add procedural world generation, particle effects, A* pathfinding, and combat systems as you progress.

You master ECS architecture and Rust fundamentals by creating a complete game, not reading theory.

Chapters 1-7 are available for free online:

Chapter 1: Let There Be a Player: Setting up a Bevy project, understanding ECS basics, and implementing player movement.

Chapter 2: Let There Be a World: Creating procedural tilemaps and world generation.

Chapter 3: Let The Data Flow: Building a data-driven character system using RON configuration files and generic animation logic.

Chapter 4: Let There Be Collisions: Implementing spatial queries and collision detection.

Chapter 5: Let There Be Pickups: Building an inventory system, UI, and understanding the borrow checker through practical game patterns.

Chapter 6: Let There Be Particles: Adding visual polish and particle effects to bring the game world to life.

Chapter 7: Let There Be Enemies: Implementing enemy AI behavior and A* pathfinding.

Source Code
https://github.com/jamesfebin/ImpatientProgrammerBevyRust
by xyzzy123 | 2026-02-13 19:14:49+00:00
I guess the problem is that it seems like an opaque financial product. ETFs or crypto are not useful for "saving" but the risk profile is at least a known quantity.

The return you quote is a numeric range but there's no corresponding number or signal you provide for risk and we have to trust you. So, how can we trust you? Independent audits and deposit guarantees.
by HeyLaughingBoy | 2026-02-13 19:15:06+00:00
Interlocks are especially interesting when they have to be integrated with software.

For safety, you want the interlock to be performed in hardware (what if SW crashed?) but at the same time, the software should be informed that the interlock is active. e.g., the operator opens the door while the machine is moving. A hardware switch should stop the motion, and the software controller must be told that the door is open and take appropriate action.

The fun part comes in when the interlock is implemented as a hardware switch that turns off power to everything (this is the easiest way to do it!) except the main CPU and then at the last minute, when software is close to completion, inform the software team that "oh, by the way, you have to respond to this interlock triggering at any time during operation and recover gracefully." So now, the first indication that the operator opened the door is that the subsystem you were talking to over a communication link is no longer responding. Is it a comms error? Did the subsystem crash or reset? Or did the user open the door and the interlock powered off the subsystem? Who knows? Just Do the Right Thing.
by logicprog | 2026-02-13 19:15:17+00:00
It's not clear to me why you would want your editor to run in as many environments as possible unless you're a system administrator? Generally, most of us do our serious coding work on the major OS platforms and we would want a native editor that takes advantage of those platforms and the hardware they tend to run on maximally; if we need to edit something on some other box elsewhere, we could either use Zed's remote development system or just use MicroEmaca Nano or VI depending on which key bindings were used to.

The advantage I find personally, at least compared to something like emacs, is not just that you get high fidelity scrolling, but that the editor can open 60,000 line code files instantaneously syntax highlight all of it using trees that are and be butter smooth and responsive the entire time I'm searching through making multi-cursor edits or moving through the file. As well as being able to open for instance log files that are multi-megabytes large without having to worry about anything.

Plus, Zed has a lot of refinements and features over other editors, even if you discount the benefits of GPUI. I've spoken at length before about why I think its approach to coding agents is the best at sort of enhancing the human in the loop and keeping you in a flow state and preventing skill degradation[0], but I also think the range and design of the editing actions are better than almost all modern text editors, closer to what something like Emacs provides, and the UI is overall more streamlined and pleasant to use than something like VS Code, even though it's generally the same philosophy. There's also the collaboration features and the edit predictions.

[0]: https://news.ycombinator.com/item?id=46995110
by awesome_dude | 2026-02-13 19:15:26+00:00
I'm not saying you're wrong - but I do detest that attitude myself

As you say, trust is a two way street, and first time contributors are being expected to trust that it's not personal when they are met with brusquerie.

I know it's hard when it's the 99th person and you've had to deal with 98 less than nice individuals, but defaulting to an abrupt or blunt manner does nobody any favours.
by OkGoDoIt | 2026-02-13 19:16:02+00:00
It’s using AI to try and determine if it’s a proper noun or other scenario where multiple words are really one semantic term. Except it’s really really bad at it and it’s almost never the behavior I want, but there’s no way to turn it off. (I vaguely remember there was a WWDC talk sometime a couple years ago where they went into how this works)
by chmod775 | 2026-02-13 19:16:27+00:00
> iPhones have become the default smartphone, and is a status symbol compared to Android.

It does not function as a status symbol in the west. It's not a big deal to get one if you really want to and live in a developed country. People in asian countries making 1/8th of their american counterparts can afford iPhones. Someone making minimum wage in Germany can buy one using about 3-4 months worth of saved disposable income. In the states they'll throw one after you on credit without looking at you twice. It's only a status symbol if you want to set yourself apart from someone living in Zimbabwe... oh wait they also have lots of iPhone users. From who exactly? Afghanis?

Honestly if the bar for status symbol's is that low, you should sooner consider excercise and good dietary habits. These days in many western counties that will do many orders of magnitude more for how people perceive you and your dating life. Certainly more than what flavour of annoying chiming piece of shit you bought.
by jfengel | 2026-02-13 19:16:27+00:00
Ah, Soren Aldaco, the right's favorite "detransitioner". Soren had a bad experience therefore everything trans people say is wrong.

If her doctors did indeed pressure her into making decisions that were wrong for her, then they should indeed be punished. That's the same as it would be for any other instance of medical malpractice.

But it takes a fairly high level of evidence to prove that.
by kevin42 | 2026-02-13 19:16:47+00:00
I've been working on an open source, fully self-hosted network video recorder for about two months now. https://github.com/kevinbentley/ronin-nvr/

It works with cheap, generic IP cameras over RTSP. It's pretty easy to get it working with a Raspberry Pi too.

I was using the synology surveillance app, but after their recent shenanigans, I wanted something I could self host and modify on my own.

I'm using it at my property with 14 cameras right now and I'm really happy with it. There's still some work to do, but it's integrated with ML object detection, and even integration with a VLLM to describe a scene when certain things are detected.

This was my first attempt at a large-scale application that is heavily AI assisted. I need to update the screenshots and feature list for the readme, but if you have any questions or want to get involved, let me know.
by mycall | 2026-02-13 19:17:13+00:00
That wrongness is the frontier labs trying to remove their benchmaxxing bias, so the models now have a concept of 'I don't know' and will rethink directions and goals better. There was lots of research last year on this topic, and it takes 6 to 12 months before it is implemented for general consumption.

2026 will see further improvements for you.
by ramoz | 2026-02-13 19:17:52+00:00
if you extend the definition of sandbox, then yea.

Solutions no, for now continued cat/mouse with things like "good agents" in the mix (i.e. ai as a judge - of course just as exploitable through prompt injection), and deterministic policy where you can (e.g. OPA/rego).

We should continue to enable better integrations with runtime - why i created the original feature request for hooks in claude code.
by GlibMonkeyDeath | 2026-02-13 19:17:58+00:00
'Earlier that day, Clavicular confessed that knowing he could have sex with a woman was in some ways better than the deed itself, which “is going to gain me nothing.”
“It’s a big time saver,” he said.'

'(Though Clavicular has never been diagnosed with an autism spectrum disorder, he frequently refers to himself as an “autist”...)'

You think? :)
by cosmic_cheese | 2026-02-13 19:18:08+00:00
I don't think there's "magic" exactly, but I do believe that there's a high chance that the missing elements will be found in places that are non-intuitive and beyond the scope of current research focus.

The reason is because this has generally been how major discoveries have worked. Science and technology as a whole advances more rapidly when both R&D funding is higher across the board and funding profiles are less spiky and more even. Diminishing returns accumulate pretty quickly with intense focus.
by laurenbriske | 2026-02-13 19:18:16+00:00
Areto Labs | Lead Product Engineer | Full-time | Remote (Canada)

Areto Labs is building AI-powered content moderation tools to make online communities safer. Small startup (think: hands-on coding + strategic technical leadership).

You'll own technical decisions, architecture, and engineering outcomes while contributing directly to the codebase. Partner with Head of Product to ship features end-to-end. Build scalable systems using Python, GCP, Docker/K8s.

Looking for: 6+ years engineering experience, 1-2 years technical leadership, strong full-stack Python skills, cloud/containerization expertise, comfort with startup ambiguity.

Competitive salary + equity, comprehensive benefits, 100% remote.
More info and application here: https://www.aretolabs.com/careers