Note
hsu.cy·9h
📝ABNF Parsing
Flag this post
What if software shipped with a software engineer?
manuel.kiessling.net·2d
🔄Language Evolution
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
I Built a Local Dev Tool for ChatGPT Apps SDK
⚡gRPC
Flag this post
Ajla Tutorial
💧Liquid Types
Flag this post
Show HN: Claude Code disrupted programming. Bringing that power to office worker
🤖Archive Automation
Flag this post
Large language models require a new form of oversight: capability-based monitoring
arxiv.org·3h
✨Effect Handlers
Flag this post
An Empirical Investigation of the Experiences of Dyslexic Software Engineers
arxiv.org·2d
🔤DSLs
Flag this post
Automated Material Mixing Optimization for Large-Scale 3D Printed Concrete Structures via Bayesian Reinforcement Learning
🏺Computational Archaeology
Flag this post
Towards Transparent Stance Detection: A Zero-Shot Approach Using Implicit and Explicit Interpretability
arxiv.org·3h
🗂️Vector Search
Flag this post
Speech-DRAME: A Framework for Human-Aligned Benchmarks in Speech Role-Play
arxiv.org·2d
🎙️Whisper
Flag this post
This is one way I use AI for coding
⚡Proof Automation
Flag this post
PDE-SHARP: PDE Solver Hybrids Through Analysis & Refinement Passes
arxiv.org·2d
🔗Functional Compilers
Flag this post
My Thoughts on the 2025 Stack Overflow Survey: The Hype, the Reality, the Gap
📏Code Metrics
Flag this post
TabGemma: Text-Based Tabular ICL via LLM using Continued Pretraining and Retrieval
arxiv.org·3h
📋Document Grammar
Flag this post
Loading...Loading more...