Build reliable AI systems with Automated Reasoning on Amazon Bedrock โ Part 1
aws.amazon.comยท8h
โ๏ธInference Rules
Flag this post
consult + org-db-v3: Approximate search of my sketches using text, and a multi-source consult command for approximately searching sketches and blog posts
sachachua.comยท1d
๐ฌInteractive REPLs
Flag this post
Ajla Tutorial
๐ฎLisp Interpreters
Flag this post
GHC 9.14.1-rc1 is now available
๐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
Linkage
11011110.github.ioยท7h
๐ชขRope Data Structures
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
โ
Type Checking
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)
๐ฌNanopasses
Flag this post
Regex for SEO: The simple language that powers AI and data analysis
searchengineland.comยท1d
๐Text Indexing
Flag this post
Built a Structured Prompt Builder for Local LLMs โ Design, Save & Export Prompts Visually (Open-Source + Browser-Only)
๐ฌInteractive REPLs
Flag this post
Fungus: The Befunge CPU(2015)
๐ณB+ Trees
Flag this post
Structural Typing in TypeScript
event-driven.ioยท3d
๐Gradual Typing
Flag this post
Loading...Loading more...