Inside Pinecone: Slab Architecture
🔧Unikernel Development
Flag this post
Fungus: The Befunge CPU(2015)
🔧Unikernel Development
Flag this post
Building WriteRight: My Journey Creating an AI Writing Assistant with Mastra
🔤Language Design
Flag this post
Between Myths and Metaphors: Rethinking LLMs for SRH in Conservative Contexts
arxiv.org·1h
❓Existential Types
Flag this post
GrowthHacker: Automated Off-Policy Evaluation Optimization Using Code-Modifying LLM Agents
arxiv.org·1d
📦OPAM
Flag this post
Can Conversational AI Counsel for Change? A Theory-Driven Approach to Supporting Dietary Intentions in Ambivalent Individuals
arxiv.org·1h
❓Existential Types
Flag this post
How I Use Every Claude Code Feature
💻CLI Tools
Flag this post
DPO-F+: Aligning Code Repair Feedback with Developers' Preferences
arxiv.org·1d
🔄Reproducible Builds
Flag this post
Teaching AI to Take Initiative – Building a Self-Thinking App with LangGraph and Ollama
✓Automated Theorem Proving
Flag this post
Reflections on Trusting Trust (1984)
🛡️seL4
Flag this post
H-FA: A Hybrid Floating-Point and Logarithmic Approach to Hardware Accelerated FlashAttention
arxiv.org·1d
🔀OCaml Multicore
Flag this post
Gamma convergence for a phase-field cohesive energy
arxiv.org·1d
🔲Cellular Automata
Flag this post
Thinking Like a Student: AI-Supported Reflective Planning in a Theory-Intensive Computer Science Course
arxiv.org·1h
💻CS
Flag this post
I was tired of 50ms+ shell latency, so I built a sub-millisecond prompt in Rust (prmt)
🔀OCaml Multicore
Flag this post
Branched Signature Model
arxiv.org·1d
🕸️Graph Theory
Flag this post
Merging Continual Pretraining Models for Domain-Specialized LLMs: A Case Study in Finance
arxiv.org·1h
🧩Parser Combinators
Flag this post
Loading...Loading more...