Functors, Natural Transformations, Monads, Type Theory, Abstract Algebra, Monoids, Algebraic Structures, Mathematical Structures

Evaluating YARA Rules for macOS Malware Hunting in Spectra Analyze
reversinglabs.comยท2d
๐Ÿฆ Malware Analysis
Flag this post
Cross ratio
johndcook.comยท10hยท
Discuss: Hacker News
๐Ÿ“Linear Algebra
Flag this post
Modern Software Development Summarized
factoryfactoryfactory.netยท12hยท
Discuss: Hacker News
โš™๏ธDIY Electronics
Flag this post
Nonmonotonic Logic
cambridge.orgยท5dยท
Discuss: Hacker News
๐Ÿ”ฌLogic in Computer Science
Flag this post
Dependency Management in Database Design
dolthub.comยท4d
๐Ÿ”—Topological Sorting
Flag this post
Scientists aren't afraid of being wrong; they're afraid of being late
pajuhaan.medium.comยท1dยท
Discuss: Hacker News
๐Ÿ”Quantum Security
Flag this post
Clojure Runs ONNX AI Models Now - Join the AI fun!
dragan.rocksยท6dยท
Discuss: Hacker News
๐ŸŒณContext free grammars
Flag this post
Django Ninja Aio Crud - REST framework
dev.toยท4hยท
Discuss: DEV
๐ŸŒŠStreaming Databases
Flag this post
Rethinking Cross-lingual Alignment: Balancing Transfer and Cultural Erasure in Multilingual LLMs
arxiv.orgยท1d
๐Ÿค–AI Translation
Flag this post
Automated Anomaly Detection & Root Cause Analysis in Complex System Simulations via Adaptive Bayesian Networks
dev.toยท7hยท
Discuss: DEV
โšกIncremental Computation
Flag this post
Cognotik: A New FOSS AI Coding Assistant. For JetBrains IDEs
github.comยท3hยท
Discuss: Hacker News
๐ŸŒ€Brotli Internals
Flag this post
Quantum-Resistant Federated Learning with Lattice-Based Homomorphic Encryption for Edge AI Systems
dev.toยท1dยท
Discuss: DEV
๐Ÿ”Homomorphic Encryption
Flag this post
Duality-Based Fixed Point Iteration Algorithm for Beamforming Design in ISAC Systems
arxiv.orgยท1d
๐ŸŽฏPerformance Proofs
Flag this post
Building a Self-Improving RAG System with Smart Query Routing and Answer Validation
dev.toยท1dยท
Discuss: DEV
๐Ÿ”Information Retrieval
Flag this post
Clone Deterministic 3D Worlds with Geometrically-Regularized World Models
arxiv.orgยท1d
๐ŸŒ€Differential Geometry
Flag this post
Can Aha Moments Be Fake? Identifying True and Decorative Thinking Steps in Chain-of-Thought
arxiv.orgยท2d
๐Ÿ’ปProgramming languages
Flag this post
ViSurf: Visual Supervised-and-Reinforcement Fine-Tuning for LargeVision-and-Language Models
dev.toยท1hยท
Discuss: DEV
๐Ÿ“ŠLearned Metrics
Flag this post
WASM-Adventure
github.comยท1dยท
๐Ÿ›ก๏ธWASM Security
Flag this post
Depth and Autonomy: A Framework for Evaluating LLM Applications in Social Science Research
arxiv.orgยท2d
๐Ÿ›Digital humanities
Flag this post