1

Every type is defined by its intro and elim forms – Jake Zimmerman

https://blog.jez.io/intro-elim/ · I took a course about programming languages in college. It was a very theory-oriented course, but as it turned out I learned more about how to write software from this theory course than many of my peers who took our school's software engineering elective.

Tilman · 0 Comments ·

Tuesday 25. Apr 2023

1

How RocksDB works - Artem Krylysov

https://artem.krylysov.com/blog/2023/04/19/how-rocksdb-works/

Tilman · 0 Comments ·

Thursday 20. Apr 2023

1

Alien Artefacts

https://www.brautaset.org/posts/alien-artefacts.html

Tilman · 0 Comments ·

Sunday 16. Apr 2023

1

Beyond automatic differentiation

https://ai.googleblog.com/2023/04/beyond-automatic-differentiation.html?m=1 · Posted by Matthew Streeter, Software Engineer, Google Research Derivatives play a central role in optimization and machine learning. By locally app...

Tilman · 1 Comment ·

Saturday 15. Apr 2023

1

Feature flags and authorization abstract the same concept | nicole@web

https://ntietz.com/blog/feature-flags-and-authorization/

Tilman · 0 Comments ·

Wednesday 12. Apr 2023

1

On Endings: Why & How We Retired Elm at Culture Amp

https://kevinyank.com/posts/on-endings-why-how-we-retired-elm-at-culture-amp/ · Kevin Yank’s website

Tilman · 0 Comments ·

Sunday 9. Apr 2023

1

'Modules Matter Most' for the Masses

https://www.pathsensitive.com/2023/03/modules-matter-most-for-masses.html · The title of this post should be in double quotes, but it seems parts of Google have not learned about abstracting sanitization . Screenshot...

Tilman · 0 Comments ·

Friday 31. Mar 2023

1

Command Line Interface Guidelines

https://clig.dev/ · An open-source guide to help you write better command-line programs, taking traditional UNIX principles and updating them for the modern day.

Tilman · 0 Comments ·

Thursday 30. Mar 2023

1