Mastodawn

And last one for today, no idea why this one came out so saturated, but I love it!

#infrared #infraredphotography #photography

Can Lehmann Jun 8

CF Bolz-Tereick Jun 8

got very thoroughly nerd-sniped by https://github.com/adriancable/eternal today.
I built a jitted rpython version of the VM, it nicely boots linux and runs doom! need to blog about it to get it out of my system

Can Lehmann Jun 6

Compiler Treffen Karlsruhe Jun 6

We are doing a Compiler and PL Dev Meet at GPN 24 today at 16:45 in the seating area in front of ZKM Kubus!

#gpn24 #compiler #karlsruhe #gpn

Can Lehmann Jun 6

RE: https://chaos.social/@compiler_treffen_karlsruhe/116700451669929165

I'd love to chat with some compiler people at GPN 24! We are doing a little self organized session for compiler people to meet up on Saturday (today!) at 16:45. #gpn24

Can Lehmann Jun 3

HaskellOrg Jun 2

The past years have seen horrendous attacks towards trans people. We have a duty to protect the most vulnerable members of our communities.

There is no #Haskell without the trans people who have shaped it through the years.

This June is a month of celebrations, but the struggle continues. ✊🏳️‍⚧️λ

Can Lehmann May 31

John Regehr May 31

RE: https://mastodon.social/@cfbolz/116670458563452360

if it's physically possible to do the same thing in different, incompatible ways, then you can trust programmers to do exactly that (here, representing "known bits" dataflow facts)

Can Lehmann May 31

CF Bolz-Tereick May 31

Just blogged: "KnownBits in Lean" https://cfbolz.de/posts/2026-knownbits-in-lean/

KnownBits in Lean

In January I was at the excellent E-Graphs Dagstuhl where I met some really amazing people. One of the things I did during that week was to talk to Marcus Rossel and Andrés Goens about proving the sou

CF Bolz-Tereick's Web Page

Can Lehmann May 31

Jana May 31

went out with my full-spectrum converted camera and my 550nm long-pass filter again! I just love the Aerochrome look, so fluffy

#photography #infrared

Can Lehmann May 29

Matt Mets May 29

Anyone want to do something with a bunch of ESP8266 modules (ESP-WROOM-02)? We have around 350 that need to get out of our office. Free to a good home (+ shipping).

Can Lehmann May 26

Adrian Sampson May 26

This blog post is an extended metaphor that serves as an excuse to complain about Verilog. https://www.cs.cornell.edu/~asampson/blog/buildingblocks.html

Back to the Building Blocks’ Building Blocks

Verilog is the foundation of all hardware design, and it is fatally flawed. We should all be worried about a glut of hardware bugs caused by Verilog’s unpredictable semantics and simplistic type system.

GitHub	https://github.com/can-lehmann/
Pronouns	he/him