MurphyA/hacker-news huggingface dataset:
by Siyanoav10 | 2026-03-11 10:43:55+00:00
Antivirus Pro security layers provide strong and reliable protection for both personal and professional devices. By combining multiple defense technologies such as real-time monitoring, advanced malware detection, and secure browsing protection, it helps block viruses, ransomware, spyware, and other cyber threats before they cause harm. These layered security features work together to safeguard sensitive data, protect online activities, and maintain system stability. Whether used at home or in a professional environment, Antivirus Pro ensures a safer digital experience by strengthening device security against modern and evolving cyber risks.
by panick21_ | 2026-03-11 10:44:15+00:00
I'm not a lawyer but I would assume its copyright. Kind of like API in software. In software somehow this does not apply most of the time. But it seems in hardware this is very real. But I would appreciate a lawyer jumping in.

I know for example that Berkley when thinking pre-RISC-V that they had a deal with Intel about using x86-64 for research. But they were not able to share the designs.
by kgwxd | 2026-03-11 10:44:45+00:00
My 9 yo has alt accounts I didn't setup, that's how easy Roblox is. I have MC/Microsoft account info for like 10 people, mostly family/friends kids, in my password manager because their parents were fine with them playing, but didn't want to deal with account management. Every sleep over starts with me logging everyone in on the various available devices, with their parents on standby to help with the multi-factor shitstorm that ensues.

Roblox is getting pretty bad though with age verification, and they will NOT help recover a lost/hacked account no matter how much money was spent on it. 5 year account, likely thousands of dollars in robux spent on it, kid clicked a bad link and it's gone. Roblox just responds they can't help, even though the original email address was verified, and used 2 factor auth through its history. They used to be helpful, they don't care anymore.
by ademeure | 2026-03-11 10:44:57+00:00
This is very cool!

I've been working on something somewhat similar over the last few weeks, but trying to be much more general and arguably over-engineered! I like the scope of this project, keeping it limited to Triton and specific kinds of kernels makes it quite simple and efficient.

I'm confused by the progress graph though; it looks like it's benchmarking a 4096x4096x4096 fp16 matmul rather than a full repo, and it claims a 1.31x improvement vs cuBLAS... while running at 187 TFLOPS which is 18.9% of peak utilization? cuBLAS definitely gets much closer to peak than that - most likely it's limited by CPU overhead or something else? Benchmarking is hard!

Either way I'm excited to see other people working on this, I think it's an extremely promising area over the next 6 months.
by GJim | 2026-03-11 10:45:22+00:00
> Instead, take a plate made of platinum or iridium

No no no no no!

Archival data should never be made on intrinsically valuable material; doing so makes it subject to theft or re-use for something "better".

Example: There is a reason why more marble statues survive from antiquity than bronze statues.... Bronze has an intrinsic value (theft) and future artists would also melt down existing bronze statues to make something "better".
by kypro | 2026-03-11 10:45:57+00:00
> Teams using Claude for everyday PRs are merging 40-50 a week instead of 10

How is this even possible? Am I the only SWE who feels like the easiest part of my job is writing code and this was never the main bottleneck to PR?

Before CC I'd probably spent around 20-30% of my day just writing code into an IE. That's now maybe 10% now. I'd probably also spend 20-30% of my day reading code and investigating issues, which is now maybe 10-15% of my day now using CC to help with investigation and explanations.

But there's a huge part of my day, perhaps the majority it, where I'm just thinking about technical requirements, trying to figure out the right data model & right architecture given those requirements, thinking about the UX, attending meetings, code reviews, QA, etc, etc, etc...

Are these people who are spitting out code literally doing nothing but writing code all day without any thought so now they're seeing 4-5x boosts in output?

For me it's probably made me 50% more efficient in about 40-50% of my work. So I'm probably only like 20-25% more efficient overall. And this assumes that the code I'm getting CC to produce is even comparable to my own, which in my experience it's not without significant effort which just erodes any productivity benefit from the production of code.

