How I ported Penko Park to Switch
ghostbutter.com·22h·
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
Breakthrough in Semiconductor Technology Paves the Way for Faster 6G Networks
techbriefs.com·2d·
Discuss: Hacker News
🖥️Terminal Renaissance
Where are the DocuSign 2.0 Startups?
unicornforms.com·36m·
Discuss: Hacker News
📄Document Digitization
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·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·3d·
Discuss: DEV
🌀Brotli Internals
Announcing egui 0.32.0 - an easy-to-use cross-platform GUI for Rust
github.com·20h·
Discuss: r/programming
🦀Rust Macros
Attend-and-Refine: Interactive keypoint estimation and quantitative cervical vertebrae analysis for bone age assessment
arxiv.org·8h
🌀Differential Geometry
Proof Analysis of A Foundational Classical Singlesuccedent Sequent Calculus
arxiv.org·3d
🐓Coq
[Boost]
dev.to·8h·
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
Python Fundamentals: black
dev.to·3d·
Discuss: DEV
💧Liquid Types
Rethinking Layered Graphic Design Generation with a Top-Down Approach
arxiv.org·2d
⟷Bidirectional Programming
Node-neighbor subnetworks and Hk-core decomposition
arxiv.org·3d
🕸️Network Topology
Expediting data extraction using a large language model (LLM) and scoping review protocol: a methodological study within a complex scoping review
arxiv.org·1d
🔄Archival Workflows