Efficiency Is Not Enough: A Critical Perspective of Environmentally Sustainable AI
cacm.acm.org·2d
🧮Kolmogorov Complexity
Context engineering
simonwillison.net·1d
🔍Archive Semantics
Show HN: What it took to make QKD work in RAM
qsymbolic.com·2d·
Discuss: Hacker News
🔐Quantum Security
How to get the most out of AI deep research tools
operatorshandbook.com·1d
🧭Content Discovery
GPULLama3 Brings GPU Accelerated LLM Inference to Pure Java
infoq.com·2d·
Discuss: Hacker News
💧Liquid Types
Memory Safety Is Merely Table Stakes
usenix.org·2d·
Discuss: Lobsters, Hacker News, r/programming
🔒Type Safety
The network is indeed trying to become the computer
theregister.com·1d·
Discuss: Hacker News
🖥️Modern Terminals
Verification vs. Validation in Software Testing – A Clear Breakdown
dev.to·17h·
Discuss: DEV
✅Format Validation
Step-by-Step: Build a Lightweight Search Engine Using Only Node.js
dev.to·20h·
Discuss: DEV
🔍BitFunnel
A full circle moment
dev.to·7h·
Discuss: DEV
🦀Rust Macros
Reasoning about Uncertainty: Do Reasoning Models Know When They Don't Know?
arxiv.org·5d
🔍Type Inference
Confucius3-Math: A Lightweight High-Performance Reasoning LLM for Chinese K-12 Mathematics Learning
arxiv.org·5d·
Discuss: r/LocalLLaMA
🧮SMT Solvers
Extreme Left Shifting
dev.to·1d·
Discuss: DEV
❄️Nix Adoption
LFCS Seminar Tuesday 8th July: John Longley
informatics.ed.ac.uk·5d
💻Programming languages
🐳Longest Subsequence Repeated k Times – LeetCode 2014 (C++ | Python | JavaScript)
dev.to·2d·
Discuss: DEV
λLambda Encodings
Regular Tree Search for Simulation Optimization
arxiv.org·5d
🌲B-tree Variants
[AWS] Efficiency in everything! Community Builder shares the appeal of AWS Developer Tools [DevTools]
dev.to·1d·
Discuss: DEV
❄️Nix Adoption
Hypercubical manifolds in homotopy type theory
arxiv.org·4d
🔶Cubical Type Theory
Implementing Multi-tenancy with Keycloak and NestJS
dev.to·1d·
Discuss: DEV
🏺Kerberos Archaeology
Computing Betti tables and minimal presentations of zero-dimensional persistent homology
arxiv.org·5d
🕸️Algebraic Topology