Munksgaard

How come no one has commented on the fact that most of these videos include someone falling off an inflatable ring in the "deep end" of the pool while having virtually no swimming skills. It seems like a no-brainer to me that it's a bad idea to float out on a ring if you can't swim. Is that really common?

The beauty of Lisp's macros are that they're specifically _not_ expressed in a separate language: They're ordinary Lisp expressions that work directly on the AST.

My Jabra Elite 85h has jack in addition to bluetooth.

That's pretty cool, I know what I'll be doing today!

What are the black dots? Listeners? If so it would be great if clicking them actually opened up their soundcloud profile. As another small suggestion, it would be nice with a title on mouseover on both the orange and black dots.

It's working fine for me. However, I found out that by "search" it means "input the url of a song you like".

As others have mentioned, and as the post itself also was updated to say, you don't need const generics to support this pattern: https://github.com/Munksgaard/session-types, http://munksgaard.me/papers/laumann-munksgaard-larsen.pdf

I know this has been mentioned a million times on here, but for the off chance that someone hasn't heard about it before I'm going to completely disregard that and say that Magit for Emacs is an incredibly helpful tool for interfacing with git repositories that I couldn't imagine working without it. It's by far the best interface to a version control system that I've ever used. It has helped me understand how git works behind the scenes, and allows me to effortlessly work with branching, stashes, merging, rebasing, remotes and much more, without remembering a bunch of arcane git commands.

Box puts something on the heap and returns a pointer to that thing. Here it is necessary because otherwise the Rust compile wouldn't be able to determine the size (in memory) of a Tree.

Normal flow of traffic?

As I understand it, this bacteria-like organism was synthetically made, and is fundamentally different from other organisms that we know of because of the difference in codon-counts. However, I'm not sure I understand what that means, perhaps someone else has a better explanation?

As the original poster, I am continually amazed at the capabilities of PostgreSQL. I have some ideas for how one could improve present-day database technologies (see for instance https://edgedb.com for inspiration), but the thought of having to support just a fraction of the features PostgreSQL does (and probably other similarly mature database technologies do) is incredibly daunting.

Is the site down? I'm getting an empty page in Firefox currently.

I'm using Graphile in deployment at the moment, and it works quite nicely. Granted, we have a limited amount of users thus far, so I don't really know how well it handles big loads, but it allowed us to get off the ground with a PoC _really_ quickly.

Cargo bikes like this one* have become quite popular in Denmark, there are loads of them in Copenhagen. There are also other models, but this one is probably the most prevalent.

*: https://velohouse.dk/wp-content/uploads/2018/09/Light-8.jpg

I'm one of the authors of the original paper/repository.

Part of the motivation behind our work was to try and apply it to the Servo project (Mozilla's experimental browser engine, of which parts have already been integrated into Firefox), which is highly parallelized. They had issues with their internal communication because of their expansive use of threads, and we wanted to see if session types could be applied to fix that. Unfortunately, Servo is a rapidly moving target, so while we did manage to convert some parts of the project to use our session types library, we never got around to finishing the work, and now I believe that they've found different solutions to their challenges.

With regards to your first question, this library is solely for in-process communication. The concept could be expanded to cover inter-process communication as well as communication over the network, and actually has been in other similar session type projects, but focusing on in-process communication allows us to make stronger guarantees.

You don't, unless they pass it to you (as a return value or function argument).

To be clear, Peter Madsen has nothing to do with Copenhagen Suborbitals, and hasn't had for quite a while.

Easily solved with generational indexes as described in https://www.youtube.com/watch?v=aKLntZcp27M

I can't seem to find your app on the Android store, even through the link on your GitHub page. Are you sure it's working?

I read Karen Blixen's "Out of Africa" last year, and I found it absolutely breathtaking. Beautiful descriptions of a lost land and people, vivid imagery, and an almost fairy-tale like quality to it. One of the best books I've read in many years.

Granted, it's old and describes a version of Africa that there's not much left of, but I'd highly recommend it anyway.

To clarify, with affine types you can guarantee that a value is used at most once, while linear types enforce that a value is used exactly once. Rust has the must-use directive that can be used to approximate linear types but it has severe limitations.

I suffer under the same affliction Nancy is describing: I cannot bear the idea of putting down a book that I've started.

Currently I'm struggling to get through Gödel, Escher, Bach. I like the ideas presented, especially the parallels between music and art (which I know little about) on one hand, and mathematics and computer science (which I know more about) on the other hand. But I think that it lacks focus and a clear thread. Additionally, I already know most of the mathematical concepts presented in the book, so I don't feel like I benefit much from the long chapters detailing various proofs and formal systems. To make matters worse, Hofstadter avoids using conventional notation and terminology, so I'll be reading through page upon page of detailed descriptions of his own little formal system only to finally realize "Oh, he's just describing propositional logic in a roundabout way".

Meanwhile, I've got a bunch of other interesting books sitting on my shelf that I'd like to read. Alas, there are only about 300 pages left...

You can do the same with GraphQL and Postgraphile.

The added benefit is that you can use the same schema for your client and server.

There's a nice guide to setting up a whole system here: https://www.graphile.org/postgraphile/postgresql-schema-desi...

The Rust ecosystem and tooling is really something special. The community is doing a fantastic job, and the result is best-in-class tools for dependency management (Cargo), versioning (rustup), unit-tests and so much more. I don't have any experience with Cargo-fuzz, but this article makes me want to take it for a spin this weekend.

That has been done with option types in functional languages since at least the 80s. It's not hard.

Maybe is already a monad.

I'm guessing it's from Dying Earth: https://en.wikipedia.org/wiki/Dying_Earth

What's with all the auto-playing videos these days? I don't even know how to turn this video off....

I imagine it's because of the handwritten signatures at the end of the pdf.

Either I'm whooshing some sarcasm, or you're missing the point.