PS. The validation problem, being one.-
13,188 karma · joined June 10, 2020
So, after decades of lurking, I decided to join. Please be gentle :)PS. The validation problem, being one.-
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.PS. To those objecting in the silent cowardice of a downvote: The exiting of something as basic as shoes (modulo lifestyle/"luxury") further represents "software" eating the world" look at the newcomers to the S&P 100:
DELL — Dell Technologies
PANW — Palo Alto Networks
ANET — Arista Networks
SNDK — SanDiskThe moniker gives them an air of scientific, knowledgeable, tranquil, pro-social, pro bono work.-
Of course they are entitled to kill off a few mice, or pillage the commons to forward their "lab" work.-
If correct, grip is tightening. Used to be 1y, then 6 months ...
- https://distill.pub/2021/distill-hiatus/
... and, here we are.-
A Journal - Devoted to clear explanations, native to the Web.
$10,000 Prizes - For outstanding work communicating and refining ideas.
Distill was a scientific journal which operated 2016-2021."
⎿ You've hit your session limit · resets 2:52am (123°24′W Etc/GMT+8)
/upgrade to increase your usage limit.Add to that:
- Of course, "labs" (quotes) are incentivized to throw coders under the bus and aim for the biggest possible market.-
- "Sharp, focused, brief, elegant, precise" editing, as would benefit the coding use-case, is actually token-saving, ergo, undesirable.-
The only thing that can stop this, would be the quality and functionality of the codeslop generated by these models to became so low that it actually interferes with the (alledged) recursive self-improvement of models (ie. models start to perform worse/degrade).-
Until such a time, we serfs, will eat what's on our plate, pay for it, and continue to kneel before the machine god overlords. And be glad for it.-
https://www.anthropic.com/research/small-samples-poison?from...