harumscarum's Top FindsLoading...
To Have Machines Make Math Proofs, Turn Them Into a Puzzle
quantamagazine.org·1d·
👨lectures
Flag this post
Slicing your work with BDD or another aspect of speed increase with small Pull Requests.
andremoniy.medium.com·2d·
Discuss: r/programming
Flag this post
original ↗
gurudas.dev·3d
⚙️Compilers
Flag this post
Chem-R: Learning to Reason as a Chemist
paperium.net·1h·
Discuss: DEV
Flag this post
Three most important factors in enterprise IT: control, control, control
theregister.com·1d
Flag this post
Right-sized AI: Good for business, users, and the planet
web.dev·1d·
Discuss: Hacker News
Flag this post
Security Affairs newsletter Round 549 by Pierluigi Paganini – INTERNATIONAL EDITION
securityaffairs.com·2d
🌐Computer Networks
Flag this post
Another Thermal Printer, Conquered
hackaday.com·8h
Flag this post
PPPoE vs IPoE: A Practical Guide for ISPs (denog17)
cdn.media.ccc.de·7h
Flag this post
How to Choose the Right Game Engine for Your Project
dev.to·4h·
Discuss: DEV
Flag this post
Tip-based proximity ferroelectric switching and piezoelectric response in wurtzite multilayers
journals.aps.org·1d
Flag this post
IMDMR: An Intelligent Multi-Dimensional Memory Retrieval System for Enhanced Conversational AI
arxiv.org·12h
👨lectures
Flag this post
EncouRAGe: Evaluating RAG Local, Fast, and Reliable
arxiv.org·1d
👨lectures
Flag this post
Linux is beginner friendly (and how I proved it)
reddit.com·18h·
Discuss: r/linux
💻operating systems
Flag this post
Do LLMs Feel? Teaching Emotion Recognition with Prompts, Retrieval, and Curriculum Learning
arxiv.org·12h
Flag this post
On Pretraining for Project-Level Code Completion
paperium.net·3d·
Discuss: DEV
⚙️Compilers
Flag this post
Keeping The Lights On: How Digital Twins And Smart Semiconductor Management Power Our 24/7 World
semiengineering.com·9h
Flag this post
On the gradient of the coefficient of the characteristic polynomial
arxiv.org·1d
👨lectures
Flag this post
The Linear Team Made a Good MCP
dev.to·1d·
Discuss: DEV
Flag this post
Gonka.ai – Decentralized Infrastructure for AI
github.com·1d·
Discuss: Hacker News
Flag this post