If your developers are raising 5x more PRs something is seriously wrong. I suspect that's only possible if they're not thinking through things and just getting CC to decide the requirements, come up with the architecture, decide on implementation details, write the code and test it. Presumably they're also not reviewing PRs, because if they were and there is this many PRs being raised then how does the team have time to spit out code all day using CC?

People who talk about 5x or 10x productivity boosts are either doing something wrong, or just building prototype. As someone who has worked in this industry for 20 years, I literally don't understand how what some people describe can even being happening in functional SWE teams building production software.
by newpavlov | 2026-03-11 10:47:13+00:00
>So just use misaligned loads if Zicclsm is supported.

LLVM and GCC developers clearly disagree with you. In other words, re-iterating the previously raised point: Zicclsm is effectively useless and we have to wait decades for hypothetical Oilsm.

Most programmers will not know that the misaligned issue even exists, even less about options like -mno-strict-align. They just will compile their project with default settings and blame RISC-V for being slow.

RISC-V could've easily avoided all this mess by properly mandating misaligned pointer handling as part of the I extension.
by junaru | 2026-03-11 10:48:22+00:00
> Ask yourself, why would a scraper ddos?

Don't need to ask anything i can tell you exactly - because they have no regard for anything but their own profit.

Let me give you an example of this mom and pop shop known as anthropic.

You see they have this thing called claudebot and at least initially it scraped iterating through IP's.

Now you have these things called shared hosting servers, typically running 1000-10000 domains of actual low volume websites on 1-50 or so IPs.

Guess what happens when it is your networks time to bend over? Whole hosting company infrastructure going down as each server has hundreds of claudebots crawling hundreds of vhosts at the same time.

This happened for months. Its the reason they are banned in WAFs by half the hosting industry.
by DrScientist | 2026-03-11 10:48:40+00:00
Are you sure that availability of resources was a limiting factor during a large part of human evolution?

ie what has driven human population growth - a fundamental change in availability of natural resources or a fundamental change in how humans exploited them?

I'd argue it's the latter, and that's driven by accumulated knowledge - and before writing - the key repository of that was - old people.
by dzaima | 2026-03-11 10:50:15+00:00
> How is that different for RISC-V?

RISC-V hardware with slow misaligned mem ops does exist to non-insignificant extent, and it seems not enough people have laughed at them, and instead compilers did just surrender and default to not using them.

> As you observed there's a feedback loop between what compilers output and what gets optimised in hardware.

Well, that loop needs to start somewhere, and it has already started, and started wrong. I suppose we'll see what happens with RVA23; at the very least, even if it takes a decade for most hardware to support misaligned well, software could retroactively change its defaults while still remaining technically-RVA23-compatible, so I suppose that's good.
by benlatger | 2026-03-11 10:50:46+00:00
I built Getweeks (getweeks.com) because I couldn't find a tool that sits between "contemplative memento mori poster" and "todo list app". The idea: visualize your life in weeks, set 3-5 real life goals, attach milestones and lifestyle changes to each, then do a 2-minute weekly check-in. Your past weeks get colored based on how you lived them.

Stack: Next.js, MongoDB, Shadcui, Tailwind, Stripe. Built solo in a few weeks.

Would love feedback from the HN crowd — especially on the check-in mechanic and whether the free tier (1 goal, 3 milestones) makes sense.
by GJim | 2026-03-11 10:50:59+00:00
I really don't know why you are being downvoted.

My experience is you are indeed correct. Modern phone/tablet users are so divorced from a file systems that those brought up on them have no idea what a file is or where their data is saved... The data (video, music, shopping-list) simply exists "in the app".

(And don't get me started on their concept of data portability!)
by panick21_ | 2026-03-11 10:51:06+00:00
What I didn't mention, in terms of propaganda, the anti-nuclear people are way ahead of any pro-nuclear propaganda. Its not even remotely close. The anti nuclear-weapons movement an environmental movement from the 1970s spread myths that are still repeated an often with emotional attachment.

My parents who lived in central Europe during Chernobyl hate nuclear power, while believing lots of nonsense that was in the news back then.
by flohofwoe | 2026-03-11 10:51:40+00:00
Looking at LLVM build times I seriously believe that C would have been the better choice :/ (it wouldn't be a problem if LLVM wouldn't be the base for so many other projects)

Same for the Metal shading language. C++ adds exactly nothing useful to a shading language over a C dialect that's extended with vector and matrix math types (at least they didn't pick ObjC or Swift though).
by microtonal | 2026-03-11 10:52:11+00:00
Getting watched by your parents is far different than getting watched by the government. It's no different than parent watching out of the window on kids playing in backyard

