I'm an e-waste consumer
blog.kronis.devยท1d
๐ŸŽฎCartridge Preservation
Three ways formally verified code can go wrong in practice
buttondown.comยท1d
๐Ÿ“œProof Carrying Code
The movie method for getting into Stanford
chrisbarber.coยท10hยท
Discuss: Hacker News
๐ŸŽž๏ธVideo Archives
Ship Broken Things
matmul.netยท2dยท
Discuss: Hacker News
๐Ÿ”—Topological Sorting
VLLM Predicted Outputs
cascadetech.aiยท1dยท
Discuss: Hacker News
๐Ÿ’ปLocal LLMs
Hacking a Game Boy Emulator to Output MIDI to Multiple Hardware Synths
dr-schlange.github.ioยท4hยท
Discuss: Hacker News
๐ŸŽฎGameboy Emulation
How to Reject a Pull Request
github.comยท4hยท
Discuss: Hacker News
๐Ÿ’ฃZIP Vulnerabilities
Arbitrary Entropy Policy Optimization: Entropy Is Controllable in Reinforcement Finetuning
arxiv.orgยท1d
๐Ÿ”ฒCellular Automata
DEGS: Deformable Event-based 3D Gaussian Splatting from RGB and Event Stream
arxiv.orgยท1d
๐ŸŒ€Differential Geometry
Automated Spectral Fingerprint Deconvolution for Polymer Identification via Deep Oligomer Networks
dev.toยท23hยท
Discuss: DEV
๐ŸŒˆSpectroscopy
SliceFine: The Universal Winning-Slice Hypothesis for Pretrained Networks
arxiv.orgยท1d
๐Ÿง Neural Codecs
On Convex Functions of Gaussian Variables
arxiv.orgยท2d
๐Ÿ“Compression Mathematics
Entering the Wild World of Power Over Ethernet
hackaday.comยท5h
๐Ÿ•ธ๏ธMesh Networking
TaoSR-SHE: Stepwise Hybrid Examination Reinforcement Learning Framework for E-commerce Search Relevance
arxiv.orgยท1d
๐Ÿ”Information Retrieval
Parameterized Complexity of s-Club Cluster Edge Deletion
arxiv.orgยท2d
๐ŸงฎKolmogorov Complexity
Fitzpatrick Thresholding for Skin Image Segmentation
arxiv.orgยท2d
๐Ÿ“ŠLearned Metrics
Upgrade/consolidation for 2 Servers
reddit.comยท11hยท
Discuss: r/homelab
๐Ÿ’ฟProxmox HA
OBCache: Optimal Brain KV Cache Pruning for Efficient Long-Context LLM Inference
arxiv.orgยท1d
๐Ÿ’ปLocal LLMs
Automated Anomaly Detection in Time-Series Statistical Spreadsheets via Hyperdimensional Vector Similarity
dev.toยท1dยท
Discuss: DEV
๐Ÿ”คCharacter Classification