Computer scientist, author
- Denmark
-
14:24
(UTC +02:00) - in/kile-kasmir-asmussen
Pinned Loading
-
-
facts-and-oreos
facts-and-oreos PublicAn extensive test suite for Factorio mods: mod-loading pipeline simulation, prototype verification, siloing of game profiles, and Factorio-specific MCPs
Rust
-
TypingStyles.md
TypingStyles.md 1# Four axes of type systems in programming languages23People are confused about how to classify type systems in programming languages
4because they conflate separate language design parameters. Only four categories are named
5and they are frequently used in overlapping/synonymous fashion. Here's a proposal for some
-
Vibe Coding, Spec Driven Development...
Vibe Coding, Spec Driven Development, and Thermonuclear Autocomplete 1_Epistemic status: not exhaustively tested in practice._
23# Vibe Coding doesn't work. Why?45I think nobody in the business of creating performance and safety critical
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.