Maybe it's a cultural difference, but after age ~8-9 or so, we would just roam around our town/village without our parents knowing where we were. You just had to be back home at 17:30 for dinner.

Yes, there was some mischief (we were kids), but you had to own up to it if you got caught and there weren't smartphone cameras around everywhere, so if you did something dumb, it would not be on the internet the next day.

The problem with modern games and social media is that they are like giving crack to a 10 year-old. They are made for dopamine hits that leads to addiction. Kid's brains are not fully developed until well after 18, so they have limited capability to recognize and deal with addiction.

People want country to be more prosperous, not to have bleeding heart activists import immigrants or other leftist bullshit. Authoritarian turn is knee jerk reaction to that beacuse they are only ones promising the country for the citizens of the country.

Oh my...
by Razengan | 2026-03-11 10:52:39+00:00
Apple has allowed Facebook, TikTok etc. to track users across devices AND device resets via the iCloud Keychain API.

When you log into FB on any account on any device, then install FB on a new device, or even after you erase the device, they know it's you even before you log in. Because the info is tied to your Apple iCloud account.

And there's no way for users to see or delete what data other companies have stored and linked to your Apple ID via that API.

It's been like this for at least 5 years and nobody seems to care.
Show HN: Aver – a language designed for AI to write and humans to review
by jasisz | 2026-03-11 10:53:42+00:00
I’ve been building Aver around a simple question:

If AI is going to write more of the first draft, what should the source look like for the human reviewer?

Aver is an experimental statically typed language and toolchain for AI-written, human-reviewed code.

My bet is that source code should carry more than implementation. In most projects, implementation survives in the code, but intent lives in docs, decisions live in ADRs or tickets, and expected behavior lives in tests that may or may not stay close to what they describe.

Aver tries to make those parts first-class:

- explicit method-level effects in function signatures
- `?` strings for machine-readable function intent
- `decision` blocks for design choices and tradeoffs
- colocated `verify` blocks for pure functions
- deterministic record/replay for effectful flows
- `aver context` for compact contract-level module export
- `aver compile` to Rust
- `aver proof` to Lean 4 for mechanical proof checking of the pure subset

A small pure example:

fn charge(account: String, amount: Int) -> Result<String, String>
? "Pure charge validation and transaction-id creation."
match amount
0 -> Result.Err("Cannot charge zero")
_ -> Result.Ok("txn-{account}-{amount}")

verify charge
charge("alice", 100) => Result.Ok("txn-alice-100")
charge("bob", 0) => Result.Err("Cannot charge zero")

A reviewer can see at a glance what the function is for (`?`) and a machine-checkable example of expected behavior (`verify`).

An effectful wrapper looks like this:

fn chargeAndPrint(account: String, amount: Int) -> Result<Unit, String>
? "Effectful wrapper around charge."
"Prints the transaction id on success."
! [Console.print]
result = charge(account, amount)
match result
Result.Ok(txn) ->
Console.print(txn)
Result.Ok(())
Result.Err(err) ->
Result.Err(err)

The `!` makes side effects part of the signature rather than hidden inside the implementation.

Aver is intentionally opinionated: no exceptions, no null, no `if`/`else`, no loops, no closures. Branching goes through `match`, failure through `Result`, absence through `Option`, and side effects are explicit.

The repo includes small examples, but also `projects/workflow_engine`, which is my attempt at a medium-sized auditable application core with app/domain/infra split, replayable effectful flows, and verify-driven pure logic.

This is still early. I’m not claiming everyone should replace mainstream languages with Aver.

The narrower question I’m testing is whether making intent, decisions, checks, and effect boundaries machine-readable inside the source makes AI-produced code easier to review, constrain, and trust.

