Startup idea for better tacos
ryanckulp.com·15h
🔄Bootstrapping
Flag this post
This last week I've been working on a bare-bones demo app for developers that shows them how to adapt any editor to work alongside WordLand. My hope this is...
daveverse.org·15h
🔄Incremental Lexing
Flag this post
[R] TempoPFN: Synthetic Pretraining of Linear RNNs for Zero-Shot Timeseries Forecasting
🎯Finite Automata
Flag this post
Gated DeltaNet (Linear Attention variant in Qwen3-Next and Kimi Linear)
🎯Finite Automata
Flag this post
Uncrossed Multiflows and Applications to Disjoint Paths
arxiv.org·3h
🕸️Graph Algorithms
Flag this post
DCcluster-Opt: Benchmarking Dynamic Multi-Objective Optimization for Geo-Distributed Data Center Workloads
arxiv.org·3h
💾Allocator Design
Flag this post
Temporal Fusion Transformer for Multi-Horizon Probabilistic Forecasting of Weekly Retail Sales
arxiv.org·3h
🔢Algebraic Datatypes
Flag this post
MindSpeak: Decoding Thoughts into Words
🧠Semantic Parsing
Flag this post
Hard2Verify: A Step-Level Verification Benchmark for Open-Ended Frontier Math
🧩SAT Solvers
Flag this post
Computation as a Game
arxiv.org·3h
🔍Type Inference
Flag this post
I didn't learn a low level language in school, where should I start now?
🌈Gradual Languages
Flag this post
I Benchmarked 3 Go Concurrency Patterns. The "Fastest" One Would Destroy Production
🔄Go Scheduler
Flag this post
The Demo That Taught Me nil + nil eq 0 (And Other Lies I Tell Myself)
💬Interactive REPLs
Flag this post
DocPrism: Local Categorization and External Filtering to Identify Relevant Code-Documentation Inconsistencies
arxiv.org·3h
🔮Type Inference Visualization
Flag this post
Show HN: Extrai – An open-source tool to fight LLM randomness in data extraction
📋Tablegen
Flag this post
pDANSE: Particle-based Data-driven Nonlinear State Estimation from Nonlinear Measurements
arxiv.org·1d
🔬Nanopasses
Flag this post
Loading...Loading more...