Speeding Up NestJS Tests with DB Transactions
medium.com·13h·
Discuss: Hacker News
🧪Compiler Testing
<p>**Abstract:** This paper introduces a novel, automated system for geomorphic hazard mapping and predictive modeling focused on 이류 (mudflow) risk assessment. ...
freederia.com·1d
🧩Constraint Solvers
🎲 The Seven Deadly Fediverse UX Sins Part 2: The Road To Redemption
timothychambers.net·10h
🔄Bootstrapping
Powering Partner Gateway metrics with Apache Pinot
engineering.grab.com·6h
📮Message Queues
On the Impossibility of Actively Secure Distributed Samplers
eprint.iacr.org·10h
🎯Ring Buffers
Towards Cost-Effective ZK-Rollups: Modeling and Optimization of Proving Infrastructure
arxiv.org·2h
🧮Theorem Provers
GraphMend: Code Transformations for Fixing Graph Breaks in PyTorch 2
arxiv.org·2h
🚂Cranelift IR
Re-FRAME the Meeting Summarization SCOPE: Fact-Based Summarization and Personalization via Questions
arxiv.org·1d
🧩Monadic Parsing
Virtual Arc Consistency for Linear Constraints inCost Function Networks
arxiv.org·2h
🧩Constraint Solvers
PILOT: Steering Synthetic Data Generation with Psychological & Linguistic Output Targeting
arxiv.org·1d
💬Interactive REPLs
SiDiaC: Sinhala Diachronic Corpus
arxiv.org·2h
🔤Language Tokenizers
Reasoning Core: A Scalable RL Environment for LLM Symbolic Reasoning
arxiv.org·2h
📋Souffle Datalog
GRID: Graph-based Reasoning for Intervention and Discovery in Built Environments
arxiv.org·2h
✨Effect Inference
Adhesive category theory for graph rewriting in Rocq
arxiv.org·2h
🔗Category Theory
Attention Consistency for LLMs Explanation
arxiv.org·2h
🔄Subinterpreters
EHR-MCP: Real-world Evaluation of Clinical Information Retrieval by Large Language Models via Model Context Protocol
arxiv.org·1d
🌱Minimal ML
SnipSnap: A Joint Compression Format and Dataflow Co-Optimization Framework for Efficient Sparse LLM Accelerator Design
arxiv.org·2h
📋JSON Parsing
CLaC at DISRPT 2025: Hierarchical Adapters for Cross-Framework Multi-lingual Discourse Relation Classification
arxiv.org·2h
📊LR Parsing
PrediPrune: Reducing Verification Overhead in Souper with Machine Learning Driven Pruning
arxiv.org·2h
🌳Pattern Match Compilation
GraphWeave: Interpretable and Robust Graph Generation via Random Walk Trajectories
arxiv.org·2h
🪢Rope Data Structures