Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·23h
🧮Algebraic Archives
Flag this post
Tracking an evolving Discord-based RAT family
reversinglabs.com·2d
🦠Malware Analysis
Flag this post
Implementing MQTT 5 in Go: A Deep Dive into Client Design - Part I
📋Format Specification
Flag this post
Making Every 5x5 Nonogram: Part 1
🧮Z3 Solver
Flag this post
A mathematical certification for positivity conditions in Neural Networks with applications to partial monotonicity and Trustworthy AI
arxiv.org·23h
🧠Machine Learning
Flag this post
Fungus: The Befunge CPU(2015)
⚡Homebrew CPUs
Flag this post
Hyperloglog: Counting Without Counting
📊HyperLogLog
Flag this post
Modern Perfect Hashing
🧪Binary Fuzzing
Flag this post
MLPrE -- A tool for preprocessing and exploratory data analysis prior to machine learning model construction
arxiv.org·1d
🎵Audio ML
Flag this post
Scalable Knowledge Graph Embedding via Adaptive Dimensionality Reduction & Multi-Objective Optimization
🕸️Graph Embeddings
Flag this post
RS-ORT: A Reduced-Space Branch-and-Bound Algorithm for Optimal Regression Trees
arxiv.org·2d
🧮Kolmogorov Bounds
Flag this post
How fast can an LLM go?
🎯Emulator Accuracy
Flag this post
Loading...Loading more...