How I ported Penko Park to Switch
ghostbutter.com·20h·
Discuss: Hacker News
🖥️Terminal Renaissance
HMQ: Principal Type Inference Under a Prefix
microsoft.com·1d·
Discuss: Hacker News
🔍Type Inference
How we built it: Jurisdiction resolution for Stripe Tax
stripe.com·1d·
Discuss: Hacker News
🌐Distributed Hash Tables
Full QuickJS Support for Nginx
blog.nginx.org·8h·
Discuss: Hacker News
⚡gRPC
Personal Reflections on Immutable Linux
hackaday.com·17h·
Discuss: Hacker News
❄️Nix Flakes
How does ERP system support data analytics and business intelligence?
dev.to·1d·
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 GenAI Processors: Build powerful and flexible Gemini applications
developers.googleblog.com·17h·
Discuss: Hacker News
🌊Stream Processing
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
Jellyfin Media Server and Photo/Video backup—as someone new to HomeLab concept, there is so much to learn that’s scattered everywhere. Advice needed here!
reddit.com·14h·
Discuss: r/homelab
🏠HomeLab
Attend-and-Refine: Interactive keypoint estimation and quantitative cervical vertebrae analysis for bone age assessment
arxiv.org·6h
🌀Differential Geometry
Skip a Layer or Loop it? Test-Time Depth Adaptation of Pretrained LLMs
arxiv.org·6h
📊Learned Metrics
Proof Analysis of A Foundational Classical Singlesuccedent Sequent Calculus
arxiv.org·3d
🐓Coq
Time Series Forecasting Made Simple (Part 3.1): STL Decomposition
towardsdatascience.com·1d
📈Time Series
[Boost]
dev.to·6h·
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
Google Workspace MCP Server
github.com·1d·
Discuss: Hacker News
⚡gRPC