My First Week of Vibecoding
underreacted.leaflet.pub·2h·
Discuss: Hacker News
🔤Tokenization
Bidirectional type checking step by step (in Ruby)
luizpvas.github.io·6h·
Discuss: Hacker News
💻Programming languages
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·18h
🔬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·15h·
Discuss: r/programming
🌿Leptos
How different AI engines generate and cite answers
searchengineland.com·16h
📊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·4h
✏️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·6h
🍄Mycorrhizal Networks
What Large Language Models Teach Us About 'Human Knowledge'
opengovernance.net·3h
🧠LLM Inference
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·12h
🔍Binary Analysis
finetuning Medium or Small language model for factual and memorizing data.
reddit.com·18h·
Discuss: r/LocalLLaMA
🔄LLM RAG Pipelines
Let's Write a Macro in Rust
hackeryarn.com·12h·
Discuss: Hacker News
🎭Rust Macros