Entropy in algorithm analysis
11011110.github.io·3d
🧮Combinator Calculus
Flag this post
Text rendering and effects using GPU-computed distances
blog.pkh.me·3d
🔄Loop Optimization
Flag this post
Mathematics solves problems by pen and paper. CS helps us to go far beyond that
🧩Constraint Solvers
Flag this post
The Geographic Imperative: How CockroachDB Turns Maps into Architecture
hackernoon.com·2d
📮Persistent Queues
Flag this post
Generating Application Specific Go Documentation Using Go AST and Antora
📚Self-Documenting Code
Flag this post
Ariadne: A Controllable Framework for Probing and Extending VLM Reasoning Boundaries
arxiv.org·1d
🔮Metacircular Evaluators
Flag this post
Training Convolutional Neural Networks with the Forward-Forward algorithm
arxiv.org·1h
🌱Minimal ML
Flag this post
Geometric Data Valuation via Leverage Scores
arxiv.org·1h
🔢Algebraic Datatypes
Flag this post
Comparing images with AVX
🔢Bit Manipulation
Flag this post
ScaleCall - Agentic Tool Calling at Scale for Fintech: Challenges, Methods, and Deployment Insights
arxiv.org·1d
🎨Domain-Specific Languages
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.org·1d
🔍ML Language
Flag this post
Oolong: Evaluating Long Context Reasoning and Aggregation Capabilities
arxiv.org·1h
🔄Subinterpreters
Flag this post
Incremental Selection of Most-Filtering Conjectures and Proofs of the Selected Conjectures
arxiv.org·1d
⚡Partial Evaluation
Flag this post
KAT-GNN: A Knowledge-Augmented Temporal Graph Neural Network for Risk Prediction in Electronic Health Records
arxiv.org·1d
⚖️Weighted Automata
Flag this post
Building TransMonkey: Lessons Learned from Creating an AI Translation Platform
🎮Language Ergonomics
Flag this post
Automated Semantic Scene Graph Construction & Validation for Real-Time USD Pipelines
🌊Dataflow Languages
Flag this post
Matrix Sensing with Kernel Optimal Loss: Robustness and Optimization Landscape
arxiv.org·1h
🔍ML Language
Flag this post
Loading...Loading more...