Text rendering and effects using GPU-computed distances
blog.pkh.me·1d·
Discuss: Lobsters, Hacker News
🔢Algebraic Data Types
Flag this post
Machine Scheduler in LLVM – Part II
myhsu.xyz·19h·
Discuss: Hacker News
🏃Escape Analysis
Flag this post
Bold Devlog - October Summary
bold-edit.com·1d·
Discuss: r/programming
🔬Static Analysis
Flag this post
Clean Code: Functions and Error Handling in Go: From Chaos to Clarity [Part 1]
hackernoon.com·2d
λFunctional Programming
Flag this post
Robust Control Synthesis via Persistent Homology-Guided Network Pruning
dev.to·8h·
Discuss: DEV
🕸️Graph Theory
Flag this post
Three Meanings of Reference
sandordargo.com·2d·
Discuss: Hacker News, r/cpp
🎯GADT
Flag this post
Building a Message-to-SQL AI Agent with Mastra and Telex.im
dev.to·5h·
Discuss: DEV
✓Automated Theorem Proving
Flag this post
Uni-MMMU: A Massive Multi-discipline Multimodal Unified Benchmark
dev.to·1h·
Discuss: DEV
🧮SMT Solvers
Flag this post
Understanding Hardness of Vision-Language Compositionality from A Token-level Causal Lens
arxiv.org·2d
📚Automata Learning
Flag this post
Economics and Transformative AI (by Tom Cunningham)
lesswrong.com·1d
🔲Cellular Automata
Flag this post
Unlocking AI Potential: Squeezing Giant Models into Tiny Spaces
dev.to·2h·
Discuss: DEV
🔲Cellular Automata
Flag this post
Automated Starlink Installation Procedure Validation via Bayesian Network Inference
dev.to·21h·
Discuss: DEV
📡Network Protocol Design
Flag this post
Machine Learning Fundamentals: Everything I Wish I Knew When I Started
dev.to·18h·
Discuss: DEV
📚Automata Learning
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
dl.acm.org·3d·
Discuss: Hacker News, r/rust
🏗️Dune
Flag this post
A Refreshing Philosophy of Software Design [Book Review]
theaxolot.wordpress.com·2d·
Discuss: Hacker News, r/programming
🔬Static Analysis
Flag this post
Why Programming Languages Are Not 'Just Tools'
bloominlabs.substack.com·4d·
Discuss: Substack
⚙️Compiler Design
Flag this post
Semantic search with embeddings in JavaScript: a hands-on example using LangChain and Ollama
dev.to·8h·
Discuss: DEV
🔤Kleene Algebra
Flag this post
Decoding Autonomy: When AI Learns to Speak for Itself by Arvind Sundararajan
dev.to·18h·
Discuss: DEV
📚Automata Learning
Flag this post
Automated Variant Analysis & Kinship Assignment via Multi-Modal Data Fusion
dev.to·19h·
Discuss: DEV
📚Automata Learning
Flag this post
Reasoning Curriculum: Bootstrapping Broad LLM Reasoning from Math
arxiv.org·2d
🧮SMT Solvers
Flag this post