February 23 meeting

[Jason Orendorff]

Hi everyone!

Wow, February is going by fast. We have an online meeting coming up in just 7 days!

What would you like to talk about? Please reply with your question, show-and-tell, today-i-learned, or let's-hack-together suggestion.

-j

[Jason Orendorff]

On Tue, Feb 16, 2021 at 2:36 PM Jason Orendorff <jason.o...@gmail.com> wrote:

Please reply with your question, show-and-tell, today-i-learned, or let's-hack-together suggestion.

Come on, y'all... :)

I have a few ideas for topics. Feel free to vote if there's one you want to hear about.

- Nix. Nix is a package manager, but there's a surprisingly nice purely functional programming language in it, and the fact that it's a functional language is key to what Nix is trying to do. Software packages are pure functions in Nix.

- Unison, a recent functional programming language along the same lines. Neat effects system in it.

- Merkle trees and content-addressable stores, a common thread in Nix, Unison, and Git, also useful in any situation where computers have to share lots of data: peer-to-peer file-sharing, databases, distributed filesystems. Maybe this is super familiar to everyone by now. But there's not anything wrong with telling the old tales again once in a while. (Relevant to FP because it thrives on immutability; every content-addressable store is chock full of persistent data structures.)

- Or: physical unclonable functions, which are... a strange new hardware primitive in cryptography. This would be fun because I would quite obviously not know what I was talking about.

-j

[Dan Day]

Those all sound interesting Jason!

I could briefly share some things I'm learning about Cardano, a 3rd-generation cryptocurrency written on top of Haskell. Unless someone has already?

Some details- 100 peer-reviewed white papers written, apparently uses less power to mine (proof of stake vs proof of work?), deployment in Africa soon and it being used for a decentralized AI project called SingularityNET, in which many AI's can interact and transact with each other on the blockchain. I'd be interested what other people's takes are on this.

https://www.youtube.com/watch?v=Ja9D0kpksxw&feature=emb_logo

https://www.youtube.com/watch?v=97ufCT6lQcY&feature=emb_title

https://www.youtube.com/watch?v=r4manxX5U-0&feature=emb_logo

[Mark Wutka]

If I had to pick one I might choose the merkle trees, but like Dan said, they all sound good. I could do a short thing on McCarthy's 91 function, which is something that is deceptively simple yet hard to verify with theorem provers.

  Mark

--
You received this message because you are subscribed to the Google Groups "Nashville Functional Programmers" group.
To unsubscribe from this group and stop receiving emails from it, send an email to nashfp+un...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/nashfp/CAPh8%2BZobrF7MnUfNEmX9xGkFVgULzn7wYdcCPed%2BnZvU9WYmcw%40mail.gmail.com.

[Jason Orendorff]

OK, I'll prepare to speak about Merkle trees. If there's free time, I can talk a bit about this question, and the mini-project that led to it:

https://stackoverflow.com/questions/66304661/how-can-i-avoid-loop-in-haskell

-j

To view this discussion on the web visit https://groups.google.com/d/msgid/nashfp/CA%2BvyaX34crYtneuZwOLWwqc41_WMfef2vK8DUaHtH3b2GY4ahA%40mail.gmail.com.

[Bryan Hunter]

Looking forward to Cardano and Merkle Trees! 

Here a Zoom link for tonight...

Topic: NashFP - Feb 2021

Time: Feb 23, 2021 06:00 PM Central Time (US and Canada)

https://us02web.zoom.us/j/85347829580?pwd=K3d3RkE5THFoOUdGYk0vcEVETnB6Zz09

Meeting ID: 853 4782 9580

Passcode: 453398

[Bryan Hunter]

Chat log from the meeting...

18:18:58 From Bryan Hunter to Everyone : https://craftinginterpreters.com/

18:22:06 From Bryan Hunter to Everyone : https://github.com/shritesh/ex_lox

18:26:45 From Shritesh Bhattarai to Everyone : https://github.com/bitwalker/libgraph

18:29:40 From scott southworth to Everyone : Hey guys! Smartlogic.io asked me to post that they’re hiring an Elixir dev/mgr/team-lead, fully remote — https://www.linkedin.com/jobs/view/2390841296/

18:30:10 From Bryan Hunter to Everyone : Dan Day https://cardano.org/

18:36:52 From Shritesh Bhattarai to Everyone : http://www.righto.com/2014/09/mining-bitcoin-with-pencil-and-paper.html

18:40:00 From scott southworth to Everyone : Here’s my take on bitcoin and the environment: https://twitter.com/Benioff/status/549339156854214656

19:13:19 From Bryan Hunter to Everyone : shasum -a 256

19:25:47 From Shritesh Bhattarai to Everyone : https://shop.jcoglan.com/building-git/

19:26:41 From Shritesh Bhattarai to Everyone : The book is 50% off today: https://twitter.com/mountain_ghosts/status/1363946449181044742

19:34:36 From Patrick Carver to Everyone : Unison: the LaCroix of programming languages

19:47:44 From Shritesh Bhattarai to Everyone : https://www.unisonweb.org/docs/faq#how-do-i-share-my-code

19:48:29 From Luke to Everyone : Smalltalk... why is it always Smalltalk?  - Indiehacker Jones

19:49:58 From Mark Wutka to Everyone : function f(n) { if (n <= 100) { return f(f(n+11)); } else { return n-10 }}

20:07:17 From Mark Mynsted to Everyone : brew tap unisonweb/unison

brew install unison-language

20:08:24 From Mark Mynsted to Everyone : brew upgrade unison-language.

20:08:41 From Mark Mynsted to Everyone : oops, ingore the . at the end

20:09:07 From Morgan Foster to Everyone : I g2g great talk and discussion everyone!

20:14:58 From Shritesh Bhattarai to Everyone : https://github.com/unisonweb/unison/blob/trunk/docs/repoformats/v1-DRAFT.markdown

20:21:29 From Mark Mynsted to Everyone : https://www.unisonweb.org/docs/abilities

20:24:52 From John Wise to Everyone : Jason great talk as always but I need to run. Take care and see you all next month.

20:32:09 From Mark Mynsted to Everyone : https://github.com/unisonweb/unison/issues/798

20:38:44 From Jason Orendorff to Everyone : https://pwlconf.org/2019/heidi-howard/

Great night! Thank you all.

-Bryan