Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·3d
λLambda Formalization
Flag this post
Reproducing the AWS Outage Race Condition with a Model Checker
📡Network Protocol Design
Flag this post
Multi-Modal Feature Fusion for Spatial Morphology Analysis of Traditional Villages via Hierarchical Graph Neural Networks
arxiv.org·6h
🌀Hyperbolic Geometry
Flag this post
VISTA Score: Verification In Sequential Turn-based Assessment
arxiv.org·6h
🎙️Whisper
Flag this post
PF-DAformer: Proximal Femur Segmentation via Domain Adaptive Transformer for Dual-Center QCT
arxiv.org·6h
🏺Computational Archaeology
Flag this post
Novel bidomain partitioned strategies for the simulation of ventricular fibrillation dynamics
arxiv.org·6h
🌊Stream Ciphers
Flag this post
go schema validation
✅Format Verification
Flag this post
SpecAware: A Spectral-Content Aware Foundation Model for Unifying Multi-Sensor Learning in Hyperspectral Remote Sensing Mapping
arxiv.org·6h
📊Learned Metrics
Flag this post
From Lossy to Lossless Reasoning
🔨Compilers
Flag this post
DiscoBSD
🔌Operating system internals
Flag this post
Rdza – Rust Programming, in Polish
🦀Rust Macros
Flag this post
Building an AI Code Helper Agent with Mastra Framework and Telex.im Integration
⚡Proof Automation
Flag this post
From Mapping Files to Data Plumbing
🌊Stream Processing
Flag this post
Implementing MQTT 5 in Go: A Deep Dive into Client Design - Part I
📋Format Specification
Flag this post
Show HN: KeyLeak Detector – Scan websites for exposed API keys and secrets
🦠Malware Analysis
Flag this post
Automated Scientific Literature Validation via Hyperdimensional Semantic Analysis
📜Digital Philology
Flag this post
Ehxb | Path Traversal Vulnerabilities
infosecwriteups.com·2h
💣ZIP Vulnerabilities
Flag this post
Loading...Loading more...