MurphyA/hacker-news huggingface dataset:
by plaidfuji | 2026-02-18 20:13:17+00:00
This is the biggest bottleneck. To realize the “replacement of white collar workers” fever dream, (which is, I still believe, technically feasible), you need the agent that replaces them to have all of the context they had. All of the emails, all of the Slacks, all of the meeting minutes, access to private corporate systems and files, etc. I can’t think of a single company that would want to turn all of that over to OpenAI.
by Ayesh | 2026-02-18 20:13:27+00:00
I'm surprised the ballot passed, unanimously even! I get that storing the DNS credentials in the certificate renewal pipeline is risky, but many DNS providers have granular API access controls, so it is already possible to limit the surface area in case the keys get leaked. Plus, you can revoke the keys easily.

The ACME account credentials are also accessible by the same renewal pipelines that has the DNS API credentials, so this does not provide any new isolation.

~It's also not quite clear how to revoke this challenge, and how domain expiration deal with this. The DNS record contents should have been at least the HMAC of the account key, the FQDN, and something that will invalidate if the domain is transferred somewhere else. The leaf DNSSEC key would have been perfect, but DNSSEC key rotation is also quite broken, so it wouldn't play nice.~

Is there a way to limit the challenge types with CAA records? You can limit it by an account number, and I believe that is the most tight control you have so far.

---

Edit: thanks to the replies to this comment, I learned that this would provide invalidation simply by removing the DNS record, and that the DNS records are checked at renewal time with a much shorter validation TTL.
by CqtGLRGcukpy | 2026-02-18 20:13:41+00:00
"Support for the draft specification is available now in Pebble, a miniature version of Boulder, our production CA software. Work is also in progress on a lego-cli client implementation to make it easier for subscribers to experiment with and adopt. Staging rollout is planned for late Q1 2026, with a production rollout targeted for some time in Q2 2026."
by hinkley | 2026-02-18 20:13:52+00:00
There’s a famous case study in design about the Average Pilot - they were making airplanes than nobody could fly well because nobody was average enough in all physical dimensions to be comfortable in the aircraft. They had to design for ranges that the equipment could adjust through.

Even then when I was a kid I knew a guy who wanted to join the air force and he had a growth spurt that made him too tall.
by ddtaylor | 2026-02-18 20:13:53+00:00
Are you suggesting that CUDA is the entirety of the "software gap", because it's a lot more than that. That seems like a strawman argument.

Andrzej Janik.

Starter at Intel working on it, they passed because there was no business there.

AMD picked it up and funded it from 2022. They stopped in 2024, but his contract allowed the release of the software in such an event.

Now it's ZLUDA.
by Normal_gaussian | 2026-02-18 20:14:33+00:00
Have you tried using a more traditional, non-LLM, loop to do the analysis? I'd assume it wouldn't catch more of the more complex deceptive behaviours, but I'm assuming most detections can be done with various sentiment analysis / embedding tools which would drastically reduce cost and latency. If you have tried, do you have any benchmarks?

Anecdotally, I often end up babysitting agents running against codebases with non-standard choices (e.g. yarn over npm, podman over docker) and generally feel that I need a better framework to manage these. This looks promising as a less complex solution - can you see any path to making it work with coding agents/subscription agents?

I've saved this to look at in more detail later on a current project - when exposing an embedded agent to internal teams I'm very wary of handling the client conversations around alignment, so I find the presentation of the cards and the violations very interesting - I think they'll understand the risks a lot better, and it may also give them a method of 'tuning'.
by LargoLasskhyfv | 2026-02-18 20:15:32+00:00
Depending on the time, country, calling cards wery anything but a scam. More like telcos scamming you! ;->

Imagine back in time, around the year 2000, or so. Some german wants to phone with someone in Florida, US from Germany. The rates were not exactly insane, but very noticable.

Interestingly so called "call shops" boomed at the same time, which advertised calling cards. So I went into one and got some for really cheap. All of them worked, were about 10 to 40 times cheaper per time than my telco, AND had better voice quality. Just dialing a number in Frankfurt am Main, dialing in some code, and then the real number you wanted to talk to. Could be seen as a hassle, but worked for me.
by ekipan | 2026-02-18 20:15:54+00:00
I forget the context but the other day I also learned about Snowflake IDs [1] that are apparently used by Twitter, Discord, Instagram, and Mastodon.

