Bidirectional type checking step by step (in Ruby)
luizpvas.github.ioยท6hยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
My First Week of Vibecoding
underreacted.leaflet.pubยท2hยท
Discuss: Hacker News
๐Ÿ”คTokenization
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.comยท19h
๐Ÿ”ฌRaBitQ
Wordle Hints, Clues & Answer for Today: October 10
fossbytes.comยท23h
๐Ÿ“ŠModernBERT
Understand & Memorize 23 GoF Design Patterns using simple, real-world analogies.
reddit.comยท19hยท
Discuss: r/programming
๐Ÿช„Prompt Engineering
Three ways formally verified code can go wrong in practice
buttondown.comยท11h
๐Ÿ’ปProgramming languages
SLip - An aspiring Common Lisp environment in the browser.
lisperator.netยท16hยท
Discuss: r/programming
๐ŸŒฟLeptos
How different AI engines generate and cite answers
searchengineland.comยท17h
๐Ÿ“ŠFeed Optimization
Show HN: Rebuilt Bible search app to run 100% client-side with Transformers.js
biblos.appยท7hยท
Discuss: Hacker News
๐Ÿš€LanceDB
Switching to Colemak-DH
vale.rocksยท5h
โœ๏ธCode Editors
Building and Deploying a RAG Application: From PDF Processing to Production
pub.towardsai.netยท4h
๐Ÿ”„LLM RAG Pipelines
Iterated Development and Study of Schemers (IDSS)
lesswrong.comยท14h
๐Ÿ†•New AI
BQN "Macros" with โ€ขDecompose (2023)
saltysylvi.github.ioยท6hยท
Discuss: Hacker News
๐ŸŽญRust Macros
Experimenting with ACL2 and Claude Code
mikedodds.orgยท16hยท
Discuss: Hacker News
๐Ÿ’ปProgramming languages
เดˆเดฒเต‹เด•เด—เต‹เดณเด‚ เดคเดฟเดฐเดฟเดฏเตเดจเตเดจ เดฎเดพเตผเด—เตเด—เด‚ - Cosmic Spiral of Compassionate Intelligence
vivaram.orgยท7h
๐Ÿ„Mycorrhizal Networks
What Large Language Models Teach Us About 'Human Knowledge'
opengovernance.netยท3h
๐Ÿง LLM Inference
PostGIS Performance: Indexing and EXPLAIN
crunchydata.comยท15h
๐Ÿ”Query Optimization
No Bullshit Guide to Statistics prerelease
minireference.comยท11hยท
Discuss: Hacker News
๐Ÿ“ŠStatistical Ranking
Mandiant Academy: Basic Static and Dynamic Analysis course now available
cloud.google.comยท13h
๐Ÿ”Binary Analysis
finetuning Medium or Small language model for factual and memorizing data.
reddit.comยท19hยท
Discuss: r/LocalLLaMA
๐Ÿ”„LLM RAG Pipelines