💻 Local LLMs

Model Quantization, Inference Optimization, GGUF Format, Privacy-preserving AI

AI's hidden state in the execution stack
ayende.com·4d
🎯Gradual Typing
The 10 Best AI-Native Personalization Platforms in 2025
shaped.ai·2d
👤Search Personalization
Upgrading the CircuitHub codebase to GHC-9.10
informal.codes·3d
🔗Functional Compilers
Rules from the Courage to Be Disliked (Summary)
growthsummary.com·21h·
Discuss: Hacker News
🏛️Philosophy
Google Translate will let you choose between speed or accuracy - and use AI to compete with Duolingo
the-independent.com·2d
🌀Brotli Dictionary
Image Prompt
imageprompt.site·2d·
Discuss: Hacker News
🤖Archive Automation
Announcing Proxy 4: The Next Leap in C++ Polymorphism
devblogs.microsoft.com·2d·
Discuss: Lobsters, Hacker News, r/cpp
🔌Interface Evolution
Free VPN apps found to have ties with Russia and China – and they're hiding in Google and Apple’s app stores
techradar.com·5h
🇨🇳Chinese Computing
Remote work spurs grassroots environmental action in New York City
phys.org·19h
🌱Personal Wikis
Abundance-Aware Set Transformer for Microbiome Sample Embedding
arxiv.org·4d
🗂️Vector Databases
Presheaf automata
arxiv.org·4d
🎯Automata theory
Efficient and accurate solution of wind-integrated optimal power flow based on enhanced second-order cone relaxation with rolling cutting plane technique
arxiv.org·3d
📐Linear Algebra
DashCam Video: A complementary low-cost data stream for on-demand forest-infrastructure system monitoring
arxiv.org·4d
🌊Stream Processing
Modeling and Control of AWOISV: A Filtered Tube-Based MPC Approach for Simultaneous Tracking of Lateral Position and Heading Angle
arxiv.org·2d
⚙️Cassette Mechanics
Seven New Camera Features Coming to the New Pixel 10 Phones
lifehacker.com·1d
🎬WebCodecs
Approximating the universal thermal climate index using sparse regression with orthogonal polynomials
arxiv.org·4d
📐Error Bounds
The Future of Pair Programming: Humans + AI Together
dev.to·8h·
Discuss: DEV
💻Programming languages
Why I Treat My Git Commits Like a Personal Journal
dev.to·4h·
Discuss: DEV
📐Delta Encoding
Who pays for this?
aardvark.co.nz·1d
🔌Operating system internals
AI Agentic Programming: A Survey of Techniques, Challenges, and Opportunities
arxiv.org·4d
💻Programming languages