Cactus Language • Semantics 3
inquiryintoinquiry.com·1d
🔢Denotational Semantics
Better vector search with graphs and spectral indexing
tuned.org.uk·6h·
Discuss: Hacker News
🗂️Vector Databases
Is GRPO Broken?
neelsomaniblog.com·1d·
Discuss: Hacker News
🧮Kolmogorov Bounds
How to store ordered information in a Relational Database (2015)
softwareengineering.stackexchange.com·2d·
Discuss: Lobsters, Hacker News
🧮Algebraic Datatypes
RND1: Simple, Scalable AR-to-Diffusion Conversion
radicalnumerics.ai·2d·
Discuss: Hacker News
💻Local LLMs
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.ca·1d·
Discuss: Hacker News
🔗Concatenative Programming
How Calyx Is Solving The $100 Billion Problem That's Fragmenting DeFi Across 19 Blockchains
hackernoon.com·1d
🔗Hash Chains
From Clicks to Code: Building a Production‑Ready EVM Transaction Client (Approve, Mint, Swap, EIP‑1559)
dev.to·2d·
Discuss: DEV
✅Format Verification
Automated Spectral Fingerprint Deconvolution for Polymer Identification via Deep Oligomer Networks
dev.to·1d·
Discuss: DEV
🌈Spectroscopy
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org·1d
🧮Theorem Proving
In-Depth Analysis: "Attention Is All You Need"
dev.to·1d·
Discuss: DEV
🧠Intelligence Compression
LinVideo: A Post-Training Framework towards O(n) Attention in Efficient Video Generation
arxiv.org·1d
🧠Learned Codecs
Memory Retrieval and Consolidation in Large Language Models through Function Tokens
arxiv.org·1d
💻Programming languages
Real-time Anomaly Detection in Financial Transactions via Hybrid Reinforcement Learning and Graph Neural Networks
dev.to·8h·
Discuss: DEV
🔍Vector Forensics
LLC Artificial Intelligence Trained to Lie by Omission
dev.to·11h·
Discuss: DEV
📏Code Metrics
Scalable Semantic Map Generation via Hierarchical Graph Optimization
dev.to·1d·
Discuss: DEV
⚡Incremental Computation
INFER : Learning Implicit Neural Frequency Response Fields for Confined Car Cabin
arxiv.org·1d
👂Psychoacoustic Coding
RVFL-X: A Novel Randomized Network Based on Complex Transformed Real-Valued Tabular Datasets
arxiv.org·2d
🔍Vector Forensics
Quantum Relative Entropy Decay Composition Yields Shallow, Unstructured k-Designs
arxiv.org·1d
⚛️Quantum Circuits
LightReasoner: Can Small Language Models Teach Large Language Models Reasoning?
arxiv.org·1d
🔗Parser Combinators