Top stories

Live mirror
30 storiesupdated just nowView source snapshot
  1. Introducing System One Models and Jev(typesafe.ai ↗)
    241comments
  2. Show HN: An e-ink frame that hears birds and draws them as 1800s illustrations(github.com/arnegiacomo ↗)
    178comments
  3. German Rheinmetall open-sources its Battlesuite connected weapon system protcol(rheinmetall.github.io ↗)
    39comments
  4. An Update on Wayback Machine Access(blog.archive.org ↗)
    206comments
  5. Gemini 3.8 Live and 3.8 Live Extended Thinking(blog.google ↗)
    186comments
  6. Building a Linux GPU Driver for the M4 Mac Mini in One Month(codyho.dev ↗)
    85comments
  7. Jean-Pierre Serre is 100 years old today(st-andrews.ac.uk ↗)
    13comments
  8. We got admin access to Baseten's production GitHub in 25 minutes(strix.ai ↗)
    111comments
  9. Sierra digital cameras on the Apple II(colino.net ↗)
    discuss
  10. Chopping up books when they're physically too big(mattkirkland.com ↗)
    113comments
  11. Learning to solve hard problems in RL for LLMs by never giving up(mnoukhov.github.io ↗)
    discuss
  12. Why I'm still bearish on LLMs after Navier-Stokes(dank.systems ↗)
    95comments
  13. WangNet – 1.8 MB, zero-dependency Numberwang adjudication in 11 languages(github.com/graafhenk ↗)
    41comments
  14. Saving Jet Fuel(marksblogg.com ↗)
    12comments
  15. Show HN: Capsule – Single-file web apps that save their data into SQLite(withcapsule.app ↗)
    118comments
  16. Recreating Voodoo Graphics and a Late-1990s Gaming PC on an FPGA(nand2mario.github.io ↗)
    1comments
  17. The Beauty of Roundabouts(gruhn.me ↗)
    4comments
  18. Let's make quality the norm again(forbrukerradet.no ↗)
    307comments
  19. Suspected sabotage causes major Netherlands rail disruption(bbc.com ↗)
    392comments
  20. Show HN: Pizza Bot – An inbox for AI agents that work in the background(github.com/pizza-bot-app ↗)
    12comments
  21. A single firm is behind OpenAI, Anthropic, and Meta hacking scandals(effort.news ↗)
    156comments
  22. Jiga (YC W21) Is Hiring Product Engineer (Remote/US)(jiga.io ↗)
    discuss
  23. Data races and the limits of ThreadSanitizer in C and Go(theconsensus.dev ↗)
    2comments
  24. Show HN: Hacking a $20 4G wireless hotspot into a texting device(bkovac.github.io ↗)
    31comments
  25. US confirms for first time it has deployed space weapons(bbc.com ↗)
    308comments
  26. Most people prefer traditional architecture(worksinprogress.news ↗)
    212comments
  27. GEFS on OpenBSD: A Early Preview(marc.info ↗)
    59comments
  28. Cartesian – AI 3D Modeling for Design(formas.ai ↗)
    74comments
  29. The CSS Zen Garden dream, finally shipped(josprague.com ↗)
    67comments
  30. The Inference Hardware Revolution of 2026(ieee.org ↗)
    9comments

XLS: Accelerated HW Synthesis

13 pointsby 1d agogoogle.github.io
3 comments
1d agoHN ↗

To wit:

  What is XLS?
  XLS implements a High Level Synthesis toolchain that produces synthesizable designs (Verilog and SystemVerilog) from flexible, high-level descriptions of functionality. It is Apache 2 licensed.

  XLS (Accelerated HW Synthesis) aims to be the Software Development Kit (SDK) for the End of Moore's Law (EoML) era. In this "age of specialization", software and hardware engineers must do more co-design across their domain boundaries -- collaborate on shared artifacts, understand each other's cost models, and share tooling/methodology. XLS attempts to leverage automation, software engineers, and machine cycles to accelerate this overall process.

  XLS enables the rapid development of hardware IP that also runs as efficient host software via "software style" methodology. An XLS design runs at native speeds for use in host software or a simulator, but that design can also generate hardware block output -- the XLS tools' correctness ensures (and provides tools to help formally verify) that they are functionally identical.
1d agoHN ↗

"XLS enables the rapid development of hardware IP that also runs as efficient host software via "software style" methodology. An XLS design runs at native speeds for use in host software or a simulator, but that design can also generate hardware block output -- the XLS tools' correctness ensures (and provides tools to help formally verify) that they are functionally identical."

The ability to run and verify hardware designs quickly in software simulators is the key to rapid iteration of hardware designs, which is the key to more robust hardware, faster.

For that reason, XLS should be worth watching in this space...