Transparent Energy consumption of cloud infrastructure
eco-compute.io·4h·
Discuss: Hacker News
🖥Self-Hosting
Flag this post
5 Fun Data Science Projects for Absolute Beginners
kdnuggets.com·8h
🎯Complexity Classes
Flag this post
The Python Coding Stack: And Now You Know Your ABC
thepythoncodingstack.com·2d·
Discuss: Hacker News
🔬Static Analysis
Flag this post
Training: Postgres Performance and Maintenance
postgresconf.org·4h·
Discuss: Hacker News
🔒Protocol Verification
Flag this post
Attacking macOS XPC Helpers: Protocol Reverse Engineering and Interface Analysis
tonygo.tech·1d·
Discuss: Lobsters, Hacker News
🛡️macOS Security
Flag this post
Small Vs. Large Language Models
semiengineering.com·13h·
Discuss: Hacker News, r/LLM
🔲Cellular Automata
Flag this post
Revisiting interface segregation in Go
rednafi.com·2d·
Discuss: Hacker News, r/golang
💎Refinement Types
Flag this post
Speedrunning an RL Environment
sidb.in·2d·
Discuss: Hacker News
🎮Verification Games
Flag this post
How to get the GOT address from a PLT stub using GDB
rafaelbeirigo.github.io·1d·
Discuss: Hacker News
⚙️PL Implementation
Flag this post
REMI: PostgreSQL as Agentic Core in Tiger Cloud (Agentic Postgres Challenge by Auth0)
dev.to·1d·
Discuss: DEV
🌐ActivityPub
Flag this post
Quantum-Resistant Federated Learning with Homomorphic Encryption for Medical Imaging Diagnostics
dev.to·1d·
Discuss: DEV
🧮Lambda Calculus
Flag this post
Building Syllabi – Agentic AI with Vercel AI SDK, Dynamic Tool Loading, and RAG
dev.to·18h·
Discuss: DEV
🎮Verification Games
Flag this post
🛡️ Fortify - AI-Powered Security Analysis Platform
dev.to·2h·
Discuss: DEV
🔧DevOps
Flag this post
Software Development in the Time of New Angels
davegriffith.substack.com·2h·
Discuss: Substack
🔧DevOps
Flag this post
Synthesized Generative Modeling via Graph-Constrained Semantic Embedding
dev.to·1d·
Discuss: DEV
📚Automata Learning
Flag this post
Math's New Muse: AI as a Reasoning Partner
dev.to·1d·
Discuss: DEV
✓Automated Theorem Proving
Flag this post
[GoGreement] A new linter that can help enforce interface implementation and immutability
reddit.com·2d·
Discuss: r/golang
🎯GADT
Flag this post
Phased DMD: Few-step Distribution Matching Distillation via Score Matching within Subintervals
arxiv.org·16h
📐Linear Algebra
Flag this post
Smaller Surfaces
nrempel.com·1d·
Discuss: Hacker News
💎Refinement Types
Flag this post
Dataset Creation and Baseline Models for Sexism Detection in Hausa
arxiv.org·16h
🧩Parser Combinators
Flag this post