The Kivaloo Data Store
tarsnap.com·5h·
Discuss: Hacker News
🌍Distributed Systems
(BT) Diversity from (LC) Diversity
golem.ph.utexas.edu·12h
🧮Programming Language Theory
20250806
zh.wikipedia.org·3h
🧫Cellular Automata
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·1d
🔐Cryptography
What makes a strategy great (2023)
longform.asmartbear.com·13h·
Discuss: Hacker News
⚖Algorithmic Game Theory
Fetch Data with AWS Lambda
github.com·20h·
Discuss: DEV
🧩Theorem Proving
We beat GPT-4o's baseline with a simple re-prompting loop
aimon.ai·5h·
Discuss: Hacker News
🎲Probabilistic Programming
Toward Verifiable Misinformation Detection: A Multi-Tool LLM Agent Framework
arxiv.org·50m
🧩Theorem Proving
Towards Alignment Auditing as a Numbers-Go-Up Science
lesswrong.com·1d
🔗Parser Combinators
A Data-Driven Machine Learning Approach for Predicting Axial Load Capacity in Steel Storage Rack Columns
arxiv.org·1d
🎲Probabilistic Programming
Accelerating SGDM via Learning Rate and Batch Size Schedules: A Lyapunov-Based Analysis
arxiv.org·50m
🎲Probabilistic Programming
LLM Agent-Based Simulation of Student Activities and Mental Health Using Smartphone Sensing Data
arxiv.org·50m
🎲Probabilistic Programming
Kronos: A Foundation Model for the Language of Financial Markets
arxiv.org·50m
🎲Probabilistic Programming
Intensional FOL over Belnap's Billatice for Strong-AI Robotics
arxiv.org·50m
🔄Category Theory
DP-DGAD: A Generalist Dynamic Graph Anomaly Detector with Dynamic Prototypes
arxiv.org·2d
🔗Parser Combinators
Things I Wish I Had Known Before Starting ML
towardsdatascience.com·5h
🔗Parser Combinators
Topolow: Force-Directed Euclidean Embedding of Dissimilarity Data with Robustness Against Non-Metricity and Sparsity
arxiv.org·1d
🔄Category Theory
L3M+P: Lifelong Planning with Large Language Models
arxiv.org·1d
🔗Parser Combinators
Prefect Pipeline Tutorial: Complete Breakdown
dev.to·1d·
Discuss: DEV
🦀Rust
Huffman coding in Javascript
dev.to·17h·
Discuss: DEV
🧮Programming Language Theory