I’d especially like feedback on whether this feels like a language worth existing, or whether the same idea should just be conventions and tooling on top of an existing language.
Hacker Infrastructure
by yjtpesesu2 | 2026-03-11 10:53:48+00:00
Long time lurker, many accounts, one at a time, no abuse. Hi. Yesterday's recount about layer duplication and adjustment for popular open weight models on huggingface, led to this submission.
Since GPT ~3.5 it has been apparent that computers can simulate human, as far as a computer is concerned. The dead-internet theory actually originated circa 2012, but I've had difficulty finding verification, including searching the archive.org .
All this turmoil makes offline on prem so important.
Here is the current hacker infra:
1. choose a platform, then decide on the linux kernel.
2. qemu/kvm maybe incus, or docker or lxc/lxd, point being: step two is isolate from the platform chosen in step one
3. choose to use kvm, because it has the largest development community. believe me: you don't want to get bogged down with the associated dependencies of bhyve or jails, or, for that matter, WSL2 (or 1).
4. mainstream, mainline, main, all day.
5. either libvirt or, maybe just choose the easy option and q emulate.
6. the host os can emulate the virtual machine's kernel with very little overhead or introduced latency if the interactions with the host kernel are tailored.
7. after sorting everything out on the host (use incus?) pass through some bare metal to your pet, some performance cores and a couple dozen gigs of ram, maybe a 6000 gpu or two, some nics, doesn't matter, all the host hardware is passed through
8. except the hypervisor. is it xen>? Can't be, not ideal, losing market share. Likellllly qemu/kvm = LINUX.
9. HYPERVISOR OPTIMUM ACHieved. Local and global minmax measured and optimal global apex...
10. profit???
by jasisz | 2026-03-11 10:54:05+00:00
Author here.

Aver is an experimental statically typed language for AI-written, human-reviewed code.

What’s different is that intent (`?`), explicit effects (`!`), design decisions (`decision`), and behavior checks (`verify`) are part of the source itself rather than split across code, comments, docs, and tests.

If you want to evaluate it quickly, I’d suggest these places:

- medium-sized example:
https://github.com/jasisz/aver/tree/main/projects/workflow_e...

- Lean proof export for the pure subset:
https://github.com/jasisz/aver/tree/main/docs/lean.md

- examples of effectful programs / replay:
https://github.com/jasisz/aver/tree/main/examples/services

The main question I’m testing is whether this deserves to be a language, or whether the same idea should just be tooling and conventions on top of an existing language.
by intellishares | 2026-03-11 10:55:21+00:00
IntelliShares is a Swiss-based platform with Swedish founders that tokenizes real-world green energy infrastructure including solar PV, battery storage, hydro power generation, ev charging, and BESS services such as grid stabilization and backup power services on Solana. It enables fractional ownership of revenue-generating energy assets across Europe through a dual-token model: the Intelli-token (INT) as a payment token and dedicated RWA tokens representing economic interest in specific physical assets. Revenue from energy sales and grid services is automatically distributed to RWA token holders via smart contracts.
by commandersaki | 2026-03-11 10:55:38+00:00
Ah the classic NIAKUN, what we expect from brand name quality: awesome keyboard layout (love a number pad that smashes into the arrow keys), great resolution (1920x1080 so good for 2026!). I'm sure the speakers are state of the art for the form factor, gets amazing battery life (love me max 4-5 hrs on moderate usage), and of course can't forget the plastic body.

I'm sure a similar story can be said about the HP.

If you didn't detect the sarcasm, a laptop is much more than cpu, memory, and storage; it'd be short-sighted to only fixate on this trio. PC laptops compromise on pretty much everything and usually do everything poorly, including CPU (since we Macs are much better performance per watt).

Then there's the whole aspect of Apple support for both hardware AND software, something no PC vendor can provide.
by yard2010 | 2026-03-11 10:56:26+00:00
> What do you plan to buy with your free government dollars? Want to buy eggs? Sorry, the egg people stopped making eggs, they are living free on UBI. Want to buy a house? Who built it? Nobody, because they all were getting UBI and didn’t want to build houses anymore. They write poems now. There’s still old houses available, but the price for them has 20xed, well outside of what you can afford.

