Elektrine
EN
Log in Register
Paige Chat Timeline Communities Gallery Videos Email DNS VPN Uptime Kairo
Back to Timeline
Remote

Markus Klink

@io@functional.cafe
  • Open on functional.cafe

Scala programmer by day, haskell, idris, common lisp afficionado by night.

#scala #haskell #lisp #commonlisp #idris

0 Followers
0 Following
13 Posts
Joined December 29, 2022
github:
https://github.com/justjoheinz/
work:
https://inoio.de/

Posts

Open post
io
Markus Klink @io@functional.cafe · Apr 09, 2026
Markus Klink
@io@functional.cafe

Scala programmer by day, haskell, idris, common lisp afficionado by night. #scala #haskell #lisp #commonlisp #idris

functional.cafe

Is anyone using ocicl as a systems manager in Common Lisp? Have a look at https://github.com/ocicl/ocicl - I only discovered it now, but it seems to be slightly more modern than quicklisp and it is actively maintained.

#commonlisp #asdf #lisp

GitHub

GitHub - ocicl/ocicl: An OCI-based ASDF system distribution and management tool for Common Lisp

An OCI-based ASDF system distribution and management tool for Common Lisp - ocicl/ocicl

1
0
0
0
Open post
io
Markus Klink @io@functional.cafe · Apr 07, 2026
Markus Klink
@io@functional.cafe

Scala programmer by day, haskell, idris, common lisp afficionado by night. #scala #haskell #lisp #commonlisp #idris

functional.cafe
Replying to @io@functional.cafe
https://coalton-lang.github.io/
1
0
0
0
Open post
io
Markus Klink @io@functional.cafe · Apr 07, 2026
Markus Klink
@io@functional.cafe

Scala programmer by day, haskell, idris, common lisp afficionado by night. #scala #haskell #lisp #commonlisp #idris

functional.cafe

Coalton is a typed language build on top of CommonLisp, which takes inspiration from Haskell, Scheme and Ocaml. It supports type classes and in general is fairly enjoyable to use as it integrates well into the existing Lisp tool support. I wrote a small optics library with it (WIP). https://github.com/justjoheinz/lens

Leave a comment if you tried coalton too, please.

#coalton #commonlisp #lisp #optics #library #programming

GitHub

GitHub - justjoheinz/lens

Contribute to justjoheinz/lens development by creating an account on GitHub.

4
1
0
0
Open post
io
Markus Klink @io@functional.cafe · Mar 31, 2026
Markus Klink
@io@functional.cafe

Scala programmer by day, haskell, idris, common lisp afficionado by night. #scala #haskell #lisp #commonlisp #idris

functional.cafe
Replying to @hanshuebner@mastodon.social
@hanshuebner I enjoyed the blog post very much. A truly cool story.
0
2
0
0
Open post
io
Markus Klink @io@functional.cafe · Jan 30, 2026
Markus Klink
@io@functional.cafe

Scala programmer by day, haskell, idris, common lisp afficionado by night. #scala #haskell #lisp #commonlisp #idris

functional.cafe

Ich bin ja ein wenig spät dran, wenn ich jetzt das Buch "Antifragilität" von Nassim Nicholas Taleb lese, welches immerhin bereits 2012 erschienen ist. Aber das Thema - Systeme, die an Unordnung nicht zugrunde gehen, sondern sogar daran wachsen - ist natürlich auch für Informatiker interessant. Wenn im Buch dann ab und an auch das eigentliche Thema durchblitzt, ist es ja durchaus bemerkenswert, aber leider ist der ganze Schreibstil so ausschweifend, so von einer Nichtigkeit zur anderen hüpfend, so von Ego-Nachrichten durchzogen, dass der interessante Kern kaum durchdringen kann. Es ist beinahe so, wie wenn jemand 100 Wörter und mehr braucht, um zu sagen: Lohnt sich nicht.

https://en.wikipedia.org/wiki/Antifragile_(book)
#antifragile #taleb #book

0
0
0
0
Open post
io
Markus Klink @io@functional.cafe · Dec 04, 2025
Markus Klink
@io@functional.cafe

Scala programmer by day, haskell, idris, common lisp afficionado by night. #scala #haskell #lisp #commonlisp #idris

functional.cafe
Replying to @io@functional.cafe
I am sorry, I misquoted the name: it is Barry O'Reilly, not Brian.
0
0
0
0
Open post
io
Markus Klink @io@functional.cafe · Dec 03, 2025
Markus Klink
@io@functional.cafe

Scala programmer by day, haskell, idris, common lisp afficionado by night. #scala #haskell #lisp #commonlisp #idris

functional.cafe

