What if software shipped with a software engineer?
manuel.kiessling.net·2d
🔄Language Evolution
Flag this post
Writing a Data Science Book with Quarto (Using Jupyter Notebooks or Pandoc)
📡RSS Automation
Flag this post
are-dependent-types-actually-erased
🎯Dependent Types
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
I Built a Local Dev Tool for ChatGPT Apps SDK
⚡gRPC
Flag this post
Debian APT to have hard Rust dependency from May 2026
heise.de·3d
🦀Rust Borrowing
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
Large language models require a new form of oversight: capability-based monitoring
arxiv.org·10h
✨Effect Handlers
Flag this post
An Empirical Investigation of the Experiences of Dyslexic Software Engineers
arxiv.org·2d
🔤DSLs
Flag this post
Towards Transparent Stance Detection: A Zero-Shot Approach Using Implicit and Explicit Interpretability
arxiv.org·10h
🗂️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
Loading...Loading more...