Preemption in Go (2021)
hidetatz.github.io·4h·
Discuss: Lobsters, Hacker News, r/programming
🔄Go Scheduler
Discontiguous Exponential Averaging. (1998)
jacobfilipp.com·12h·
Discuss: Hacker News
🔢Algebraic Datatypes
"Digital Camouflage": The LLVM Challenge in LLM-Based Malware Detection
arxiv.org·17h
🏗️LLVM
Unlocking Schedules: Visualizing Constraint Conflicts with Graph-Based Analysis by Arvind Sundararajan
dev.to·5d·
Discuss: DEV
🎨Graph Coloring
Enhanced Electrophilic Aromatic Substitution Prediction via Hyperdimensional Network Analysis of Reaction Mechanisms
dev.to·9h·
Discuss: DEV
✨Effect Inference
Fast, Accurate and Interpretable Graph Classification with Topological Kernels
arxiv.org·17h
🗺️Graph Traversal
To Unpack or Not to Unpack: Living with Packers to Enable Dynamic Analysis of Android Apps
arxiv.org·17h
🔒Rust Borrowing
Automated Evidence-Based Knowledge Graph Construction for Dynamic Policy Enforcement
dev.to·4h·
Discuss: DEV
✨Effect Inference
SnipSnap: A Joint Compression Format and Dataflow Co-Optimization Framework for Efficient Sparse LLM Accelerator Design
arxiv.org·17h
📋JSON Parsing
G\"odel Mirror: A Formal System For Contradiction-Driven Recursion
arxiv.org·17h
🪜Recursive Descent
Cluster Workload Allocation: A Predictive Approach Leveraging Machine Learning Efficiency
arxiv.org·17h
🗺️Region Inference
Transfer matrix and lattice dilatation operator for high-quality fixed points in tensor network renormalization group
journals.aps.org·8h
⚡Partial Evaluation
From AI-Generated to Production-Ready Code: WebStorm Refactorings for the Modern Workflow
blog.jetbrains.com·7h
🚚Code Migration
The hereditariness problem for the \v{C}ern\'y conjecture
arxiv.org·17h
🎯Finite Automata
Circular-arc H-graphs: Ordering Characterizations and Forbidden Patterns
arxiv.org·17h
🔗Graph Rewriting
Randomized Space-Time Sampling for Affine Graph Dynamical Systems
arxiv.org·17h
🔄Loop Optimization
How RAG Enables AI For Your Data
blog.bytebytego.com·5h
🌊Streaming Lexers
Rational methods for abstract semilinear problems without order reduction
arxiv.org·17h
⚡Partial Evaluation
SEQR: Secure and Efficient QR-based LoRA Routing
arxiv.org·17h
📊LR Parsing
GRPOformer: Advancing Hyperparameter Optimization via Group Relative Policy Optimization
arxiv.org·17h
🪜Recursive Descent