Hi I wrote a book! It's called Working in Public, and it's the story of modern open source and its implications for online communities and the creator economy. Now available for pre-order on Amazon: amazon.com/dp/0578675862/

May the #openwifi be with YOU! Our user has two difficulties: HW price, #FPGA dev. To solve, we will make 1st #opensource #WiFi chip for hacker/academy/research in 2 years! We have started the 1st step: FPGA dongle. Your support wanted! Contribute/User/Funding-info PM me. #Linux

Machine learning used to create formal proofs! #LeanTogether2021

Sublinear memory checkpointing is essential to train big n layer models with sqrt(n) memory cost. Most of the existing algorithms require a known static computational graph. Checkout our new paper that makes a first step towards doing that dynamically 👇👇

If want to magic tune the parameters of nextpnr-ice40 (YosysHQ myrtle 🏳️‍🌈) can give a try: github.com/cbalint13/next…

Releasing to waters OLIMP: olimp.digital . A computing library that does the RTL & SW scheduling for neural-networks of any kinds. Check out some early WiP demo on the tiniest IceBreaker. github.com/cbalint13/OLIMP

Folks, if it happens to use Fedora/RHEL here is a repo having native packages with comprehensive list of EDA tools (and more), updated weekly: copr.fedorainfracloud.org/coprs/rezso/HDL Let me know if there are wishes for more specific packages there. YosysHQ Anton Blanchard Tim 'mithro' Ansell Carlos Eduardo (@[email protected])

🌎 Earth Day: "Life to Life Itself. No dedications." (Oradea - Silvaș / timelapse) [code receipt: cutt.ly/TGtOrs0] Kornia

A summer endeavor, developing MLC: the first open lecture series on ML compilation. Machine learning compilation is an emerging field for systematic optimization and deployment of AI workloads. Hope to share adventures and fun with the community mlc.ai/summer22/ 🚀

New opensource xc7k420t design: (x) 128 bit DDR3 (two SODIMM) (x) USB3(C) to FIFO (32 bit) & JTAG+UART (x) 2x M.2 (M) for PCIe, SATA, etc. (x) 4x QSFP w\ lots of serdes (x) 6x VRM on I2C bus Done for personal use, feel free to repurpose. github.com/cbalint13/m-bl…

Generate Compilers from Hardware Models! arxiv.org/pdf/2305.09580… agree? disagree? don't care? come tell us @ PLARCH! (pldi23.sigplan.org/home/plarch-20…) (s/o @ben_kushigian, Vishal Canumalla, Andrew Cheung, René Just, and especially Zachary Tatlock whose chief contribution among many was the "!")

How generative AI content can be used in open source projects. Apache - The ASF guideline provides a good reference for OSS projects, especially those in ALv2. apache.org/legal/generati… See also news.apache.org/foundation/ent…,