- Keyboard Macros are Misunderstood - Mickey Petersen
- PROMPT_ - Tomáš Baránek
- Elements of Malli - Ben Sless
- The broken promise of static typing - Dan Lebrero
- The Shocking Secret About Static Types - Eric Elliot
- 6.4.24. Deferring type errors to runtime - GHC User’s Guide
- Publishing semantic-namespace/contract lib - tangrammer
There is no reason to limit our specifications to what we can prove, yet that is primarily what type systems do. There is so much more we want to communicate and verify about our systems. This goes beyond structural/representational types and tagging to predicates that e.g. narrow domains or detail relationships between inputs or between inputs and output. Additionally, the properties we care most about are often those of the runtime values, not some static notion. Thus spec is not a type system.
- Sound Default-Typed Scheme (Position Paper) - Jan-Paul Ramos-Davila
We propose a new approach to typing Scheme programs based on the observation that programmers often have strong beliefs about the “normal” behavior of their code. Rather than forcing a binary choice between static types and runtime checks, we introduce default typing, where each program point carries a plausibility-ranked set of types. The highest-ranked type (rank 0) represents what the programmer believes will “almost always” be true, while higher ranks capture increasingly exceptional cases. By leveraging Racket’s macro-extensible type system and SMT-based constraint solving, we can verify whether a program type-checks using only the default assumptions. Success yields efficient code with no runtime overhead; failure produces a counterexample showing which assumptions are violated. We provide a precise notion of conditional soundness: programs are guaranteed type-safe only when their default assumptions hold at runtime.
- My Position on AI, LLMs, and "vibe coding" - Arne Brasseur
- Let’s Build the GPT Tokenizer: A Complete Guide to Tokenization in LLMs - Andrej Karpathy, Kerem Turgutlu
- How to Solve it With Code course now available - Jeremy Howard
- From Correlations to Recommendations - Tomáš Baránek
- Convert PDF to TXT while preserving layout -
pdftotext -layout input.pdf output.txt(pdftotextinpoppler-utils.debpackage)
- De-complecting clojure.spec - tangrammer
- Episode 5: Combinatory Programming with Zach Smith - Tacit Talk
- Lisp Design Patterns - Artyom Bologov
- Software Architecture Today - Alex Alejandre
- QEMU machine types and compatibility - Cornelia Huck
- QEMU Install Windows 11 Guest - undus5
- Domain Driven Design in Clojure with generalized Hiccup - Michal Hadrava
- Concept image and concept definition Wikipedia Page
- Concept Image and Concept Definition in Mathematics with particular reference to Limits and Continuity - David Tall and Shlomo Vinner
- Procept Wikipedia Page
- Procepts @archive.org - David Tall
- Evolving Clojure with Java’s Virtual Threads - Alex Miller
- Recommended Directory Structure for Janet’s Modern Bundles - Michael Camilleri
- Bundles in Janet - Michael Camilleri