🔱 Galois Theory

Field Extensions, Error Correction, Algebraic Structures, Abstract Algebra

Mini-Review: The Life and Times of the Cubic-Solving Guy
daveagp.wordpress.com·1d
🗝️Paleocryptography
Grand Challenges in Trustworthy Computing at 20: A Retrospective Look at the Second CRA Grand Challenges Conference
cacm.acm.org·32m
🌐Network Security
Chez Scheme vs. SBCL: a comparison (2019)
elmord.org·18h·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
Exploring Assumptions of K-means Clustering using R
dev.to·8h·
Discuss: DEV
📚Document Clustering
Characterizing Visualization Perception with Psychological Phenomena: Uncovering the Role of Subitizing in Data Visualization
arxiv.org·1d
🌈Color Science
modelSolver: A Symbolic Model-Driven Solver for Power Network Simulation and Monitoring
arxiv.org·1d
✨Algebraic Effects
Nil Pointer Panic at 3 AM: Choosing the Right Go Database Tool to Save Your Sleep
dev.to·23h·
Discuss: DEV
🧩SQLite Extensions
Cytonic: Redefining Innovation and Security in Blockchain
dev.to·1d·
Discuss: DEV
🔐PKI Archaeology
Enhanced UAV Path Planning Using the Tangent Intersection Guidance (TIG) Algorithm
arxiv.org·11h
📊Computational Geometry
Semantic Embedding in RAG: why close vectors still miss meaning and how to fix it
dev.to·1d·
Discuss: DEV
🧮Vector Embeddings
ProtoEHR: Hierarchical Prototype Learning for EHR-based Healthcare Predictions
arxiv.org·11h
🗂️Vector Databases
Reconciling Communication Compression and Byzantine-Robustness in Distributed Learning
arxiv.org·1d
🤝Consensus Algorithms
Integrating Large Language Model for Improved Causal Discovery
arxiv.org·11h
🤖Grammar Induction
Wavelet-Enhanced PaDiM for Industrial Anomaly Detection
arxiv.org·2d
🧠Machine Learning
ROSE: Remove Objects with Side Effects in Videos
arxiv.org·11h
⟷Bidirectional Programming
Securing Heterogeneous Network (HetNet) Communications for Wildfire Management: Mitigating the Effects of Adversarial and Environmental Threats
arxiv.org·1d
🕸️Mesh Networking
Constrained Prompt Enhancement for Improving Zero-Shot Generalization of Vision-Language Models
arxiv.org·1d
🧠Neural Codecs
Formal verification effort for the ABDK Math 64.64 library using echidna/hevm
github.com·2d·
Discuss: Hacker News
✅Format Verification
How to build an OpenAI Agent with persistent memory
dev.to·5h·
Discuss: DEV
🌳Incremental Parsing
An experimental approach: The graph of graphs
arxiv.org·1d
🌈Spectral Methods