Note
hsu.cy·7h
📝ABNF Parsing
Flag this post
What if software shipped with a software engineer?
manuel.kiessling.net·2d
🔄Language Evolution
Flag this post
I Built a Local Dev Tool for ChatGPT Apps SDK
⚡gRPC
Flag this post
Big-O Notation: Explained in 8 Minutes
blog.algomaster.io·2d
📐Interval Arithmetic
Flag this post
are-dependent-types-actually-erased
🎯Dependent Types
Flag this post
Yansu – The Serious Coding Plaftorm
🔄Reproducible Builds
Flag this post
Improving agent with semantic search Semantic search significantly improves coding agent performance with 12.5% higher accuracy, improves code retention and dec...
🔍Semantic Search
Flag this post
Ajla Tutorial
💧Liquid Types
Flag this post
The Paranoid Guide to Running Copilot CLI in a Secure Docker Sandbox
🪟Awesome windows command-line
Flag this post
Sorting by Strip Swaps is NP-Hard
arxiv.org·2d
🎞️Tape Combinatorics
Flag this post
Show HN: Extrai – An open-source tool to fight LLM randomness in data extraction
📋Document Grammar
Flag this post
Deep Value Benchmark: Measuring Whether Models Generalize Deep values or Shallow Preferences
arxiv.org·1d
👤Search Personalization
Flag this post
Large language models require a new form of oversight: capability-based monitoring
arxiv.org·2h
✨Effect Handlers
Flag this post
This is one way I use AI for coding
⚡Proof Automation
Flag this post
An Empirical Investigation of the Experiences of Dyslexic Software Engineers
arxiv.org·2d
🔤DSLs
Flag this post
Loading...Loading more...