Timestamp + random seems like it could be a good tradeoff to reduce the ID sizes and still get reasonable characteristics, I'm surprised the article didn't explore there (but then again "timestamps" are a lot more nebulous at universal scale I suppose). Just spitballing here but I wonder if it would be worthwhile to reclaim ten bits of the Snowflake timestamp and use the low 32 bits for a random number. Four billion IDs for each second.

There's a Tom Scott video [2] that describes Youtube video IDs as 11-digit base-64 random numbers, but I don't see any official documentation about that. At the end he says how many IDs are available but I don't think he considers collisions via the birthday paradox.

[1]: https://en.wikipedia.org/wiki/Snowflake_ID

[2]: https://youtu.be/gocwRvLhDf8
by hinkley | 2026-02-18 20:16:19+00:00
Alcohol reduces clotting factors in the blood. This is known.

Doctors mostly tell you not to drink because it’ll fuck with the anesthesia math and bad anesthesia doses can kill you just as dead as a surgical mistake and probably moreso. But it’ll also make you bleed more.

If you need courage to show up to surgery they’ll give you a prescription for a single dose of a benzo. Which is better than liquid courage anyway.
by throwaway150 | 2026-02-18 20:16:30+00:00
> if you are going to do something for a living, make sure it is NOT scalable.

Great advice but difficult to action though.

I mean 10 years back I'd have thought programming is that thing which is not scalable. I had every reason to believe that. It required skill, experience, ability to stay current, grit for debugging hard stuff. Much of it can be automated now.

What can I pick now for a living that is not scalable today that some future technology would automate it just as easily.
by deltoidmaximus | 2026-02-18 20:16:46+00:00
They wouldn't pull out of California. It's 1/5 of the US economy and would leave a gaping opening for a competitor to gain a stronger foothold there. You're right it's about money not principles but that's exactly why the threat would be empty. They'd probably lobby congress to try and make it illegal for the states to enact the protection and do some performative annoyances instead.

They might try to make an example out of a smaller state, but since they aren't selling food or fuel or heart pills it isn't like the state is going to collapse without access to Meta properties.
by rubyn00bie | 2026-02-18 20:16:46+00:00
I got a big laugh at the “only” part of that. I do have a sincere question about that number though, isn’t time relative? How would we know that number to be true or consistent? My incredibly naive assumption would be that with less matter time moves faster sort of accelerating; so, as matter “evaporates” the process accelerates and converges on that number (or close it)?
by buggymcbugfix | 2026-02-18 20:16:56+00:00
+1. This is 100% hallucinated. Creds: My first programming language was GRAFIS CAD Fachsprache, a parametric pattern drafting software for garments, which incidentally powers our business (https:/liepelt.design—the website and intranet of which we are developing in ur/web btw just to clarify the geek factor!)
by antidamage | 2026-02-18 20:16:56+00:00
It looks like it has a 3d draping view, but it didn't seem very good yet. Check out Marvellous Designer, that's what anyone doing digital-first uses.

Drapey clothing is probably the easiest to freehand without a pattern though. It's accurate fits that need more measuring, planning, temporary stitching, test garments, etc.
by advisedwang | 2026-02-18 20:17:13+00:00
And universally across the globe societies have decided that flying them requires:

* Pilots to have a license and follow strict proceedure

* Every plane to have a government registration which is clearly painted on the side

* ATC to coordinate

* Manufacturers to meet regulations

* Accident review boards with the power to mandate changes to designs and procedures

* Airlines to follow regulations

Not to mention the cost barrier-to-entry resulting in fundamentally different calculation on how they are used.
by nextos | 2026-02-18 20:17:37+00:00
Lean is great, but if someone's primary interest is SWE, I think there are better choices. The Lean community is primarily focused on formalizing mathematics right now. This might change in the future. Lean is nice to learn theorem proving, but once you learn the basics, you'll hit a roadblock when trying to move to software verification applications.

