Hacker News

Top stories

Live mirror
30 storiesupdated just nowView source snapshot
  1. Astra for Law(openai.com ↗)
    362comments
  2. Bonsai 2 27B: Near-Lossless Compression in a 9x Smaller Footprint(prismml.com ↗)
    75comments
  3. Bend – A language that blocks AI mistakes via proof, on CPU and GPU(bend-lang.com ↗)
    155comments
  4. Goose: 1.16x faster than C++ and 1.12x than safe Rust, while memory safe(github.com/aardappel ↗)
    27comments
  5. Hister: A private search engine for the pages you visit and the files you keep(github.com/asciimoo ↗)
    137comments
  6. Wax motor(wikipedia.org ↗)
    50comments
  7. Fujitsu launches made-in-Japan next-generation CPU FUJITSU-MONAKA(global.fujitsu ↗)
    198comments
  8. Alibaba releases Qwen 3.8 Omni Flash(qwen.ai ↗)
    6comments
  9. Telstra outage: The night a network decided the year was 2006(netnod.se ↗)
    3comments
  10. Flet 1.0 – Build cross-platform apps in Python(flet.dev ↗)
    34comments
  11. Diplodocus, Long Thought Exclusively American, Turns Up in Spain(sci.news ↗)
    20comments
  12. More than 100k people in Japan are now aged 100 or older(bbc.com ↗)
    124comments
  13. I Put Nam A2-Lite Inside an iRig HD X(playtaurus.com ↗)
    1comments
  14. CrowdSec Source Code Leak(crowdsec.net ↗)
    40comments
  15. Infinite-Parameter LLMs: Generating and Adapting Weights from Live Data(arxiv.org ↗)
    34comments
  16. How Uber Protects Against Retry Storms(uber.com ↗)
    23comments
  17. Why I didn’t sign the Fields medallists’ letter(gowers.wordpress.com ↗)
    313comments
  18. The most important product decision is what you don't build(liamnugent.me ↗)
    19comments
  19. Rate limits on GitLab.com are changing(about.gitlab.com ↗)
    106comments
  20. How do we prevent mathemathics from devolving into the Medieval Era of secrecy?(mathoverflow.net ↗)
    56comments
  21. CCC invites all model citizens to 40C3(ccc.de ↗)
    180comments
  22. The American Religion of Self-Storage Facilities(newyorker.com ↗)
    344comments
  23. Landing the Space Shuttle – A Flying Machine and the Thrill of a Lifetime(eaa.org ↗)
    5comments
  24. TSMC revealing details about next gen A14 node(mapyourshow.com ↗)
    36comments
  25. Zettascale (YC S24) Is Hiring ASIC/FPGA Engineers to Build Chips for ASI(zscc.ai ↗)
    discuss
  26. Show HN: Snapdrop: Instantly share files between devices. No setup, no signup(snapdrop.me ↗)
    19comments
  27. Running Ubuntu on the Lenovo IdeaPad Duet(vhaudiquet.fr ↗)
    25comments
  28. Computer Reset, Dallas(dfarq.homeip.net ↗)
    2comments
  29. Launch HN: Skillsync (YC W26) – AI chat sessions made portable across agents
    51comments
  30. Show HN: Share your AI Setup, Learn from others(mysetup.ai ↗)
    103comments

The BPF instruction set architecture is now RFC 9669

53 pointsby 1y agolwn.net
10 comments
1y agoHN ↗

So… eBPF is now BPF and old BPF is now cBPF or classic bpf.

1y agoHN ↗

Do you think that BPF opcodes should be costed, too? Why or why not?

1y agoHN ↗

Are you... asking yourself? What did you decide?

1y agoHN ↗

Costing instructions leads to efficiency metrics, which makes it possible to incentivize efficiency.

BPF instructions could also each have an abstract relative cost with or without real value.

BPF in WASM (unfortunately without the kernel performance advantages or possible side channels) or the fwiu now-defunct eWASM might be an easier place to test the value of costed opcodes.

The [e]BPF verifier does not yet rewrite according to opcode costs of candidate programs.

"A look inside the BPF verifier [lwn]" https://news.ycombinator.com/item?id=41135478

1y agoHN ↗

Somewhat related:

P4 is a programming language for controlling packet forwarding planes in networking devices, such as routers and switches. In contrast to a general purpose language such as C or Python, P4 is a domain-specific language with a number of constructs optimized for network data forwarding. P4 is distributed as open-source, permissively licensed code, and is maintained by the P4 Project (formerly the P4 Language Consortium), a not-for-profit organization hosted by the Open Networking Foundation.

* https://en.wikipedia.org/wiki/P4_(programming_language)

1y agoHN ↗

Kind of close to ISO 9660 so doubly easy to remember.

1y agoHN ↗

Is this going to be like the DeviceTree standard? The kernels devs invent it, it gets an official specification/standard, but the kernel itself doesn't conform to that specification?