Closed marianoguerra closed 1 year ago
🐸 Spatial Programming 🧑🔬 Deconstructing Datalog ✍️ Stop Drawing Dead Diagrams 🤖 AI Code Search & Authoring
📝 Yirgacheffe: trying to do The Right Thing with geospatial data via Michael Dales
As promised in my intro, here’s a little bit of current thinking I wrote up about what feels like I’m going to end up building a DSL to let ecologists work on large datasets.
Currently it’s a Python library that lets ecologists just work with large geospatial files as if they’re variables, like numpy does, but manages the memory side of things, as these files quickly can cause you to run out of memory even on a 1TB RAM machine like we have in the group.
The next thing I have in the wings is trying to hide Python multiprocessing support behind my library, for two reasons:
But at this point I think what I’m not doing is a good fit for Python anymore, so I kind of envisage a Go backend, where I handle the concurrency side of things, and a small front end language where I let the ecologists reason about geospatial files as opaque blobs, and possibly have CSV as a natural thing.
But I also think this is a good fit for a visual programming language, where you connect the CSVs and geospatial files by the kind of operators you’d do normally, and then having that be the ecologist view on the world.
I guess my main aim is to try and not do everything though - if you imagine this was wildly successful, then all I’m doing is making yet another data-processing system that is specialised in one thing that someone will then want to do what I’ve done for some other metric down the line. So I think I want to deliberately keep this focussed/niche rather than accidentally drift into building something generic that will inevitably not be good for other purposes.
🤖 Semantic Code Search via Kiril Videlov
I would like to share with you my open source project - Semantic Code Search
The tool lets you search code with natural language (you don’t need to know the exact keywords), for example:
It’s a command line app and is fully local, and it was so much fun to build (and train)
🎥 Lu Wilson at Future of Coding London via Lu Wilson
hello everyone I did a little spatial-programming demo at the London meetup yesterday and fortunately, the second half of it got filmed!
📚 LearnAwesome: Humanity's learning map via Nilesh Trivedi
Not related to coding, but I have long been annoyed by how hard it was to discover and curate the best learning resources of the Web. Google/YouTube/Wikipedia do a terrible job of it and so do universities/coursera/edX by never linking out to the Web (eg: 3Blue1Brown or SmarterEveryDay). I wanted to collect links to amazing videos, interactive explorables, books, research papers and organize them by topics, formats, difficulty level etc.
This is what I made: learnawesome.org
Some highlights:
Would love to hear thoughts and feedback. 🙏
🎥 Visual programming crud/reconnect/live state update video via Maikel van de Lisdonk
Hi, I've finally found time to make a small video.. I am showing a flow that represents a very small crud-application where I reconnect multiple connections at once as well as connections being animated when they are retriggering (like when using a timer). Hope you like it!
📝 memory theatres of Camillo via Andreas S
As I go slowly my way through the kernel syllabus, I find gems like this one: "The practice of software begins to resemble closely the practice of memoria and, specifically, the memory theatres of Camillo, which constitute memory as a public space; a kind of virtual architecture for an incomplete image of the world. Software begins to look like the closest medium to memory itself we have produced ." kernel.community/en/learn/module-3/remember/#memory-only-exists-when-distributed
What do you think? How do do you personally perceive Software as Memory?
🎥 Collaborative Code Authoring in Primitive with an AI assistant: davinci-codex from OpenAI via John Voorhees
I haven't seen this posted yet. I was at GitHub Universe last week and I saw a live demo of "Hey GitHub", a voice controlled interface that uses Copilot to author code. The first intention of this product is to help people with disabilities, including those suffering from Repetitive Stress Injuries:
githubnext.com/projects/hey-github
I'm building a VR coding app. We looked at voice to text input using Codex about a year ago. I think it's a very exciting Future of Code concept
📝 Deconstructing Datalog via Mariano Guerra
This thesis deconstructs Datalog from a categorical and type theoretic perspective to determine what makes it tick.
Datalog’s semantic guarantees are provided by brute syntactic restrictions, such as stratification and the absence of function symbols.
In place of these, we find compositional semantic properties such as monotonicity, which we capture using types.
We show that this permits integrating Datalog’s features with those of typed functional languages, such as algebraic data types and higher order functions.
🎥 "Diagrammar: Simply Make Interactive Diagrams" by Pontus Granström (Strange Loop 2022) via Mariano Guerra
Diagrams are crucial for communication and learning in STEM fields. Creating them involves repeated patterns, consistent components, exact positioning, and, ideally, user interaction. A programming language has right the tools to do all of the above, but much of its power is only available to career programmers, gated behind the complexity of things like SVG, CSS, JS, and handling user input.
Diagrammar is a tool for creating interactive diagrams, that aims to be much simpler, while retaining the power of a full programming language (Elm). It was designed for making online STEM courses at Brilliant, and we make full use of this power: parametric reusable diagrams, authors sharing toolkits and styles, precise positioning -- and any diagram can be interactive!
In this talk, I will give you a quick tour of Diagrammar and its primitives, share ideas for designing simple, learnable tools, and tell you what we've learned from authors creating thousands of diagrams across dozens of courses.
[x] Change Month and Week Number
[x] focWeekExport "2022-01-19" "2022-01-26"
[x] Update Search Index
[x] Download New Attachments
[x] Update links
[x] Check that comment links work (push weekly dump with channel summaries)
[x] Check to mention right person for moved messages
[x] Summary
[ ] Hashtags
[x] Set title in newsletter
https://tinyletter.com/
https://tinyletter.com/marianoguerra/letters/
http://localhost:8000/history/
https://marianoguerra.github.io/future-of-coding-weekly/
https://stackedit.io/app#