[Project] UnisonDB: A log-native KV database that treats replication as a first-class concern
🌐ActivityPub
Flag this post
Creating a Gridogram
🎮Verification Games
Flag this post
Do LLMs Signal When They're Right? Evidence from Neuron Agreement
arxiv.org·2d
📚Automata Learning
Flag this post
ParallelBench: Understanding the Trade-offs of Parallel Decoding in DiffusionLLMs
🔀OCaml Multicore
Flag this post
Day 22: Python Even-Odd Counter – Count Even and Odd Integers in a List with Type Checks
🔢Algebraic Data Types
Flag this post
Improving in chess is hard. I built the world's most accurate human-like chess AI to help me.
📚Automata Learning
Flag this post
Mathematics solves problems by pen and paper. CS helps us to go far beyond that
🧠Automated Reasoning
Flag this post
Automated Personalized Chemotherapy Optimization via Multi-Modal Data Fusion & Reinforcement Learning
🧠Automated Reasoning
Flag this post
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
🔀Brzozowski Derivatives
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.org·2d
🔲Cellular Automata
Flag this post
build system tradeoffs
🏗️Dune
Flag this post
ViSurf: Visual Supervised-and-Reinforcement Fine-Tuning for LargeVision-and-Language Models
📚Automata Learning
Flag this post
Falcon: A Comprehensive Chinese Text-to-SQL Benchmark for Enterprise-Grade Evaluation
arxiv.org·3d
🎯GADT
Flag this post
Cross-Platform Evaluation of Reasoning Capabilities in Foundation Models
arxiv.org·2d
🧠Automated Reasoning
Flag this post
Chain of Pattern: Rethink
🔤Language Design
Flag this post
Loading...Loading more...