How we built it: Jurisdiction resolution for Stripe Tax
stripe.com·1d·
Discuss: Hacker News
🌐Distributed Hash Tables
How I ported Penko Park to Switch
ghostbutter.com·17h·
Discuss: Hacker News
🖥️Terminal Renaissance
HMQ: Principal Type Inference Under a Prefix
microsoft.com·1d·
Discuss: Hacker News
🔍Type Inference
Full QuickJS Support for Nginx
blog.nginx.org·4h·
Discuss: Hacker News
⚡gRPC
Breakthrough in Semiconductor Technology Paves the Way for Faster 6G Networks
techbriefs.com·2d·
Discuss: Hacker News
🖥️Terminal Renaissance
An InfoSec Architect's First Taste of Temporal
supasaf.com·2d·
Discuss: Hacker News
⏰Temporal Logic
How does ERP system support data analytics and business intelligence?
dev.to·23h·
Discuss: DEV
🌊Stream Processing
Liberating Performance with Immutable DataFrames in Free-Threaded Python
towardsdatascience.com·3d
🔒Type Safety
Choosing Best Tech Stack For Building A Real Estate Listing Platform
dev.to·2d·
Discuss: DEV
🌀Brotli Internals
Announcing egui 0.32.0 - an easy-to-use cross-platform GUI for Rust
github.com·15h·
Discuss: r/programming
🦀Rust Macros
Layered, Overlapping, and Inconsistent: A Large-Scale Analysis of the Multiple Privacy Policies and Controls of U.S. Banks
arxiv.org·2d
🔤EBCDIC Privacy
RVISmith: Fuzzing Compilers for RVV Intrinsics
arxiv.org·3d·
Discuss: Hacker News
🐛Fuzzing
Attend-and-Refine: Interactive keypoint estimation and quantitative cervical vertebrae analysis for bone age assessment
arxiv.org·3h
🌀Differential Geometry
Skip a Layer or Loop it? Test-Time Depth Adaptation of Pretrained LLMs
arxiv.org·3h
📊Learned Metrics
Proof Analysis of A Foundational Classical Singlesuccedent Sequent Calculus
arxiv.org·3d
🐓Coq
[Boost]
dev.to·3h·
Discuss: DEV
📄Document Digitization
RecRankerEval: A Flexible and Extensible Framework for Top-k LLM-based Recommendation
arxiv.org·2d
🎯Recommendation Metrics
Solving the Constrained Random Disambiguation Path Problem via Lagrangian Relaxation and Graph Reduction
arxiv.org·1d
🎯Performance Proofs
Python Fundamentals: black
dev.to·2d·
Discuss: DEV
💧Liquid Types
Rethinking Layered Graphic Design Generation with a Top-Down Approach
arxiv.org·2d
⟷Bidirectional Programming