Nineteen
🔗Parser Combinators
Flag this post
essential spectrum
ncatlab.org·20h
🔄Category Theory
Flag this post
Attention ISN'T all you need?! New Qwen3 variant Brumby-14B-Base leverages Power Retention technique
venturebeat.com·11h
🏗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
My C++ lockless-ish task scheduler project ive been working on (first real project, also first time using threads) tell me what you think (BSD license) currentl...
🧩Theorem Proving
Flag this post
Quantum-Resistant Federated Learning: Implementing Post-Quantum Cryptography in Cross-Silo Model Aggregation
🔐Cryptography
Flag this post
Lately, coding with Claude has been very smooth. I am able to complete experiments on time.
🎲Probabilistic Programming
Flag this post
Nonlinear Instabilities in Computer Network Dynamics
arxiv.org·2h
🕸️Graph Theory
Flag this post
Prog8
🏗Computer Architecture
Flag this post
Incremental Selection of Most-Filtering Conjectures and Proofs of the Selected Conjectures
arxiv.org·1d
🔢Mathematical Logic
Flag this post
Decoding Life's Code: AI-Powered Causal Inference for Biological Networks by Arvind Sundararajan
🧫Cellular Automata
Flag this post
Deep Value Benchmark: Measuring Whether Models Generalize Deep values or Shallow Preferences
arxiv.org·2h
🔗Parser Combinators
Flag this post
Uncrossed Multiflows and Applications to Disjoint Paths
arxiv.org·1d
🕸️Graph Theory
Flag this post
Legible vs. Illegible AI Safety Problems
lesswrong.com·9h
🔗Parser Combinators
Flag this post
feenkcom/gtoolkit v1.0.2284
github.com·15h
👐Open Source Software
Flag this post
Branched Signature Model
arxiv.org·1d
🔐Cryptography
Flag this post
Loading...Loading more...