Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·1d·
Discuss: Hacker News
📏Linear Haskell
Flag this post
GSoC 2025: Introducing an ABI Lowering Library
blog.llvm.org·1d
🌉Cross-Platform FFI
Flag this post
TikTok’s payment service struggled at 100,000 queries per second until engineers rewrote critical APIs in Rust
lord.technology·1d
🚂Cranelift Backend
Flag this post
Building Yantra: A Visual Workflow Automation Engine
patali.dev·1d·
Discuss: Hacker News
🌊Dataflow Languages
Flag this post
Sorting by Strip Swaps is NP-Hard
arxiv.org·2h
⏭️Skip Lists
Flag this post
Automated Variant Prioritization via Multi-Modal Feature Fusion and Bayesian Network Inference
dev.to·9h·
Discuss: DEV
Effect Inference
Flag this post
Enforcing Architecture in an Agent-Driven Codebase
phoebe.work·15h·
Discuss: Hacker News
📦Monorepos
Flag this post
Apache Ignite 3.1.0 is now available
dev.to·10h·
Discuss: DEV
🗄️Database Engines
Flag this post
Uncrossed Multiflows and Applications to Disjoint Paths
arxiv.org·2h
🕸️Graph Algorithms
Flag this post
Simple Additions, Substantial Gains: Expanding Scripts, Languages, and Lineage Coverage in URIEL+
arxiv.org·1d
🌉Cross-Language AST
Flag this post
onedraw — a GPU-driven 2D renderer
dev.to·1d·
Discuss: DEV
🗑️Garbage Collection
Flag this post
Logic-informed reinforcement learning for cross-domain optimization of large-scale cyber-physical systems
arxiv.org·2h
Control Synthesis
Flag this post
Human-AI Programming Role Optimization: Developing a Personality-Driven Self-Determination Framework
arxiv.org·2h
🎭Program Synthesis
Flag this post
Building a Scalable API Event Logger using Pub/Sub, and BigQuery
dev.to·17h·
Discuss: DEV
📡Protocol Buffers
Flag this post
Wave-Particle (Continuous-Discrete) Dualistic Visual Tokenization for Unified Understanding and Generation
arxiv.org·2h
🔍Lens Libraries
Flag this post
Reevaluating Self-Consistency Scaling in Multi-Agent Systems
arxiv.org·2h
🧠Memory Ordering
Flag this post
The Art of the Do-Over: Designing Idempotent Jobs as a Journey to Peace of Mind
dev.to·7h·
Discuss: DEV
🛡️Error Boundaries
Flag this post
Efficient Test-Time Retrieval Augmented Generation
arxiv.org·2h
🎲Parser Fuzzing
Flag this post
Inside Mercado Libre's multi-faceted Spanner architecture
cloud.google.com·14h
📦Monorepos
Flag this post