What You Didn't Learn in Berkeley CS 188: Intro to RL
neelsomaniblog.com·2h·
Discuss: Hacker News
⚡Partial Evaluation
Mechanisms for Quantum Advantage in Global Optimization of Nonconvex Functions
arxiv.org·1h
⚡Partial Evaluation
Toy Binary Decision Diagrams
philipzucker.com·1d
✅Type Checking
A Solution to the Paperclip Problem
link.springer.com·3h·
Discuss: Hacker News
💫Effect Systems
SDQ-LLM: Sigma-Delta Quantization for 1-bit LLMs of any size
reddit.com·2h·
Discuss: r/LocalLLaMA
📏Linear Memory
Inverse Mixed-Integer Programming: Learning Constraints then Objective Functions
arxiv.org·1h
🧩Constraint Solvers
A Complex Qutrit Inside an Octonionic One
golem.ph.utexas.edu·12h
🔶Lattice Theory
Implicit Models: Expressive Power Scales with Test-Time Compute
arxiv.org·1h
🌱Minimal ML
LLM Optimization Notes: Memory, Compute and Inference Techniques
gaurigupta19.github.io·14h·
Discuss: Hacker News
🗺️Region Inference
<p>**Abstract:** This paper introduces a novel framework for formally verifying the collision avoidance behavior of autonomous drone swarms operating in complex...
freederia.com·9h
🎯Symbolic Execution
Property-based testing of batch-invariant operations
mmaaz.ca·1d·
Discuss: Hacker News
🎲Property Testing
Progressive Bound Strengthening via Doubly Nonnegative Cutting Planes for Nonconvex Quadratic Programs
arxiv.org·1d
🧩Constraint Solvers
MathArena Apex: Unconquered Final-Answer Problems
matharena.ai·2d·
Discuss: Hacker News
🧩Constraint Solvers
Self hosted password vault
github.com·11h·
Discuss: r/opensource, r/selfhosted
🔀SSA Form
Hardware Stockholm Syndrome
programmingsimplicity.substack.com·5h·
Discuss: Substack
🖥️Minimal VMs
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·1d·
Discuss: DEV
🌳Pattern Match Compilation
Using Palm Jumeirah's Design to Visualize the Elliptic Curve Method
codingpirate.com·1d·
Discuss: Hacker News
🔢Algebraic Datatypes
Rodrigo Girão Serrão: Functions: a complete reference | Pydon't 🐍
mathspp.com·22h
🚪Function Prologues
A Fixed Point Framework for the Existence of EFX Allocations
arxiv.org·1h
📏Linear Logic
Top 15 DBMS Interview Questions
analyticsvidhya.com·2d
📈Query Optimization