Closed marianoguerra closed 2 years ago
๐ก๏ธ Sandboxing in Teliva ๐งโ๐ซ Afghan coding bootcamp ๐ค Modern computing critics critique ๐งฎ Analog modular synthesizer CPU
๐ฅ Sandboxing in Teliva via Kartik Agaram
Programming languages assume all code they run is trustworthy. Browsers assume all connections they make over a network are trustworthy. I'm starting to experiment with alternatives to these approaches. Here's one early, extremely caricatured sandboxing model that's already more flexible than both conventional languages and browsers.
Main project page: https://github.com/akkartik/teliva
๐ Alpha #8: Let bindings and recovery from HIR refactoring via Alexey Shmalko
This week I added let bindings to Alpha, and also fixed all things that were broken by HIR refactoring from the previous week (mainly, all built-in functions)
๐ฆ Tweet from @tomlarkworthy via Tom Larkworthy
This week I integrated Github Actions with Observable so I can take backups and publish to NPM automatically (eventually)
๐ฆ Tom Larkworthy: Increase the power of @observablehq by triggering @github actions from notebooks. With this notebook you can pre-authenticate triggers so there is no need to input a token.
๐ tutorial for jp a bash-based json processor via dnmfarrell
I wrote a tutorial for jp
my bash-based json processor. github.com/dnmfarrell/jp#tutorial
I'm trying to make it easy for newcomers to learn something useful and accomplish something right away (even if the Venn diagram of users with bash who need to validate/transform json and don't already use jq is small). I'd appreciate any feedback anyone has. Thanks!
๐งโ๐ซ The code must go on: An Afghan coding bootcamp becomes a lifeline under Taliban rule via Jamshid
Our work and the community I am running for the past 7 years got featured in this article by MIT Technology Review
๐ Opt Art: From Mathematical Optimization to Visual Design via Deepak Karki
Has anybody read this book? Reviews?
Linear optimization is a powerful modeling method for discovering the best solution to a problem among a set of available alternatives. It is one of todayโs most important branches of mathematics and computer scienceโand also a surprisingly rich medium for creating breathtaking works of art. > Opt Art> takes readers on an entertaining tour of linear optimization and its applications, showing along the way how it can be used to design visual art.
๐ฆ Tweet from @danluu via Mariano Guerra
Interesting critique to the most idealist/abstract side of ourselves ๐
https://twitter.com/danluu/status/1475769364456501250
๐ฆ Dan Luu: In general, I don't think it's very interesting when someone spends a lot of time talking about how much better the world would be if we all listened to them when they don't discuss specific details about what mechanisms would make things better and why. https://twitter.com/hillelogram/status/1474111409365655559
๐ฆ Hillel: Vision and speculation are great, but Kay often criticizes modern computing for not matching his vision. But maybe it's his vision that was off? Maybe kids would never have used a Dynabook the way he imagined they'd use it
๐ API Tokens: A Tedious Survey via Tom Larkworthy
this blog post has been my go-to on cutting edge access controls. The biscuits at the end blows my mind.
๐ Before you go off inventing new programming languages via Mariano Guerra
Before you go off inventing new programming languages, please ask yourself these questions:
๐ Papers We Love via Shubhadeep Roychowdhury
Papers We Love is a repository of academic computer science papers and a community who loves reading them.
๐คฏ Making a cpu using an analog modular synthesizer via Jimmy Miller
๐งต Making a cpu using an analog modular synthesizer
I'd appreciate if you might share this, it was fun but writing it up was a lot of work :3
๐ฅ Video
๐ฌ Ask HN: Who wants to collaborate? via Ivan Reese
Folks looking for collaborators (or projects to collaborate on), here's an HN thread that you could skim through / jump into
[x] Change Month and Week Number
[x] focWeekExport 2022-01-19 2022-01-26
[x] Summary
[x] Hashtags
[x] Check that comment links work (push weekly dump with channel summaries)
[x] Check to mention right person for moved messages
[x] Update Search Index
[x] Download New Attachments
https://tinyletter.com/
https://tinyletter.com/marianoguerra/letters/
http://localhost:8000/history/
https://marianoguerra.github.io/future-of-coding-weekly/
https://stackedit.io/