Cactus Language • Syntax 12
inquiryintoinquiry.com·17h
📝Concrete Syntax
Brent Yorgey: Competitive programming in Haskell: range queries, classified
byorgey.github.io·3d
λLambda Encodings
Understanding Prolly Tree Balance
dolthub.com·9h·
Discuss: Hacker News
🌲B-tree Variants
Writing Toy Software Is a Joy
quiz.businessexplain.com·5h·
Discuss: Hacker News
🔩Systems Programming
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·5h
🔍BitFunnel
Contextualizing SUTRA: Advancements in Multilingual & Efficient LLMs
hackernoon.com·17h
💻Local LLMs
Iterative Quantum Feature Maps
arxiv.org·1d
⚛️Quantum Circuits
Breaking Spatial Boundaries: Spectral-Domain Registration Guided Hyperspectral and Multispectral Blind Fusion
arxiv.org·5h
🌀Differential Geometry
Bilinear MLPs enable weight-based mechanistic interpretability
arxiv.org·5h
📊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·5h
🎙️Whisper
Apps Script MCP Server
dev.to·13h·
Discuss: DEV
🔐CBOR
Pay Less Attention to Deceptive Artifacts: Robust Detection of Compressed Deepfakes on Online Social Networks
arxiv.org·5h
🤖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