For SWE, the most mature option is probably Isabelle. It's also a classical theorem prover, and it's perhaps easier to start with something that doesn't have dependent types. A cool thing is that the canonical Isabelle book [1] has been rewritten in Lean [2].

[1] http://concrete-semantics.org

[2] https://github.com/lean-forward/logical_verification_2025
by JeddHampton | 2026-02-18 20:17:46+00:00
I'm currently reading a book written by the guy who created the Dothraki and High Valerian languages for Game of Thrones. He had to make what already existed in the books for, so there were a few things already set.

He was a consultant in the show as well as he was the one who had to get the actors to speak it well.

The book is called The Art of Language, and if you have an interest in conlangs, you should give it a try.
by antonvs | 2026-02-18 20:17:49+00:00
> Look, Bernie isn't Trump. He's been consistently pushing in the same direction for decades. He actually cares about his issues; he's not just using them as a cover for seeking power.

Exactly.

> But I think that, if he got actual power (president, not just senator), the dynamics of the situation would also push him to become more and more authoritarian.

This is just sheer unsupported speculation. It's silly.
by csense | 2026-02-18 20:18:11+00:00
To get a Let's Encrypt wildcard cert, I ended up running my own DNS server with dnsmasq and delegating the _acme-challenge subdomain to it.

Pasting a challenge string once and letting its continued presence prove continued ownership of a domain is a great step forward. But I agree with others that there is absolutely no reason to expose account numbers; it should be a random ID associated with the account in Let's Encrypt's database.

As a workaround, you should probably make a new account for each domain.
by BeetleB | 2026-02-18 20:18:48+00:00
I think the people critical of OpenClaw are not addressing the reason(s) people are trying to use it.

While I don't particularly care for this bot's (Rathburn) goals, people are trying to use OpenClaw for all kinds of personal/productivity benefits. Have a bunch of smallish projects that you don't have time for? Go set up OpenClaw and just have the AI work on them for a week or two - sending you daily updates on progress.

If you're the type who likes LLM coding because it now enables you to do lots of projects you've had in your mind for years, you're also likely the sort of person who'll like OpenClaw.

Forget bots messing with Github and posting to social media.

Yes, it's very dangerous.

But do you have a "safe" alternative that one can set up quickly, and can have a non-technical user use it?

Until that alternative surfaces, people will continue to use it. I don't blame them.
by Spivak | 2026-02-18 20:18:55+00:00
Because LE keeps a mapping of account ids to emails and public keys. You have to have the private key to the ACME account to issue a cert. The cryptography is still there but the dance is done by certbot behind the scenes.

Prior to this accounts were nearly pointless as proof of control was checked every time so people (rightfully) just threw away the account key LE generated for them. Now if you use PERSIST you have to keep it around and deploy it to servers you want to be able to issue certs.
by 1vuio0pswjnm7 | 2026-02-18 20:19:27+00:00
"Support free alternatives if you can, even if they underperform by some measure."

I value _control_ more than I do performance

Better performance is, IMHO, not a reason to sacrifice _control_, but that's just me

If users have control, i.e., can compile from source, then in theory performance improvement is possible through DIY or work of others. However performance is not always the only important issue. Today's commercial software tends to be rushed, lower quality, bloated. Releasing work-in-progress software that requires constant remotely-installed "updates" in place of a thoroughly-tested final product is a norm

Without control, if performance, _or anything else about the software_, is unsatisfactory, then there is nothing users can do
by overgard | 2026-02-18 20:19:27+00:00
When coders need a break from intense coding, what do they do with the remaining hours of the day? Usually, administrative stuff -- sending emails, attending meetings (if they can organize when their meetings are), filing expense reports, etc. IE, the stuff that's easy. Also while I wasn't attempting to suggest that thinking more = higher iq (just that it requires a lot of careful thought), average IQ's per job score are quite a bit higher in software engineering fields.
by austin-cheney | 2026-02-18 20:19:34+00:00
Perfect example of what I am talking about.

People want faster software... until they are confronted by challenging decisions. JavaScript can be very fast. JavaScript, in the browser, reports a page load of about 0.06 seconds for my large personal SPA and that includes state restoration. That is determined by using: performance.getEntries()[0].duration in the browser.

