Show HN: Kumi – a portable, declarative, functional core for business logic
✅Formal Methods
Flag this post
Beyond Chatbots: 5 Next-Gen Use Cases for AI Agents in Customer Support
⚡Proof Automation
Flag this post
Show HN: Elden Stack – A mini game where your stack overflows in glorious combat
🖥️Terminal Renaissance
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
Enhanced Radiation Sterilization Verification via Hyperdimensional Data Fusion and Bayesian Calibration
💾Floppy Imaging
Flag this post
Google Summer of Code 2025 Reports: Using bubblewrap to add sandboxing to NetBSD
blog.netbsd.org·6h
🔒WASM Capabilities
Flag this post
I Built a Recipe App That Sees Your Ingredients with Google Gemini
🧮Algorithmic Cooking
Flag this post
Optimized Grid-Interactive Energy Storage (GIES) via Heterogeneous Ensemble Learning
🌊Streaming Systems
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.org·4d
🦀Rust Verification
Flag this post
RLAC: Reinforcement Learning with Adversarial Critic for Free-Form Generation Tasks
arxiv.org·4d
✨Effect Handlers
Flag this post
Left Atrial Segmentation with nnU-Net Using MRI
arxiv.org·1d
💻Local LLMs
Flag this post
AI-Driven Optimization of Zeolite Synthesis via Reinforcement Learning & Multi-Objective Bayesian Optimization
⚡Z3 Optimization
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
Loading...Loading more...