In my country the people that are producing and selling eggs do it almost for free, they could do something else and get much more money, but they choose to do eggs. My theory is that people choose to do stuff not just because of the money. Narrowing all the interests to just money doesn't capture the complex reality. When you cancel the money thing, you let people choose what to do based on their real ambitions and aspirations, removing the alien interest (money) that skews the world so much that even geohotz got confused.
by KaiserPro | 2026-03-11 10:57:01+00:00
Former facebook acquiree here.

The metaverse is what happens when you let your leadership/product team convince you that the key to speed up what you want to deliver is to throw people at the problem, and not put any constraints on deliverables.

The original plan for oculus is to establish a VR eco system that would have transitioned into AR glasses, allowing facebook to have a platform of its own.

VR was/is a bit niche, because it required lots of expensive hardware, and there were limited games/uses.

first logical step: remove the need for a high end PC, make the thing cheap.

That drops one barrier to adoption: expense.

The next one is, great I have this $400 device that does VR, but what can I actually _do_ on it? That means you need content and features. This is where it all turned to shit. Zuck looked at steam, and itunes and said: "make it so", and they started tapping up devs to make small games, and AAA to make big ones.

But, its expensive to port games, and it takes time, why not buy studios that are making great games and get them to make more? so they bought a bunch of indie studios. Those studios had to fight to keep their devs, because facebook normally fires/rehires, forcing everyone to re-interview for their job. Games devs aren't really hired because they don't pass the technicals (Don't know why, given that games devs need to be good or the FPS drops like shit.)

with all that upheaval, those games studios don't really produce extra games to sell.

All the while a small team had been making a roblox clone. It was slow and a bit buggy, and you could make shitty games. During lockdown we all had a play. Needed a new generation of hardware to work properly, because it was a unity game with a bunch of hacks to allow custom maps and rules.

Never mind, we are doing E N T E R P R I S E now. enter work rooms. Again a small initiative, which basically asked, can we make better VC if we are in VR? The answer is yes, yes you can, but selling it is hard. There were a lot of hard problems to solve, like needed to detect keyboards, how do you present your screen if you can see your computer? how can you do computer passthrough or virtual monitors in VR?

Zuck saw this and jizzed his pants, so made it a priority. This meant the small team (probably less than 40) swelled to like 4000. Most of the people who moved were not games devs, or had ever worked in graphics/3d. This meant that loads of silly lessons had to be learnt in prod. Nothing was stable, everything was high friction, and no, there was no public API to allow you third parties to integrated into the app.

For the longest time it took >5 minutes to join a VR meeting.

Basically Zuck loves features, and cant understand that user experience is way way more important than features. He throws engineers at the problem which means that instead of solving product issues, they endup solving people issues.
Ask HN: Agencies/MSPs, how do you manage VPN access across many clients?
by k4roshi | 2026-03-11 10:57:17+00:00
Hi HN,

we're a software development agency with several clients scattered across Europe. Due to the nature of our products many require to connect to the client's VPN to offer assistance and perform maintenance. Most times we can't install our own VPN.

This has led to some of our devs needing to manage more than 20 different VPNs, all with different clients (sometimes with incompatible versions, looking at you Fortinet), credentials, expirations, tokens and such.
Some of those get unused for months, only to discover they're broken when you most need them to fix an outage in production. For us, it has become a mess.

So the first question for you: Is this a fairly common problem or is this just us? If it is, did you solve it in any way?
I've been looking for tools to streamline this but haven't found anything.

That said, we’ve been exploring an idea for a while: basically a control layer on top of existing VPNs. A sort of virtualization framework where vpn clients run on containers managed by the control plane.
Users would only then have one client to our VPN layer installed and just decide which endpoint to connect to.
This would also open up other possibilities like full connection audits, quick offboarding, better OTP management, expiration notifications.
Of course we would design it to be zero knowledge to avoid security issues.

Still very early and we’re honestly not sure if this is actually a widespread pain or just limited to the few environments we’ve seen.

Happy to be told this is dumb (but I'd like to know why) or to discuss potential problems we haven't considered yet.