Reality check
🔌Network Programming
Flag this post
Gamma convergence for a phase-field cohesive energy
arxiv.org·7h
🧫Cellular Automata
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.org·7h
🧭SMT Solvers
Flag this post
Playing Around with ARM Assembly
🏗Computer Architecture
Flag this post
Human-AI Programming Role Optimization: Developing a Personality-Driven Self-Determination Framework
arxiv.org·7h
🎲Probabilistic Programming
Flag this post
Imperfect Language, Artificial Intelligence, and the Human Mind: An Interdisciplinary Approach to Linguistic Errors in Native Spanish Speakers
arxiv.org·7h
🔗Parser Combinators
Flag this post
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.org·7h
✅Formal Verification
Flag this post
H-FA: A Hybrid Floating-Point and Logarithmic Approach to Hardware Accelerated FlashAttention
arxiv.org·7h
🏗Computer Architecture
Flag this post
Code Smell 313 - Workslop Code
🧫Cellular Automata
Flag this post
Hydra: Dual Exponentiated Memory for Multivariate Time Series Analysis
arxiv.org·7h
🎲Probabilistic Programming
Flag this post
Defining Types for a Simple HTTP Server
mmhaskell.com·1d
🤝Protocol Design
Flag this post
Sorting by Strip Swaps is NP-Hard
arxiv.org·7h
📈Complexity Theory
Flag this post
Loading...Loading more...