Martin Cracauer
medium.com/@martincracauer · Personal blog · on HN since 2016
Martin Cracauer, a Common Lisp (SBCL) developer, writes about garbage collection, compile-time computing, static typing in Lisp and developer focus.
What HN saysCommenters cite his articles for Lisp type checking and for how userfaultfd and write barriers work in generational garbage collection, and call one article great.
20HN people shared it
5linked it in comments
18stories submitted
521story points
3 years agolast shared
2016people per year2026
Most-shared posts
- 1Static Type Checking in Common Lisp7 people · 169 points · first shared 2019 · 64 comments on HN
- 2Generational Garbage Collection, Write Barriers and Userfaultfd(2)7 people · 10 points · first shared 2016 · discussion on HN
- 3LLVM’s garbage collection facilities and SBCL’s generational GC4 people · 148 points · first shared 2018 · 34 comments on HN
- 4A Gentle Introduction to Compile-Time Computing (2017)2 people · 6 points · first shared 2017 · 1 comments on HN
- 5Programming productivity: flow and “the zone” versus running and obstacles2 people · 4 points · first shared 2019 · 1 comments on HN
- 6On Attention, Focus and Autism in the Tech Workplace2 people · 4 points · first shared 2017 · 4 comments on HN
- 7A gentle introduction to compile time computing part 3 scientific units 8e41d8a727ca2 people · first shared 2019
- 8Software Development at 1 Hz1 people · 180 points · first shared 2016 · 118 comments on HN
- 9A gentle introduction to compile time computing part 2 cb0a46f6cfe81 people · first shared 2017
What HN people wrote when they linked it
vindarel · 2020-07-18
It's a great article. Related, for Common Lisp: https://lispcookbook.github.io/cl-cookbook/type.html
and also:
- https://medium.com/@MartinCracauer/static-type-checking-in-the-program… (by an author of the CLASP implementation, C++ & LLVM for CL)
- https://github.com/stylewarning/coalton - a library (pre-alpha): adding Hindley-Milner type checking to Common Lisp which allows for gradual adoption, in the same way Typed Racket or Hack allows for. It is as an embedded DSL in Lisp that resembles Standard ML or OCaml, but lets you seamlessly interoperate with non-statically-typed Lisp code (and vice versa).
cracauer · 2017-08-28
Last year I wrote about focus and attention when programming and how slow tools and slow compile-run workaround time hurt us.
"Software Development at 1 Hz (medium.com)"
https://news.ycombinator.com/item?id=12577283
This is my followup with more general attention and focus issues for some parts of the workplace.
https://medium.com/@MartinCracauer/on-attention-focus-and-autism-in-th…
If you like it I would also appreciate a retweet.
https://twitter.com/MartinCracauer/status/902199195674824704
ravi-delia · 2023-10-16
If anyone is curious about how signals are used for garbage collection (specifically SIGSEGV) check out this article:
https://medium.com/@MartinCracauer/generational-garbage-collection-wri…
It's handy for knowing which areas of the heap have been untouched (and thus don't need to be scavenged in a generational gc).
sanxiyn · 2019-10-30
I first learned about userfaultfd's utility to GC from https://medium.com/@MartinCracauer/generational-garbage-collection-wri…
ristos · 2019-10-12
Yeah you can do optional static typing in common lisp:
https://medium.com/@MartinCracauer/static-type-checking-in-the-program…
The typing discipline in strong. I think it also has type inference but I'm not 100% sure