Agenda for tonight

[Mark Wutka]

Hi Everyone,

So far we have two items for tonight:

Jason will present on code highlighting and navigation using a parser based on tree-sitter.

Mark will present about a simple data structure called a Skew Heap and show implementations

in Haskell and Ocaml.

Again, the link for the meeting is:

Topic: NashFP

https://us02web.zoom.us/j/89677843951?pwd=a0M0ai9XUjBPcHZDd1B3enF0RndCUT09

Meeting ID: 896 7784 3951

Passcode: 20220725

[Mark Wutka]

One update for the agenda, Zayaan will be first up and will present a simple binary calculator he made with logic gates represented by equations in a graphing calculator. Should be fun!

  Mark

[Bryan Hunter]

Here is the chat log from tonight:

18:12:16 From Bryan Hunter to Everyone:
    https://github.com/seL4/seL4
18:12:26 From Bryan Hunter to Everyone:
    https://kry10.com/
18:17:27 From Bryan Hunter to Everyone:
    The P language that Mark used: https://github.com/p-org/P
18:19:14 From Bryan Hunter to Everyone:
    https://p-org.github.io/P/
18:32:22 From Bryan Hunter to Everyone:
    PATRICK CARVER will facilitate in August
18:47:10 From Patrick Carver to Everyone:
    Elements of Computing Systems: https://www.amazon.com/Elements-Computing-Systems-Building-Principles-dp-026214087X/dp/026214087X/ref=mt_other?_encoding=UTF8&me=&qid=
18:47:23 From Bryan Hunter to Everyone:
    BOOK: “The Elements of Computing Systems: Building a Modern Computer from First Principles” https://www.amazon.com/Elements-Computing-Systems-Building-Principles/dp/0262640686
18:50:49 From Bryan Hunter to Everyone:
    BASIC Haskell Tweet that Jason shared: https://twitter.com/fixedpointfae/status/1551791996183801857
19:01:58 From Bryan Hunter to Everyone:
    Jason showing Tree Sitter https://tree-sitter.github.io/tree-sitter/
19:06:36 From Bryan Hunter to Everyone:
    The Elixir language tree sitter file: https://github.com/elixir-lang/tree-sitter-elixir
19:44:43 From jorendorff to Everyone:
    https://dcreager.net/talks/stack-graphs/
19:52:58 From Bryan Hunter to Everyone:
    Mark showing skew heaps https://en.wikipedia.org/wiki/Skew_heap
19:53:48 From Bryan Hunter to Everyone:
    NashFP Skew Heap playground repo: https://github.com/NashFP/skewheaps
19:55:27 From Bryan Hunter to Everyone:
    Zayaan earlier showed demos using desmos: https://www.desmos.com/scientific
20:15:39 From Mark Wutka to Everyone:
    https://themonadreader.files.wordpress.com/2010/05/issue16.pdf
20:16:05 From Mark Wutka to Everyone:
    https://www.cs.cmu.edu/~sleator/papers/adjusting-heaps.pdf

Fun time! Thank you all.

-Bryan