The continuation monad: a mathematical introduction
wildonblog.wordpress.com·3d
🔗Functional Compilers
Show HN: Imagenai – generate images directly from <img alt>
npmjs.com·1h·
Discuss: Hacker News
📸PNG Optimization
Don't Forget The "-n" Command Line Switch, (Thu, Aug 21st)
isc.sans.edu·9h
🌐DNS Security
Fuzzing Hardware Like Software (2021)
arxiv.org·1d·
Discuss: Hacker News
🧪Hardware Fuzzing
Making Cut-Ups Like William Burroughs
williamfrancistucker.com·6h·
Discuss: Hacker News
📝Concrete Syntax
What Claude Code gets right
minusx.ai·1h·
Discuss: Hacker News
⚡Proof Automation
Grepcidr3: High performance search for IP addresses and CIDR ranges
github.com·1d·
Discuss: Hacker News
🌳Incremental Parsing
Reinforcement Learning to Rank Using Coarse-grained Rewards
arxiv.org·12h
📊Search Ranking
MHSNet:An MoE-based Hierarchical Semantic Representation Network for Accurate Duplicate Resume Detection with Large Language Model
arxiv.org·1d
🔍Vector Forensics
SPL Lightweight Multisource Mixed Computation Practices
github.com·1d·
Discuss: Hacker News, r/programming
💧Liquid Types
The Upstream Mentality: Why AI/ML Engineers Must Think Beyond the Model
towardsdatascience.com·21h
🛡️Error Boundaries
Stabilization of BiCGSTAB by the generalized residual cutting method
arxiv.org·1d
📐Linear Algebra
When Secure Aggregation Falls Short: Achieving Long-Term Privacy in Asynchronous Federated Learning for LEO Satellite Networks
arxiv.org·1d
🤐Secure Multiparty
Cognitive Workspace: Active Memory Management for LLMs -- An Empirical Study of Functional Infinite Context
arxiv.org·1d
📏Linear Logic
Macroeconomic Foundation of Monetary Accounting by Diagrams of Categorical Universals
arxiv.org·12h
🔀Category Theory
Bisimilarity and Simulatability of Processes Parameterized by Join Interactions
arxiv.org·1d
⚡Dependent Rust
Multi-Modal MCP Servers: Handling Files, Images, and Streaming Data
hackernoon.com·3d
🌊Streaming Systems
MISS: Multi-Modal Tree Indexing and Searching with Lifelong Sequential Behavior for Retrieval Recommendation
arxiv.org·12h
🔍Search Indexing
Turn Your Photo Library Into a Location-Based Search Engine Using EXIF Metadata
dev.to·8h·
Discuss: DEV
📸TIFF Archaeology
Structural insight: Bypassing no-go theorems
fexpr.blogspot.com·2d
🔲Proof Irrelevance