-
First impressions of Lean
inkhaven, lean, programming-languages -
7 Haskell effect systems
haskell, inkhaven -
500mg Niacin
inkhaven -
I don't want your skills
agentic-programming, inkhaven -
external dependency requirement coeffect
-
co-location
-
conditional compilation makes linting/compiling code in an ide environment difficult
-
unit tests can be co-located with code
-
try { ... } finally { ... }
-
with/using blocks
-
switch / case analysis statements
-
allowing statements to be used as expressions
-
if statements
-
do while with block loop
-
while loop
-
until loop
-
defining functions/global variables over a limited scope
-
defer statement
-
RAII
-
AnyCancellable / deinitializers
-
implementing control flow as library functions
-
local type declarations
-
deconstructors / deinitializers
-
flexible scope resolution with article like functions/keywords
-
Selective
-
Discriminators (contravariant functor hierarchy, O(n) sorting!)
-
explicitly unordered containers
-
Partial Equality / Ordering
-
auto derived type classes
-
type safe dates/times/durations
-
multiparameter type classes
-
typeclasses / traits
-
orphan instances
-
scoped typeclasses or implicits
-
inserting new typeclasses in-between existing ones
-
representing types as just namespaces
-
givens (Scala 3)
-
override typeclasses or implicits
-
confluent instance resolution
-
structural types
-
dual type operator
-
type inference (+ list of methods) / elaboration
-
subtypes / subtyping
-
co-completeness checking
-
completeness checking
-
equality saturation (e-graphs)
-
call by push value
-
nominative (ν) types
-
super compilation
-
polymorphic variants
-
algebraic data types
-
coproducts / variants / enums
-
recursive (µ) types
-
closed vs open types
-
structs/record types
-
lazy evaluation order / call by name
-
easily checking which sum case is used
-
pattern matching
-
decomposing transactional systems
-
stream fusion
-
method (/with) notation
-
controlling placement of logic onto specific machines
-
coeffects / consumer effects
-
async/await
-
surfacing semantic information about distributed behavior
-
the context co-effect
-
structured concurrency / nurseries
-
coeffects can act as interpreters for effects
-
Effects
-
Implicit Conversions Between Effects
-
the runtime system should be deeply tied to effect system
-
pattern match failures are an effect / parsers via pattern matching
-
dedicated syntax for specific effects
-
idiom brackets
-
monad extraction
-
first class modules
-
first class patterns
-
first class constructor names
-
contextual keywords
-
raw identifiers
-
self types
-
functional tactics languages for proof assistants
-
Lambda with receiver
-
SQL languages
-
programming language features (and optimizations)
inkhaven, programming-languages -
overloadable literals
-
jai lang
-
storing morphological data with identifiers
-
Haskell
-
LINQ
-
compile time execution of code assertion / baking code
-
meta programming
-
MetaOCaml
-
get runtime string of compile-time identifier
-
homoiconicity
-
un-commented identifiers in comments
-
Lambda Star from A Meta Lambda Calculus with Cross-Level Computation
-
My Neovim configuration
inkhaven, vim, wiki -
Metadata patterns not accounted for by music apps
idol, idolm@ster, inkhaven, music, navigability -
Now, effect systems could matter more than ever
agentic-programming, effects, inkhaven, swift -
5 unexpectedly mindful activities
inkhaven, mindfulness -
4 step attention procedure for listening (or more generally observing)
mindfulness -
Dominion is the ultimate strategic board game
board-games, inkhaven, strategy -
4 ways I ingest personal data more efficiently
inkhaven -
Against foolproof software
inkhaven, language-learning, product-design, spaced-repetition -
What makes a good spaced repetition system? (jpdb.io)
inkhaven, japanese, language-learning, spaced-repetition -
What makes a good spaced repetition system? (WaniKani)
inkhaven, japanese, language-learning, spaced-repetition -
6 things that help me cope with ADHD
adhd, inkhaven, mindfulness -
You should try more veg food alternatives
inkhaven, vegan, vegetarian -
Maximization
inkhaven -
Books I haven't read and books I have forgotten
inkhaven, memory -
A census of Lighthaven's public bathrooms
inkhaven, lighthaven, toilet -
空色♡ Birthday Card
birthdays, idol, idolm@ster, inkhaven, music, personal, review -
an expressive programming language
haskell, inkhaven, programming-languages -
Not cutting corners
inkhaven -
Review: The 6% Club
inkhaven, personal, review -
Haskell: the re-export module X pattern
haskell, inkhaven, programming-pattern -
AirPods
inkhaven, mindfulness, personal, tech -
How to speak more Japanese in Japan
inkhaven, japan, japanese, language-learning -
Vibe-planning a trip to Japan
inkhaven, japan, personal, travel -
Streuselkuchen (German crumb cake)
dessert, recipe -
Defining custom units for the units CLI
cli, lasercutting -
Performing unit conversions on the CLI
cli -
Swift computed properties returning a constant aren't slower than stored constants
optimization, swift -
You can use regexes to filter out noisy console logs
browser, debugging -
There's ~150 vocab/radicals/kanji per WaniKani level
japanese, jq -
vim-magic-link-paste
vim, wiki -
Haskell: Strict vs Lazy ByteString
haskell -
The Kinetic Basis of the Equilibrium Constant
chemistry
subscribe via RSS: adhdagentic-programmingbirthdaysboard-gamesbrowserchemistryclidebuggingdesserteffectshaskellidolidolm@sterinkhavenjapanjapanesejqlanguage-learninglasercuttingleanlighthavenmemorymindfulnessmusicnavigabilityoptimizationpersonalproduct-designprogramming-languagesprogramming-patternreciperecommendedreviewspaced-repetitionstrategyswifttechtoilettravelveganvegetarianvimwikieverything