Build reliable AI systems with Automated Reasoning on Amazon Bedrock โ€“ Part 1
aws.amazon.comยท8h
โš–๏ธInference Rules
Flag this post
Start Speaking AI: Easy Explanations for 15 Common Terms
future.forem.comยท15hยท
Discuss: DEV
๐Ÿ”„Incremental Tokenizers
Flag this post
Ajla Tutorial
ajla-lang.czยท1dยท
Discuss: Hacker News
๐Ÿ”ฎLisp Interpreters
Flag this post
GHC 9.14.1-rc1 is now available
discourse.haskell.orgยท21hยท
๐Ÿ“Linear Haskell
Flag this post
Philly students are using AI tools to write essays. Can they do it responsibly? - Billy Penn at WHYY
news.google.comยท20h
๐Ÿ’ฌInteractive REPLs
Flag this post
AI-assisted writing (without the Slop)
jampa.devยท12hยท
Discuss: Hacker News
๐ŸŽฎLanguage Ergonomics
Flag this post
Linkage
11011110.github.ioยท7h
๐ŸชขRope Data Structures
Flag this post
word2vec-style vector arithmetic on docs embeddings
technicalwriting.devยท2dยท
๐ŸŒ™Lua
Flag this post
Vimovember, a daily prompt
lazybea.rsยท22h
๐Ÿ’ฌInteractive REPLs
Flag this post
Asking Paul Fussell for Writing Advice
lesswrong.comยท2h
๐Ÿ”—Concatenative Theory
Flag this post
Just released @leglaine/node-types โ€“ A lightweight, flexible type-checking library for Node.js
reddit.comยท2dยท
Discuss: r/node
โœ…Type Checking
Flag this post
Beyond the Black Box: Making LLM Decoding Truly End-to-End
dev.toยท13hยท
Discuss: DEV
๐ŸชœRecursive Descent
Flag this post
Final Sentence is proof that there's no greater horror than typing under pressure
eurogamer.netยท16h
๐ŸŽญDelimited Continuations
Flag this post
My first fifteen compilers (2019)
blog.sigplan.orgยท9hยท
Discuss: Hacker News
๐Ÿ”ฌNanopasses
Flag this post
Regex for SEO: The simple language that powers AI and data analysis
searchengineland.comยท1d
๐Ÿ”Text Indexing
Flag this post
Fungus: The Befunge CPU(2015)
bedroomlan.orgยท4hยท
Discuss: Hacker News
๐ŸŒณB+ Trees
Flag this post
Structural Typing in TypeScript
event-driven.ioยท3d
๐ŸŒŠGradual Typing
Flag this post
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
simplethread.comยท1dยท
Discuss: Hacker News
๐ŸŒŠGradual Typing
Flag this post