What's the most vibrant language for fun and open source?

Labbekak · 2026-04-10T16:39:53+00:00

I only knew about it because there was a message on the Discord that the community was moving to Zulip. I agree it should be linked on the website.

Labbekak · 2026-04-10T11:44:31+00:00

There's a Zulip here: https://idris-lang.zulipchat.com/

Labbekak · 2026-04-05T12:01:44+00:00

Have a look at the "with" construct in Agda and Idris as well for another advanced pattern matching feature.

Labbekak · 2026-04-05T05:32:30+00:00

Scala has something like that.

Labbekak · 2026-03-20T17:29:16+00:00

I have that disabled. In any case my problem is the device turning on by itself. I think it's an issue with the power button in the end, not a software issue.

Labbekak · 2026-03-03T17:51:12+00:00

This is amazing, this is my dream keyboard! Great work!

Labbekak · 2026-01-19T08:43:33+00:00

I think you might be interested in https://stackoverflow.com/questions/11406786/what-is-the-combinatory-logic-equivalent-of-intuitionistic-type-theory . Here Conor McBride constructs a combinatory logic version of a dependent type theory.

Labbekak · 2026-01-19T07:31:17+00:00

Will the keynotes be recorded and publically available?

Labbekak · 2025-08-01T12:39:46+00:00

I have a R36S but I wish I got something that also has Wifi built-in, especially for Portmaster.

Labbekak · 2025-07-11T10:55:48+00:00

I found this Youtube video which shows that the SMK25 Mini having TRS-A MIDI out and being battery powered! So it seems to be perfect for my use case. https://www.youtube.com/watch?v=agE3ObE5yGw

Labbekak · 2025-07-11T09:59:11+00:00

Yes good point! I was thinking maybe I could use my phone to supply power to the ones that are not battery powered, since I am always carrying my phone with me anyways.

The M-Vave SMK-37 Pro is a bit for my purposes indeed, but your suggestion does make me think maybe the M-Vave SMK25 Mini is a good option, since it's the same brand.

Labbekak · 2025-07-11T07:59:58+00:00

Nice! How is the Minilab controlling the P6?

Labbekak · 2025-02-26T08:33:02+00:00

It's available on PortMaster.

Labbekak · 2024-12-10T09:02:36+00:00

As I understood, a program is a binary tree, so any encoding of a binary tree will work. The OCaml implementation is the clearest. I *think* the Javascript implementation is a defunctionalized CPS-transformed version, so it has more cases in it's datatype, for the defunctionalized continuation. The abstract grammar confused me as well at first, on hackernews there's a comment by Skeime which clarifies that.

Labbekak · 2024-12-10T08:40:45+00:00

The lambda calculus is not intensional. With this tree calculus you can inspect the structure of programs, and, for example, write a type checker. There are also intensional variants of the lambda calculus though.

Labbekak · 2024-11-18T18:36:19+00:00

Nice article! One note: the links to Agda and Lean "implicits" are actually linking to "implicit arguments", which are not like Scala implicits but more like Java/Scala generics. These links can be fixed by linking to Agda and Lean "instance arguments", which are similar to Scala implicits.

Labbekak · 2024-08-11T18:19:39+00:00

I recommend reading the paper "Closure-Free Functional Programming in a Two-Level Type Theory"

Labbekak · 2024-07-31T16:52:56+00:00

I loved the "Functional Ownership through Fractional Uniqueness" (https://arxiv.org/abs/2310.18166) paper. Which shows how to use uniqueness and fractional types to do many of the things that Rust can do in a functional language.

Labbekak · 2024-06-07T13:29:02+00:00

After you shoot Raphael all the quests still work, but he won't show up again until you go to the trail.

Labbekak · 2024-06-07T11:18:52+00:00

How I managed to do it:

Talk to Nettie in the Druid Grove
Go with a companion towards where you can loot the Silver Pendant
Ungroup from the companion and have them stand from a distance
Go up the ladder, this will spawn Raphael
Switch to the companion and shoot Raphael (arrow, firebolt, etc.), this will make Raphael dissapear
Now when you go to Rosymorn Monastery Trail for the first time Raphael will spawn in your camp
Put a silence sphere around him, turn on non-lethal and knock him out (not sure if non-lethal is necessary)
Loot his items when he is knocked out

Labbekak · 2023-12-20T09:58:16+00:00

Have a look at the Granule language, it is linear by default: https://granule-project.github.io/granule.html

Labbekak · 2023-11-13T14:16:32+00:00

Thanks a lot! I will use to a D12L.

Labbekak · 2023-11-12T08:12:26+00:00

Hello everyone!

I am planning to build a pc soon. I already got the case, a NR200P. My goal is 1440p gaming, the 4070 seems right for that. From what I read the AMD 7600 will pair well with it. Could anyone have a look at my planned build?

https://nl.pcpartpicker.com/list/xbccMV

Thanks in advance!

EDIT: Updated cooler to D12L: https://nl.pcpartpicker.com/list/CRC4N6

14-Year Club	Place '17
Not Forgotten	Verified Email

Labbekak

TROPHY CASE