essential spectrum
ncatlab.orgยท15h
๐Category Theory
Flag this post
Attention ISN'T all you need?! New Qwen3 variant Brumby-14B-Base leverages Power Retention technique
venturebeat.comยท6h
๐Computer Architecture
Flag this post
From Vibe Coding to Informed Development: How Codalio PRD Transforms Your Cursor Workflow
๐Open Source Software
Flag this post
Ranking LLMs based on 180k French votes (French government's AI arena)
โ๏ธLogic Programming
Flag this post
Human-AI Programming Role Optimization: Developing a Personality-Driven Self-Determination Framework
arxiv.orgยท20h
๐ฒ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ยท20h
๐Parser Combinators
Flag this post
I'm a beginner at C and I would like feedback about the optimisation of my code
๐Lisp
Flag this post
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.orgยท20h
โ
Formal Verification
Flag this post
I'm working on a project I've been dreaming about for months and it feels good
๐งฎProgramming Language Theory
Flag this post
H-FA: A Hybrid Floating-Point and Logarithmic Approach to Hardware Accelerated FlashAttention
arxiv.orgยท20h
๐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ยท20h
๐ฒ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ยท20h
๐Complexity Theory
Flag this post
Loading...Loading more...