4 Powerful Applications of IDALib: Headless IDA in Action
hex-rays.com·7h
🔬Binary Analysis
Converting a old server to a NAS
reddit.com·5h·
Discuss: r/homelab
🏠Homelab Preservation
An OCC Idea
lambdacreate.com·18h
🗄️Database Internals
Counting with Categories (Part 3)
golem.ph.utexas.edu·1d
λLambda Formalization
Speculative Optimizations for WebAssembly using Deopts and Inlining
v8.dev·2d·
Discuss: Lobsters, Hacker News, r/javascript, r/webdev
🦀Rust Macros
A Multi-Pass Large Language Model Framework for Precise and Efficient Radiology Report Error Detection
arxiv.org·2h
✅Format Verification
From Codicology to Code: A Comparative Study of Transformer and YOLO-based Detectors for Layout Analysis in Historical Documents
arxiv.org·2h
📃Manuscript Tokenization
The Unspoken Engineering Trade-offs in Large-Scale Vector Search
dev.to·3h·
Discuss: DEV
🗂️Vector Databases
Enterprise Large Language Model Evaluation Benchmark
arxiv.org·2h
⚙️Compression Benchmarking
SlimMoE: Structured Compression of Large MoE Models via Expert Slimming and Distillation
arxiv.org·2d
⚡Modern Compression
Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.org·2d
⚖️Hoare Logic
Automate MongoDB Database Backups with C# Console Application and Windows Task Scheduler
dev.to·2d·
Discuss: DEV
🤖Archive Automation
Memory Safety in Web Rust System Zero Cost Secure（1750594760521200）
dev.to·3d·
Discuss: DEV
🦀Rust Borrowing
PEGTL -- Parsing Expression Grammar Template Library
github.com·1d·
Discuss: Hacker News
🔗Parser Combinators
Comparing Rust, JavaScript and Go for Authoring WASM Components
obeli.sk·22h·
Discuss: Hacker News
🧩WASM Modules
Fast entropy-regularized SDP relaxations for permutation synchronization
arxiv.org·2h
🎯Performance Proofs
New rust mocking library Injectorpp 0.4.0 is released! Type check is added and more
reddit.com·2d·
Discuss: r/rust
🦀Rust Verification
Hong Mong 5 Development Treasure Case Sharing Cross-Thread Performance Optimization Guide
dev.to·8h·
Discuss: DEV
👁️System Observability
DigitalOcean Fundamentals: API
dev.to·22h·
Discuss: DEV
🔌Interface Evolution
TableVault: Managing Dynamic Data Collections for LLM-Augmented Workflows
arxiv.org·2d
🔄Schema Evolution