Cactus Language • Syntax 12
inquiryintoinquiry.com·22h
📝Concrete Syntax
Brent Yorgey: Competitive programming in Haskell: range queries, classified
byorgey.github.io·3d
λLambda Encodings
Understanding Prolly Tree Balance
dolthub.com·14h·
Discuss: Hacker News
🌲B-tree Variants
Fast and Distributed Equivariant Graph Neural Networks by Virtual Node Learning
arxiv.org·1d
🌀Riemannian Computing
Overtuning in Hyperparameter Optimization
arxiv.org·1d
🧠Machine Learning
Counting with Categories (Part 1)
golem.ph.utexas.edu·3d
λLambda Formalization
Choice of Scoring Rules for Indirect Elicitation of Properties with Parametric Assumptions
arxiv.org·2d
👑Coq Tactics
Probabilistic and reinforced mining of association rules
arxiv.org·2d
🧠Learned Indexes
RepuNet: A Reputation System for Mitigating Malicious Clients in DFL
arxiv.org·10h
🔍BitFunnel
Iterative Quantum Feature Maps
arxiv.org·1d
⚛️Quantum Circuits
Breaking Spatial Boundaries: Spectral-Domain Registration Guided Hyperspectral and Multispectral Blind Fusion
arxiv.org·10h
🌀Differential Geometry
Bilinear MLPs enable weight-based mechanistic interpretability
arxiv.org·10h
📊Quantization
Understanding Backpropagation and Gradient Descent in Neural Networks
dev.to·2d·
Discuss: DEV
🧠Neural Codecs
CBF-AFA: Chunk-Based Multi-SSL Fusion for Automatic Fluency Assessment
arxiv.org·10h
🎙️Whisper
Apps Script MCP Server
dev.to·18h·
Discuss: DEV
🔐CBOR
Pay Less Attention to Deceptive Artifacts: Robust Detection of Compressed Deepfakes on Online Social Networks
arxiv.org·10h
🤖Advanced OCR
Optimization-Free Patch Attack on Stereo Depth Estimation
arxiv.org·2d
🔢Bitwise Algorithms
V2T-CoT: From Vision to Text Chain-of-Thought for Medical Reasoning and Diagnosis
arxiv.org·1d
🤖Advanced OCR
Preparing for the Quantum Leap: The Urgency of Post-Quantum Cryptography
dev.to·4d·
Discuss: DEV
🔐Quantum Security
FundaQ-8: A Clinically-Inspired Scoring Framework for Automated Fundus Image Quality Assessment
arxiv.org·10h
📊Rate-Distortion Theory