Elektrine
Log in Register
Paige Chat Timeline Gallery Friends Email Drive DNS Private DNS Domains VPN Kairo Nerve
Remote

Markus Klink

@io@functional.cafe
mastodon 4.8.0-alpha.3+glitch
  • 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/
Open post
Markus Klink @io@functional.cafe
· 6mo ago

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.com
1
0
0
0
Open post
Markus Klink @io@functional.cafe
· 6mo ago
Replying to
coalton-lang.github.io
1
0
0
0
Open post
Markus Klink @io@functional.cafe
· 11mo ago

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

crates.io
3
0
0
0
Open post
Markus Klink @io@functional.cafe
· 17mo ago

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

#java #graalvm #wasm #webassembly

thenewstack.io
4
0
2
0
Open post
Markus Klink @io@functional.cafe
· 11mo ago

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
Markus Klink @io@functional.cafe
· 10mo ago
Replying to
I am sorry, I misquoted the name: it is Barry O'Reilly, not Brian.
0
0
0
0
Open post
Markus Klink @io@functional.cafe
· 6mo ago
Replying to
@hanshuebner I enjoyed the blog post very much. A truly cool story.
0
2
0
0
Open post
Markus Klink @io@functional.cafe
· 8mo ago

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

en.wikipedia.org
0
0
0
0
Open post
Markus Klink @io@functional.cafe
· 11mo ago

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

webvm.io
0
0
0
0
Open post
Markus Klink @io@functional.cafe
· 11mo ago

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

functional.cafe
0
1
1
0
Open post
Markus Klink @io@functional.cafe
· 17mo ago

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

theguardian.com
0
0
0
0
Back
313k7r1n3
Elektrine

Tor hidden service

elekhj7afj4qnrr4yd3bkzslsyo5jgfxw3orgjkhlcxifueodybyiiad.onion

I2P eepsite

j6b6cyk6gjmepjih7jjadxgxvvf3lzzujljuu2v4biemzpg3naya.b32.i2p

Platform

  • Email
  • Chat
  • Timeline
  • VPN
  • DNS

Company

  • About
  • Contact
  • FAQ
  • Lite (no JS)

Legal

  • Terms of Service
  • Privacy Policy
  • Transparency Report
  • Report Abuse
  • Warrant Canary
  • VPN Policy

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: 22:33:18 UTC