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
codalio.comยท2hยท
Discuss: DEV
๐Ÿ‘Open Source Software
Flag this post
Ranking LLMs based on 180k French votes (French government's AI arena)
comparia.beta.gouv.frยท12hยท
Discuss: Hacker News
โš–๏ธLogic Programming
Flag this post
Ask HN: What made you improve your logical reasoning?
news.ycombinator.comยท3hยท
Discuss: Hacker News
๐ŸงฉTheorem Proving
Flag this post
Implementing JWT Authentication in Rust using Axum
dev.toยท16hยท
Discuss: DEV
๐ŸคProtocol Design
Flag this post
Human-AI Programming Role Optimization: Developing a Personality-Driven Self-Determination Framework
arxiv.orgยท20h
๐ŸŽฒProbabilistic Programming
Flag this post
Type inference with TryFrom and ()
reddit.comยท2dยท
Discuss: r/rust
๐Ÿ“Lisp
Flag this post
Deep Dive into Scala 3 Macros: Building a Custom String Interpolator
dev.toยท2dยท
Discuss: DEV
๐Ÿ“Lisp
Flag this post
I'm a beginner at C and I would like feedback about the optimisation of my code
reddit.comยท2dยท
๐Ÿ“Lisp
Flag this post
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.orgยท20h
โœ…Formal Verification
Flag this post
The Art of the Meta: A Journey into JavaScript Proxies
dev.toยท1dยท
Discuss: DEV
๐ŸงฎProgramming Language Theory
Flag this post
I'm working on a project I've been dreaming about for months and it feels good
news.ycombinator.comยท2hยท
Discuss: Hacker News
๐ŸงฎProgramming Language Theory
Flag this post
@call_once python macro for unlimited recursion depth
dev.toยท1dยท
Discuss: DEV
๐Ÿ“Lisp
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
dev.toยท14hยท
Discuss: DEV
๐Ÿงซ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