Top stories

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

XLS: Accelerated HW Synthesis

11 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...