Show HN: Kumi – a portable, declarative, functional core for business logic
✅Formal Methods
Flag this post
Show HN: Elden Stack – A mini game where your stack overflows in glorious combat
🖥️Terminal Renaissance
Flag this post
Gamma convergence for a phase-field cohesive energy
arxiv.org·4d
🕸️Tensor Networks
Flag this post
Branched Signature Model
arxiv.org·4d
🕸️Graph Algorithms
Flag this post
Fuzzy Soft Set Theory based Expert System for the Risk Assessment in Breast Cancer Patients
arxiv.org·3d
⚖️Constraint Logic
Flag this post
Estimation of Segmental Longitudinal Strain in Transesophageal Echocardiography by Deep Learning
arxiv.org·3d
🌀Differential Geometry
Flag this post
Auditable-choice reframing unlocks RL-based verification for open-ended tasks
arxiv.org·3d
📏Linear Logic
Flag this post
Quantum-Resistant Federated Learning: Implementing Post-Quantum Cryptography for Secure Model Aggregation in Cross-Silo Envir...
🔐Quantum Security
Flag this post
Non-recursively deleting a binary tree in constant space: Traversal with parent pointers
🗃️Database Storage
Flag this post
Generative Artificial Intelligence in Bioinformatics: A Systematic Review of Models, Applications, and Methodological Advances
arxiv.org·2d
🧠Machine Learning
Flag this post
Reasoning models don't degrade gracefully - they hit a complexity cliff and collapse entirely [Research Analysis] [R]
⚡Incremental Computation
Flag this post
Probabilistic Robustness for Free? Revisiting Training via a Benchmark
arxiv.org·4d
🧠Machine Learning
Flag this post
Addressing divergent representations from causal interventions on neural networks
arxiv.org·1d
✨Effect Handlers
Flag this post
Enterprise Design Patterns: The Repository Pattern (Catalog of Patterns of EAA) — A Practical Guide with Python
🌀Brotli Internals
Flag this post
MedRECT: A Medical Reasoning Benchmark for Error Correction in Clinical Texts
arxiv.org·4d
✅Format Verification
Flag this post
Loading...Loading more...