Proving theorems using Julia's types (or, a mini-Lean in Julia)
lmao.bearblog.devยท4dยท
Discuss: Hacker News
๐Ÿ”—Lisp
# Attention Head Desynchronization Attack: Unveiling a Critical Vulnerability in Modern AI Systems
promptfuzzer.bearblog.devยท20h
๐Ÿ”Logic Puzzles
why you should learn ocaml
sarthak2143.bearblog.devยท3d
ฮปFunctional Languages
TRAVESTY GENERATOR BY LILLAIN-YVONNE BERTRAM | SEALEY CHALLENGE 08012025
rodaavelar.bearblog.devยท17h
๐Ÿ“Code Poetry
From the Unarchive: *gasp*: 20 years since the Big Move
sentfrom.meยท16h
โœจFiction
Short URLs
olle.isยท5h
๐Ÿ› ๏ธMetacreation
Fixing up the Pi Server Rack with new fans
cadawg.comยท15h
๐Ÿ“บTIC-80
Wave Meets Note
elmerdata.bearblog.devยท1d
๐Ÿ”„Recursive Art
Speak [Spell]
bitspieces.bearblog.devยท1d
๐Ÿ“–Interactive Fiction
Heart - Session 2
mediumsandmessages.bearblog.devยท1d
๐Ÿ“–Interactive Fiction
RAG: The System Works (Terms and Conditions Apply)
esrmnt.bearblog.devยท9h
๐Ÿ”คLanguage Design
๐Ÿงญ
deltaskelteradventure.bearblog.devยท1d
โฌœMinimalism
80/20 Deprecation
incrementsofincrements.bearblog.devยท22h
๐Ÿง˜โ€โ™‚๏ธZen Algorithms
help fellow readers
imperfect.bearblog.devยท19h
โœwriting
GlitchOS: Internal Protocol Registry โ€“ System Log Entry #0003
theglitch.bearblog.devยท1d
๐Ÿ“–Interactive Fiction
Three Months with Cursor: A Developer's Summer 2025 Retrospective
tvedeane.bearblog.devยท1dยท
Discuss: Hacker News
๐ŸŒ™Lua Scripting
adjective-trap
mikcl.bearblog.devยท16h
๐Ÿ“œGame Narratology
On top the cliff
sonderwonder.bearblog.devยท19h
๐Ÿ“Code Poetry
Avoiding text entirely
blog.lauramichet.comยท22h
๐Ÿ“–Interactive Fiction
It's August and Blaugust
lars-christian.comยท1d
๐ŸŽจcreativity