marianoguerra commented 3 years ago

🐢 VNC Servers All The Way Down 📐 Math as First Class Citizen 🛸 Oberon Tour 🧠 Working Memory and Coding

Two Minute Week

🎥 All Unicode Characters on One Page (December 2020 Week 4) via David Piepgrass

Thumbnail

I haven't been able to find a nice page where you could look at all the world's Unicode characters. So I made that page: Char Categories

marianoguerra commented 3 years ago

🎥 Instadeq Two Minute Week: Deck Graph View via Mariano Guerra

🧵 conversation

Thumbnail

New feature to view a deck as a graph of cards, their dependencies and cards/decks that depend on them

marianoguerra commented 3 years ago

Our Work

💻 alltom/dirgui via Tom Lieber

🧵 conversation

The remote framebuffer protocol (RFB) used by VNC is a quite small and malleable tool for constructing GUIs. It requires only a bi-directional communication channel, which lets it tunnel through just about anything, and makes it very easy to write agnostically in Go.

As a proof-of-concept, I wrote a little program that starts a VNC server for accessing its GUI. I didn’t need any third-party libraries because the protocol is so basic. I view it with macOS's built-in VNC client. And it nests! So parts of the UI are implemented by other processes that also communicate via VNC, which are spliced in.

The source is here: https://github.com/alltom/dirgui It’s based on https://twitter.com/rsnous/status/1348883726642544640 for turning a directory of files into a form where programs are buttons and other files are editable text fields.

Here’s a video of the basic form functionality:

🎥 2021-01-16 dirgui.mov

marianoguerra commented 3 years ago

💻 treenotation/dumbdown via Breck Yunits

🧵 conversation

Gonna try and turn this into a real thing. If anyone is interested in markup languages and wants to help, check it out!

marianoguerra commented 3 years ago

🐦 Tweet from @EmmanuelOga via Emmanuel Oga

🧵 conversation

https://twitter.com/EmmanuelOga/status/1353265056381767681

🐦 EmmanuelOga: My toy Quadstore (an hexastore) inserted 1,000,000 quads in ~7 secs (w/linear complexity!) - not bad for ~100 lines of Kotlin.. 🤩To be fair the heavy lifting is done by an AVL TreeSet in http://fastutil.di.unimi.it. RAM usage was ~ 4.5GB (w/openJDK 14) gist

Tweet Image

marianoguerra commented 3 years ago

Thinking Together

💬 Shubhadeep Roychowdhury

🧵 conversation

I was wondering if there is any language which has been designed from ground up to make mathematical formalism as a first class citizen. Precisely I was thinking some kind of way to write set builder notation and then built-in functions to perform and generate (here the generate word is used in a double meaning, think about generators, as some of those operations can generate infinite data) basic operations, such that intersection, union, sigma algebra, and such?

It is something I am thinking. As having something like this will open up doors to programming into a lot of mathematical domains pretty accessible. Topology, Measure theory, Order Theory, Category Theory etc. etc.

marianoguerra commented 3 years ago

💬 Felix Kohlgrüber

🧵 conversation

I was reading some text vs. binary file arguments and one thing that kept coming up was that text files are easier to recover when they get corrupted. I've got a couple of questions regarding this and would like to hear your thoughts:

When did you have to deal with corrupted files and what was causing the corruption?
How did the corruption look like (single swapped bits, part of the file missing, ...)?

marianoguerra commented 3 years ago

💬 Naveen Michaud-Agrawal

🧵 conversation

Question for anyone in the know - was there ever a formal system description of the RealTalk system powering DynamicLand?

marianoguerra commented 3 years ago

💬 Mariano Guerra

🧵 conversation

If you could make one niche idea related to FoC into the mainstream, which one would it be?

marianoguerra commented 3 years ago

Content

🎥 Oberon (Native Oberon 2.3.7) via Mariano Guerra

🧵 conversation

Thumbnail

marianoguerra commented 3 years ago

🐦 Tweet from @wcrichton via Max Krieger

🧵 conversation

Everyone send your thanks to Will Crichton because you can now support your claims about the importance of working memory in your programming environment papers!

🐦 Will Crichton: Excited to announce my debut PL/HCI paper appearing at CHI'21: "The Role of Working Memory in Program Tracing".

Ever found it hard to remember stuff while you read a program? That's working memory! Check out our experiments exploring this phenomenon.

https://arxiv.org/abs/2101.06305

Tweet Image