Building my first SFF-Build NCASE M3
i.redd.itยท12hยท
Discuss: r/sffpc
๐Ÿ—๏ธBuild Systems
Self-awareness? Or second-guessing
caffeinated.bearblog.devยท10h
๐Ÿ“œProof Languages
๐ŸŽฒ reClojure 2025
gosha.netยท11h
๐ŸฅพBootstrapping Strategies
Token Models as Statistical Simulations: A Different Take
medium.comยท1dยท
Discuss: Hacker News
๐Ÿ”Tokenizers
Quantum Simulation Programming via Typing
arxiv.orgยท3h
๐Ÿ—๏ธMinimal Compilers
Robust, Online, and Adaptive Decentralized Gaussian Processes
arxiv.orgยท3h
๐Ÿš‚Error Propagation
PTQTP: Post-Training Quantization to Trit-Planes for Large Language Models
arxiv.orgยท3h
โšกTokenizer Optimization
Causal Fuzzing for Verifying Machine Unlearning
arxiv.orgยท3h
๐Ÿ”ML Language
GitHub - vshakitskiy/how-to-otp: Learn how to work with OTP in Gleam!
github.comยท1d
โœจGleam
An Optimal Control Interpretation of Augmented Distributed Optimization Algorithms
arxiv.orgยท3h
๐Ÿ“กAsync Channels
ARK-V1: An LLM-Agent for Knowledge Graph Question Answering Requiring Commonsense Reasoning
arxiv.orgยท3h
โš–๏ธInference Rules
From Zero to Java: Day 2 of My Backend Development Journey
dev.toยท3dยท
Discuss: DEV
๐Ÿ”ถLattice Theory
KANO: Kolmogorov-Arnold Neural Operator
arxiv.orgยท3h
๐ŸชœRecursive Descent
The STAR-XAI Protocol: An Interactive Framework for Inducing Second-Order Agency in AI Agents
arxiv.orgยท3h
๐ŸŽญProgram Synthesis
Building Production-Ready Serverless Applications with AWS Lambda and API Gateway
dev.toยท3dยท
Discuss: DEV
โš™๏ธConfiguration Parsing
Introduction to Python Module Two Part Two Best Practices
dev.toยท6hยท
Discuss: DEV
๐Ÿ’ฌInteractive REPLs
Quantum Abduction: A New Paradigm for Reasoning under Uncertainty
arxiv.orgยท3h
โš–๏ธInference Rules
Shift Parallelism: Low-Latency, High-Throughput LLM Inference for Dynamic Workloads
arxiv.orgยท3h
๐Ÿš€Tokenizer Performance