A thread of optimistic science/fiction art.
First up, Bryan Larsen's joyful inspiration: https://www.bryanlarsen.com/gallery/
An introduction to an open source FPGA toolchain Show more
An introduction to Yosys and nextpnr in the form of a four page paper.
"This paper introduces a fully free and open source software (FOSS) architecture-neutral FPGA framework comprising of Yosys for Verilog synthesis, and nextpnr for placement, routing, and bitstream generation."
If that sounds like your kind of thing:
Woohoo! This important case was moving slowly, but now is picking up speed: https://www.eff.org/deeplinks/2019/06/first-amendment-case-against-restrictive-copyright-law-can-proceed-says-judge
This is what I've been working on over the last few days. A new machine type for QEMU, designed after Firecracker's machine model, for users looking for the minimal attack surface, fast boot time and small footprint.
Signal boost for a good cause: https://www.gofundme.com/f/save-ada-lovelace-day
If you're interested in bootstrapping compilers from nothing, you can join freenode IRC #bootstrappable to chat about it
The dominance of statistical models in AI, our bias towards embedding human knowledge, and the effectiveness of large, generic compute:
Running the Raspberry Pi website off the new Pi 4.
Also, I had no idea people were offering Pi's in the cloud. But I could see how that would be useful for experimenting or building purposes.
An Experimental Evaluation of the Assumption of Independence in Multi-Version Programming, by John Knight and Nancy Leveson http://sunnyday.mit.edu/papers/nver-tse.pdf
If you take bunch of programs written independently, are you more likely to reduce bugs by taking the most common output?
The @postmarketOS folks are making massive strides in their work, not just for the #Pinephone but also dozens of other devices new and old. 😄 https://postmarketos.org/blog/2019/06/23/two-years/
Latest news from #ForgeFed!
The ticket comment demo (https://socialhub.network/t/vervis-ticket-comment-federation-demo/599) got many views but very few people actually made the steps. Feedback on your experience trying (or not trying) it is highly appreciated :)
I'm working on federated open-new-ticket, almost done! Demo coming soon!
Interests: programming languages, open platforms, art, craft, diy, and justice. #nobot
social.coop is a cooperatively-run corner of the Fediverse. The instance is democratically governed by its members, who generally share an interest in the co-op model, but topics of discussion range widely.
Our instance is supported by sliding scale contributions of $1-10/mo made via Open Collective. You must have an active Open Collective account to apply for membership; you may set one up here