Share this page!

Enter URL or ID to Unroll

You can paste full URL like: https://x.com/threadreaderapp/status/1644127596119195649
or just the ID like: 1644127596119195649

How to get URL link on X (Twitter) App

  1. On the Twitter thread, click on or icon on the bottom
  2. Click again on or Share Via icon
  3. Click on Copy Link to Tweet
  4. Paste it above and click "Unroll Thread"!
  5. More info at Twitter Help
Prathyush Profile picture
@prathyvsh
May 18, 2020 • 4 tweets • 4 min read • Read on X
A subculture around “networked notebooks” like @RoamResearch / @nodebook_io is taking shape on Twitter. Me and @raghuveerdotnet are documenting them here: github.com/prathyvsh/netw…

Feel free to send a PR if you know more of these! ImageImageImageImage
Adding LambdaTank to this set. LambdaTank is an IDE+wiki platform that is built on top of LambdaTalk languages: lambdaway.free.fr/lambdaspeech/i…

Having a Turing Complete programming language as the base is a pretty intriguing way to create a networked notebook. Image
Added Foam: foambubble.github.io/foam/ to the list. Image
Added Leo Editor: leoeditor.com to the list.

A personal information manager / IDE with a DAG as it’s underlying data structure. This allows for a single node to appear in multiple places which enables Xanadu style transclusion of content in multiple locations. Screenshot of Leo Editor

• • •

Missing some Tweet in this thread? You can try to force a refresh
　

Keep Current with Prathyush

Prathyush Profile picture

Stay in touch and get notified when new unrolls are available from this author!

Read all threads

This Thread may be Removed Anytime!

PDF

Twitter may remove this content at anytime! Save it as PDF for later use!

Try unrolling a thread yourself!

how to unroll video
  1. Follow @ThreadReaderApp to mention us!

  2. From a Twitter thread mention us with a keyword "unroll"
@threadreaderapp unroll

Practice here first or read more on our help page!

More from @prathyvsh

Prathyush Profile picture
Jul 26
Here’s a thread on Semantic Zoom — a UI design pattern that is becoming prominent in the design scene with AIs enabling multi-level text summaries.
You can get all of these in one place in the Github repo here which will be synchronized as I add to this thread: github.com/prathyvsh/sema…
Semantic zoom is an interaction technique for making the information density in a UI artefact coarser/finer. The representation / functionality afforded at a particular level of detail aligns with the user intent.
Read 25 tweets
Prathyush Profile picture
Feb 16, 2022
TIL that light is an eigenvector of a Lorentz Transformation! I think this means that light plays the role of an invariant when you try to shift between two bases. For example: something like say truth value of an expression when you shift between two logical systems studying it.
I am right now in the middle of researching something else and will have to return to this later, but this page has some real nice pedagogic material on Special Relativity: jila.colorado.edu/~ajsh/sr/sr.ht…
Here is another animation from Wikipedia. Line crossing the vertical axis are sequential events and the line crossing horizontal axis simultaneous ones. The diagonals that remains invariant indicates light. Funny how this shows connections with linear algebra and order theory.
Read 8 tweets
Prathyush Profile picture
Dec 29, 2021
Can’t claim to have even remotely understood this article with the intended precision, but I just loved the exposition of ”Are deep networks just kernel machines?” here: m0nads.wordpress.com/2021/05/09/are… Figure 2. Kernel method fro...Figure 3. Kernel trick from...Figure 4. Weights paths fro...Figure 6. Deep network weig...
Stumbled on this discrete visualization of fundamental theorem of calculus by @PeterSaveliev and thought it was amazing!

There is more of such goodness in his lecture notes: dropbox.com/s/p8hxmgaygbb7… Visualization of fundamenta...
This is a neat video to watch on how Leibniz conceived his version of fundamental theorem of calculus using the harmonic triangle and telescoping sums:
Read 4 tweets
Prathyush Profile picture
Dec 23, 2021
A really cool visualization of Fermat’s Last Theorem by Andrew J. Hanson from 1990! (Part 1/2)

Source: legacy.cs.indiana.edu/~hansona/Ferma…
This is the second part where Fermat surfaces are used to create a different visualization (Part 2/2).

Key takeaway: You can vary the geometric framework in which visualization is conducted to generate distinct forms for the curves.
Also, totally worth exploring is this awesome WebGL environment made by Hanson for exploring Fermat surfaces: cgi.soic.indiana.edu/~hansona/4D/4D… Image showing a Fermat surf...
Read 4 tweets
Prathyush Profile picture
Nov 14, 2021
Matrices can be visualized as functions! This enables us to see matrix multiplication as function composition. In this thread let us take a visual tour of these mathematical ideas. To get this thread as a PDF: patternatlas.com/v0/matrices-as… Cover image with the title ...
I stumbled on this idea as a part of my logical explorations. I saw how the matrix way of representing things has an intertwining between simultaneity and sequentiality which is awesome! Let us start uncovering the ideas here by representing matrices as pixel grids. Matrices as Pixel Grids. Sh...
Let us label the matrix and understand how to represent arbitrary connections. A dark square in the pixel grid means a connection exists between a row element and a column element. A row element can be thought as an input and the corresponding column elements its outputs. Matrix Mappings: Shows a pi...
Read 37 tweets
Prathyush Profile picture
Jan 24, 2021
Catalog of Programming Languages for the Enthusiast: Starting a curation on some of the cool indie / lesser known programming language projects I have been stumbling on.

You can get the full listing here: patternatlas.com/v0/pl/ Cover art of Programming la...
Starting off with Pikelet by @brendanzab. It is a continuous source of inspiration to see Brendan starting from game dev and getting into deep type theory stuff! Check out his language Pikelet: github.com/pikelet-lang/p… and his twitter stream for updates on his work. Logo of Pikelet from the Gi...
@brendanzab Koka is a strongly typed functional-style language with effect types and handlers: koka-lang.github.io/koka/doc/index…

I encountered Koka when researching about algebraic effects. Papers from Daan Leijen on its semantics and technical details are available here: microsoft.com/en-us/research… Screenshot of Koka Language
Read 26 tweets

Did Thread Reader help you today?

Support us! We are indie developers!

This site is made by just two indie developers on a laptop doing marketing, support and development! Read more about the story.

Become a Premium Member ($3/month or $30/year) and get exclusive features!

Become Premium

Don't want to be a Premium member but still want to support us?

Make a small donation by buying us coffee ($5) or help with server cost ($10)

Donate via Paypal

Or Donate anonymously using crypto!

Ethereum

0xfe58350B80634f60Fa6Dc149a72b4DFbc17D341E copy

Bitcoin

3ATGMxNzCUFzxpMCHL5sWSt4DVtS8UqXpi copy

Thank you for your support!

Follow Us!

Send Email!

:(