Viewing profile — oleks

Using an LLM to generate code is not an easily traceable and explainable process. Using a DSL to same ends is. PL research has yet to meet explainability in AI head on.

As an avid designer of CS courses and curricula in the not-so-distant past, I would like for it turn into a success criterion that your course gets included in this listing. Back w…

>> does any important software use APL nowadays? > No. That's not a question one is able to answer objectively in this world full of closed source software. Large parts of SimCorp …

> The people who do this are likely not American or Western European Maybe not natively, but they may be working in the US or Western Europe, making upwards 50% of a Google/Faceboo…

[flagged]

What does finance have to do with distributed systems? Finance is much more about mathematical modelling, which is an utter pain in a dynamically typed language with nothing but li…

Erlang as a programming language for writing fault-tolerant systems has quite little in common with Prolog, except the syntax. That is, the semantics of Erlang vastly differ from P…

Yep, works. However, you need to magically restart the browser. Apperently, it runs some background processes whose names contain neither the character sequence "firefox", nor "moz…

Just because you can earn money on something, does not make it good.

I like QR codes, and ordering via phone. You don't have to wait around for the waiter to bring the menu, take your order, take your payment. Don't have to touch a menu that hasn't …

Aren't most smartphones dual-sim by now?

Similarly, comments can lie, but a commit-history cannot. That is, if the commits are digitally signed. Then you know something about who made the change when, and get a hint at wh…

You are not paid to go the university in Denmark. You are awarded credits by the government, and it is up to you to do something sensible with those credits. Don't waste them on ne…

You can freely use many foreign driver's licenses without extra expenditures.

I spent 17 years in Denmark, and now a couple years in Norway, and I can say that the Danish lunch culture is far richer than the Norwegian one. I studied at a Danish gymnasium and…

Have you seen this POPL'16 paper? https://popl16.sigplan.org/event/popl-2016-papers-printing-f...

This will only spot uncommitted changes to tracked files. I want a completely clean repository before I deploy, where there are neither uncommitted changes to tracked files, nor (n…

Yes, so this is useful where deployment is "manual" in the sense that it is not a mere git push. It is bad practice to have git data lying around among otherwise public files, so y…

It first performs a git status, then fetches changes from upstream, and checks if all local changes have been pushed upstream (using git cherry).

Why is Oil implemented in Python? IMO Python is a terrible language for writing programming languages.