Recently I came across a discussion on LinkedIn, where the creator claimed that many successful projects do not use TDD. This created a riot, with many people pointing out that the mentioned projects had tests, so that the claim was invalid, completely ignoring the fact that having tests and following TDD are not the same thing. This was pointed out amongst other by Brian O'Reilly. What caught my interest is that Brian develop an architecture method/idiom employing "Residuality Theory". He published a leanpup book about it (https://leanpub.com/residuality) and others blogged about it. E.g. https://ericnormand.substack.com/p/residuality-theory

I feel quite attracted to the whole thing: on the one hand there is gut feeling involved, and then there are also steps to evaluate this gut feeling.

What is your take? Have/had any experiences with the concepts?

leanpub.com

Residues: Time, Change, and Uncertainty in Software Architecture.

An introduction to Residuality Theory, fusing Software Engineering and Complexity Science to produce new methods for designing software.

0
1
0
0
Open post
io
Markus Klink @io@functional.cafe · Oct 28, 2025
Markus Klink
@io@functional.cafe

Scala programmer by day, haskell, idris, common lisp afficionado by night. #scala #haskell #lisp #commonlisp #idris

functional.cafe

https://webvm.io/ - a whole Linux virtual machine running in the browser thanks to #webassembly #wasm.

0
0
0
0
Open post
io
Markus Klink @io@functional.cafe · Oct 28, 2025
Markus Klink
@io@functional.cafe

Scala programmer by day, haskell, idris, common lisp afficionado by night. #scala #haskell #lisp #commonlisp #idris

functional.cafe

Using https://crates.io/crates/clap to do CLI argument parsing in #rust is really a breeze. A very enjoyable experience.

3
0
0
0
Open post
io
Markus Klink @io@functional.cafe · Oct 16, 2025
Markus Klink
@io@functional.cafe

Scala programmer by day, haskell, idris, common lisp afficionado by night. #scala #haskell #lisp #commonlisp #idris

functional.cafe

I always forget that I have zellij installed. https://zellij.dev/
It is a real cool terminal workspace, very much like tmux, but usable.

Zellij
zellij.dev

Zellij

A terminal workspace that doesn

1
0
0
0
Open post
io
Markus Klink @io@functional.cafe · Oct 14, 2025
Markus Klink
@io@functional.cafe

Scala programmer by day, haskell, idris, common lisp afficionado by night. #scala #haskell #lisp #commonlisp #idris

functional.cafe

When I use cargo component new to build a CLI component for Rust/Wasm/Wit, the cargo component build step will automatically translate a main function to .e.g. wasi:cli/run or println! statements to the according stream functions from the wasi world. With wasm-tools component wit I can even inspect a generated with world, though none was supplied. I would llike to know more about the magic involved. Is that documented somewhere, is this something carfgo component does, or is it coming from wit-bindgen? Any help or pointers appreciated.

#rust #wasm #wit #wasi #wasip2 #cargo #componentmodel

0
1
1
0
Open post
io
Markus Klink @io@functional.cafe · Apr 30, 2025
Markus Klink
@io@functional.cafe

Scala programmer by day, haskell, idris, common lisp afficionado by night. #scala #haskell #lisp #commonlisp #idris

functional.cafe

Though I am german and live in Germany, I made it a habit to support @guardian@flipboard.social - having lived in the UK for around 6 years I always enjoyed the newspaper (then still on paper), and I admire that all the articles are kept free for everyone. Being able to gather information from various sources is important in a democracy. With the Guardian I have the hope that I get independent information. Try and donate: https://www.theguardian.com/europe

flipboard.social

The Guardian (@guardian@flipboard.social) - Flipboard

0
0
0
0
Open post
io
Markus Klink @io@functional.cafe · Apr 28, 2025
Markus Klink
@io@functional.cafe

Scala programmer by day, haskell, idris, common lisp afficionado by night. #scala #haskell #lisp #commonlisp #idris

functional.cafe

Good news for Webassembly fans: https://thenewstack.io/graalvm-finally-gets-java-for-webassembly/

#java #graalvm #wasm #webassembly

4
0
2
0

Remote instance

functional.cafe
Open on original server
313k7r1n3
Elektrine

Tor hidden service

elekhj7afj4qnrr4yd3bkzslsyo5jgfxw3orgjkhlcxifueodybyiiad.onion

Platform

  • Email
  • Chat
  • Timeline
  • Communities
  • VPN
  • DNS

Company

  • About
  • Contact
  • FAQ

Legal

  • Terms of Service
  • Privacy Policy
  • Warrant Canary
  • Lite (no JS)
  • VPN Policy
  • Source code

Support

  • support@elektrine.com
  • Report Security Issue
Mail client setup IMAP mail.elektrine.com:993 POP3 mail.elektrine.com:995 SMTP mail.elektrine.com:465
© 2026 Elektrine. All rights reserved. Server: 10:52:51 UTC