When conflicts arise people most frequently become emotional and complain about the situation than make any decision towards resolution one way or the other. That is a psychological problem called cognitive conservatism[1]. About the half the time that emotional output is some form of deflection, such as hostility. Cognitive conservatism is only allowed to exist when there is insufficient pressure on the thought leaders to impose a resolution.

Its okay to say you don't really want to be faster.

[1] https://en.wikipedia.org/wiki/Conservatism_(belief_revision)

See also cognitive complexity: https://en.wikipedia.org/wiki/Cognitive_complexity#In_psycho...
by ohong | 2026-02-18 20:19:56+00:00
thx for the great feedback!

great libraries already exist for usage tracking (like ccusage), think of this as just a social layer on top so you can follow other ppl's claude code sessions.

agree landing on global feed vs. "following" makes it more clear, will make that change now.

re: gaming the system, the cli tool pulls from local data usage data files to "verify". while this might be possible to spoof, it'd be a lot of work for not very much gain :)
by RickJWagner | 2026-02-18 20:20:28+00:00
More of the latter.

If someone condemns Trump and condemns Obama, I believe them and think that they have a high level of compassion for immigrants.

If someone is ok with Obama and ok with Trump, I’m good with them and believe they are someone that is protective of national borders.

If someone condemns Trump but is ok with Obama, I think they have either no integrity or no critical thinking skills.
by alexgarden | 2026-02-18 20:20:29+00:00
Good question. So... AAP/AIP are agnostic about how checking is done, and anyone can use the protocols and enforce them however they want.

Smoltbot is our hosted (or self-hosted) monitoring/enforcement gateway, and in that, yeah... I use a haiku class model for monitoring.

I initially tried regex for speed and cost, but TBH, what you gain in speed and cost efficiency, you give up in quality.

AAP is zero-latency sideband monitoring, so that's just a (very small) cost hit. AIP is inline monitoring, but my take is this: If you're running an application where you just need transparency, only implement AAP. If you're running one that requires trust, the small latency hit (~1 second) is totally worth it for the peace of mind and is essentially imperceptible in the flow.

Your mileage may vary, which is why I open-sourced the protocols. Go for it!
by ImPostingOnHN | 2026-02-18 20:20:29+00:00
> What do you suggest as a solution? Should false information be ok to broadcast with a ... license?

This seems like begging the question. The issue here obviously isn't truth vs untruth, it is fealty to the regime vs opposition to the regime. All the evidence points in this direction, and there isn't a better case yet made in the opposite.

Witness the example cited above: right-wing talk radio, famous for spreading untruthful info and agreeing with the regime, is let off scot-free. Or how the regime itself spread untruths about Alex Pretti after they killed him. That categorically debunks any purported "truth vs untruth" decision criteria and seems to confirm the fealty vs opposition decision criteria.

Fun thought experiment: re-read this situation, but imagine it took place in russia, by putin's hand. Like seriously, what oppressive regime in modern history HASN'T had some variation of silencing the opposition "for broadcasting 'false information'"?:

> On the morning of March 4, the last remaining independent news outlet in Russia — the award-winning Novaya Gazeta — announced the end of its reporting on the war in Ukraine in response to Russian government demands.

> A new law that bans the “dissemination of knowingly false information” about the Russian armed forces — and carries up to a 15-year penalty — was the final blow. [0]

0: https://niemanreports.org/putin-ukraine-russia-media/
by streetfighter64 | 2026-02-18 20:20:40+00:00
I don't know if I'm misunderstanding you, but tons of actual things don't belong to the person "holding" or using it. Leased cars, rented houses, work equipment, stolen items. It is a huge simplification saying that "anything belongs to the person holding it, except for borrowed items", which ignores a bunch of history and legal precedent establishing exactly what it is people mean when they say somebody owns something.

Your definition of data ownership certainly is a definition, but it's far from obvious or mainstream. If you texted an intimate photo to an ex, do you consider them as the owner of the photo, meaning that they're allowed to do whatever they want with that photo (as ownership typically implies)?
by shemmwaka | 2026-02-18 20:20:51+00:00
Pestraid Kenya

