What can I do with 4 or 8 256gb Samsung Sata SSDs?
reddit.com·1h·
Discuss: r/homelab
🔌Operating system internals
System Instruction Fixed Point
funcall.blogspot.com·2d·
Discuss: www.blogger.com
⚡Proof Automation
category-labs/monad
github.com·1d
🔗Functional Compilers
Safe Chain: Stopping Malicious NPM Packages Before They Wreck Your Project
aikido.dev·1d·
Discuss: Hacker News
📦Container Security
[R] Uni-CoT: A Unified CoT Framework that Integrates Text+Image reasoning!
reddit.com·22h·
Discuss: r/MachineLearning
🤖Advanced OCR
Why is Protobuf’s C++ API so clunky? Would a nlohmann/json-style wrapper make sense?
github.com·2d·
Discuss: r/opensource, r/programming
🔧KAITAI
Data Preprocessing in Data Mining: A Simple Guide for Beginners
dev.to·1d·
Discuss: DEV
🔬Binary Analysis
City Simulation with LLMs — Predicting Traffic & Generating Natural-Language Reports
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Algorithmic Alchemy: Transmuting Images with AI-Generated Code
dev.to·14h·
Discuss: DEV
🦴Binary Paleography
Unlocking Optimization: An Exact Approach to Counting Solutions by Arvind Sundararajan
dev.to·21h·
Discuss: DEV
🎯Performance Proofs
The Sum Leaks More Than Its Parts: Compositional Privacy Risks and Mitigations in Multi-Agent Collaboration
arxiv.org·56m
🔐Homomorphic Encryption
Redefining Website Fingerprinting Attacks With Multiagent LLMs
arxiv.org·2d
💻Local LLMs
Small Language Model (SML) - The future of Local AI (Part 1)
dev.to·1d·
Discuss: DEV
💻Local LLMs
Taylor-Series Expanded Kolmogorov-Arnold Network for Medical Imaging Classification
arxiv.org·1d
🧠Machine Learning
K-shot training with LLMs
dev.to·1d·
Discuss: DEV
🔗Constraint Handling
Network representations reveal structured uncertainty in music
arxiv.org·1d
🎼Computational Musicology
Quantifying Atmospheric Trace Gas Feedback via Multi-Modal Data Fusion and Bayesian Calibration
dev.to·8h·
Discuss: DEV
🌈Spectroscopy
Streamline access to ISO-rating content changes with Verisk rating insights and Amazon Bedrock
aws.amazon.com·2d
📰RSS Archaeology
BiLSTM-VHP: BiLSTM-Powered Network for Viral Host Prediction
arxiv.org·3d
🧮Kolmogorov Complexity
I got the highest score on ARC-AGI again swapping Python for English
jeremyberman.substack.com·2d·
Discuss: Substack
📐Proof Assistants