Closed marianoguerra closed 3 years ago
šø Datalog for Data Science šXanadu History š¬ Multi-stage Compilation Visualizer š§® Memex Demo
š¬ Martin Sosic
Weekly update from Wasp:
š„ Instadeq This Week: Collection Card and Dynamic Dependency Lifecycle via Mariano Guerra
Collection Card and Dynamic Dependency Lifecycle:
š„ runtime direct manipulation via Vijay Chakravarthy
We recently added the ability to directly manipulate screens in our runtime, while the app is running!
š§Ŗ YousefED/reactive via Yousef El-Dardiry
I just published a javascript Functional Reactive programming library. Goal was to make it super minimal to integrate into existing apps, so in React you only need to add one hook (useReactive).
š» A program to render the silhouette of the Mandelbrot set via Kartik Agaram
A program to render the silhouette of the Mandelbrot set. Type-safe. Every statement translates to a single instruction of machine code.
It's not portable (x86 only) and less expressive than C. On the other hand, there's no danger of undefined behavior, and I don't have to fight C to check for overflow. And the whole supply chain to run it is kilobytes rather than megabytes large.
Main project page: https://github.com/akkartik/mu
šø Logica: open source declarative logic programming language for data manipulation via Mariano Guerra
Logica is a successor to Yedalog, a language created at Google earlier.
š Advent of Computing: Episode 55 - Project Xanadu via Mariano Guerra
Project Xanadu, started in 1960, is perhaps the oldest hypertext system. It's creator, Ted Nelson, coined the term hypertext just to describe Xanadu. But it's not just a tool for linking data. Nelson's vision of hypertext is a lot more complicated than what we see in the modern world wide web. In his view, hypertext is a means to reshape the human experience. Today we are starting a dive into the strange connection between hypertext, networking, and digital utopianism.
š» gitpod.io via Breck Yunits
GitPod gives you an instant dev environment for any GitHub repo. Just prefix the Github url with https://gitpod.io/#
For example:
https://gitpod.io/#https://github.com/futureofcoding/futureofcoding.org
š» Intro to Z3 proofs, SAT, SMT, and algebra system via Andrew Carr
Really cool intro to Z3 proofs, SAT, SMT, and algebra system from Microsoft.
It has really nice Python bindings that play well with Numpy which is fun.
š Programming with a Differentiable Forth Interpreter via Andrew Carr
Is anyone here familiar with the differentiable Forth work or follow ups?
šµ A new tool for thought. A GPT-3 powered AI writing assistant via Breck Yunits
"The logs found on one hacker's computer reveal a member of FutureOfCoding is a government spy. "
š¹ Game Builder Garage via Scott Anderson
Nintendo just announced a new node based game maker for Nintendo Switch. Looks great!
š¦ Why OpenDoc failed? via Mariano Guerra
š¦ chris rabl: @andy_matuschak 1) There wasn't a centrally distribution channel for "parts". These were generally sold on CDs in "part packs": might have been a different story if there was an "app store" concept for parts where an individual could pay $1 or $2 for an individual part rather than $50 for a pack
š OpenDoc and Apple's Development Doldrums via Mariano Guerra
https://icongardenshow.libsyn.com/macinography-10-opendoc-and-apples-development-doldrums
OpenDoc wasnāt just a way to link data, but aimed to redefine how we interact with documents and applications. With partners like IBM, Novell, and WordPerfect, how could it fail?
[x] Change Month and Week Number
[x] focWeekExport 2021-04-19 2021-04-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/