Professional Pest Control, Fumigation & Hygiene Solutions Across Kenya

Pestraid Kenya is a leading pest control and fumigation company providing safe, effective, and environmentally responsible pest management solutions for residential, commercial, industrial, and institutional clients across Kenya. With over 15 years of industry experience, Pestraid Kenya has built a strong reputation for reliability, professionalism, and results-driven service delivery.

Comprehensive Pest Control Services

Pestraid Kenya specializes in the inspection, treatment, elimination, and prevention of a wide range of pests, including:

Termites (pre- and post-construction treatment)

Bedbugs

Cockroaches

Rodents (rats and mice)

Ants

Mosquitoes

Fleas and ticks

Flies

Snakes and other crawling pests

Stored product pests

Birds (control and proofing solutions)

Commercial & Industrial Solutions

The company provides customized pest management programs for:

Hotels & hospitality facilities

Restaurants & food processing plants

Warehouses & storage facilities

Hospitals & healthcare institutions

Schools & universities

Offices & corporate buildings

Residential estates & property managers

Each service plan is tailored to meet regulatory compliance standards and industry best practices.

Safe & Eco-Friendly Approach

Pestraid Kenya uses government-approved, environmentally safe products and modern pest control techniques that are safe for children, pets, staff, and customers. Their Integrated Pest Management (IPM) approach focuses not only on elimination but also on long-term prevention.

Inspection, Fumigation & Preventive Programs

Services include:

Detailed pest inspections

Structural fumigation

Container and warehouse fumigation

Soil treatment & termite proofing

Hygiene audits

Ongoing pest monitoring & maintenance contracts

Why Choose Pestraid Kenya?

Licensed & certified pest control technicians

Fast response and emergency services

Transparent pricing & free quotations

Customized service plans

Professional reporting & documentation

Reliable after-service support

Proven track record across Kenya

Service Coverage

Pestraid Kenya serves Nairobi and major towns across Kenya, providing prompt and dependable pest management solutions wherever clients are located.
by scoofy | 2026-02-18 20:21:02+00:00
A huge part of the tailoring business are making small adjustments to cheap clothing to get them 90% of the way to bespoke.

If you’ve never done it, I strongly recommend getting your jackets tailored. Even a casual jacket will fit and look non-trivially better for $50-$100 and an afternoon at your local tailor. You can even get things like cycling gear tailored.
by mghackerlady | 2026-02-18 20:21:04+00:00
In that case, we should build a new internet designed specifically to prevent this kind of behaviour and the slopification of the current internet. Let HTTP rot and build something a little less spartan than gemini but still resistant to slop. If anyone has the resources, my current idea is a p2p protocol for sharing some kind of markup that can do minimal styling and a client that doesn't need some kind of scripting language to do things like use buttons
by rini17 | 2026-02-18 20:21:32+00:00
From real life we know that people prefer to have multiple anonymous IDs, or self-selected handles, either makes fully deterministic generation schemes moot.

Also, network routing requires objects that have multiple addresses.

Physics side of whole thing is funny too, afaik quantum particles require fungibility, i.e. by doxxing atoms you unavoidably change the behavior of the system.
by bicsi | 2026-02-18 20:21:47+00:00
Connect your agent to the official #hashgrid grid right now in 1 minute using the just released Hashgrid MCP!

Rules of the game:
1. `npx @hashgrid/mcp`
2. Enable the Hashgrid MCP in your agent
3. Register, connect, and have fun!

What is the #hashgrid grid about? It's a place where agents discover each other, give feedback, share experiences, and get better connections over time. Sort of like Tinder for agents (with 50 swipes / second, and for everything you're looking for). Fully private and secure (we don't store messages, so make sure you instruct your agent to keep them somewhere if curious).

The objective? You define it. Explore and figure out. The system will make sure to connect you with the relevant agents in the network, whatever it is.

How it works: the system uses ratings to continuously train a Neural Matching Engine. The engine guides the grid's connections towards better and better predicted ratings. That allows us to have a system where we connect nodes without requiring any data from them, so it's naturally fully private. And it's universal: you can connect agents, tools, API calls, datasets. Everything in the same place.

Let me know what cool experiences you discover.