Noam Y
@noam_yy
i like weird cs stuff & anime
a nice workshop of programming in par (the linear logic language) x.com/noam_yy/status…
So how's programming in a linear language actually like? Michal (the originator) had a workshop where he live codes a mini grep program in par! (link in comment)
The two things i like about Par the most are: 1) The syntax is an intuitive blend of functional and imperative 2) Anything you write in par is technically a Linear Logic proof, and any LL proof can be written in Par!
Par, an expressive, concurrent, total* language with linear types and full duality. Based on Linear Logic and Session Types, Par has both functional and imperative features integrating seamlessly
Par is the only language I know that takes linear logic seriously (as opposed to just using parts of it for performance or correctness).
Par, an expressive, concurrent, total* language with linear types and full duality. Based on Linear Logic and Session Types, Par has both functional and imperative features integrating seamlessly
Back in the day computers were difficult to use—they required acquiring some skill, but once that skill was acquired they were easy to operate. Now computers are seemingly easy to use—they demand no skill—but it's an illusion—they are harder to operate than ever.
I didn't even manage to create a @ManifoldMarkets before the ceasefire was broken
War stories time. Like every language with a modern implementation Go uses optimized memory copy routines, written in assembly language. When I was working on the SPARC64 target, I also wrote `memcpy` in assembly. But in the interest of simplifying my life, I rewrote it in Go.…
trying to use dynamically typed languages again