Cactus Language โ€ข Semantics 3
inquiryintoinquiry.comยท7h
๐Ÿ”ขDenotational Semantics
The artificial complexity of OOXML files (the PPTX case)
blog.documentfoundation.orgยท6hยท
Discuss: Hacker News
๐Ÿ“ŸTerminal Typography
VLLM Predicted Outputs
cascadetech.aiยท3hยท
Discuss: Hacker News
๐Ÿ’ปLocal LLMs
LinVideo: A Post-Training Framework towards O(n) Attention in Efficient Video Generation
arxiv.orgยท19h
๐Ÿง Learned Codecs
GNN Predictions: Hidden Bugs and the Verification Nightmare by Arvind Sundararajan
dev.toยท1hยท
Discuss: DEV
โš™๏ธProof Engineering
Estimating Fair Graphs from Graph-Stationary Data
arxiv.orgยท19h
๐ŸŒˆSpectral Methods
Randomized and quantum approximate matrix multiplication
arxiv.orgยท19h
๐Ÿ”Quantum Cryptography
Show HN: Rebuilt Bible search app to run 100% client-side with Transformers.js
biblos.appยท2hยท
Discuss: Hacker News
๐Ÿ“œBinary Philology
Building Self-Correcting Database Agents with Meta's Llama-4-Scout: From Natural Language to SQL Insights
dev.toยท1dยท
Discuss: DEV
๐Ÿ—„๏ธDatabase Internals
Parallelizing Cellular Automata with WebGPU Compute Shaders
vectrx.substack.comยท14hยท
Discuss: Substack
๐Ÿ”ฒCellular Automata
Computational Complexity of Covering Two-vertex Multigraphs with Semi-edges
arxiv.orgยท1d
๐Ÿ•ธ๏ธGraph Algorithms
Getting a Hypergraph of Functions to a Browser
systeminit.comยท1dยท
Discuss: Hacker News
๐Ÿ“E-graphs
A Proof of the Riemann Hypothesis
dev.toยท1dยท
Discuss: DEV
โš”๏ธLean Theorem
Fast-Convergent Proximity Graphs for Approximate Nearest Neighbor Search
arxiv.orgยท2d
๐Ÿ“Range Queries
This Puzzle Shows Just How Far LLMs Have Progressed in a Little Over a Year
towardsdatascience.comยท3d
๐Ÿ“Mathematical Art
Enhancing Vector Signal Generator Accuracy with Adaptive Polynomial Regression Calibration
dev.toยท10hยท
Discuss: DEV
๐Ÿ“กAudio Modulation
Unveiling the Power of Queues: A Journey into Data Structures and Algorithms
dev.toยท1dยท
Discuss: DEV
โšกCache Theory
Reverse Supply Chain Network Design of a Polyurethane Waste Upcycling System
arxiv.orgยท19h
๐Ÿ”—Supply Chain
Spectral Graph Clustering under Differential Privacy: Balancing Privacy, Accuracy, and Efficiency
arxiv.orgยท1d
๐Ÿ“ˆSpectral Graph Theory
Ship Broken Things
matmul.netยท1dยท
Discuss: Hacker News
๐Ÿ”—Topological Sorting