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·21h
🧭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
Be Aware of News Mirages
hackernoon.com·14h
📰Content Curation
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·12h·
Discuss: DEV
✅Format Validation
Step-by-Step: Build a Lightweight Search Engine Using Only Node.js
dev.to·15h·
Discuss: DEV
🔍BitFunnel
Reasoning about Uncertainty: Do Reasoning Models Know When They Don't Know?
arxiv.org·4d
🔍Type Inference
Confucius3-Math: A Lightweight High-Performance Reasoning LLM for Chinese K-12 Mathematics Learning
arxiv.org·4d·
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
A full circle moment
dev.to·3h·
Discuss: DEV
🦀Rust Macros
From Beginner to Clean Coder: A Junior Developer's Journey
dev.to·1d·
Discuss: DEV
🔗Concatenative Programming
Regular Tree Search for Simulation Optimization
arxiv.org·4d
🌲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·3d
🔶Cubical Type Theory
Implementing Multi-tenancy with Keycloak and NestJS
dev.to·1d·
Discuss: DEV
🏺Kerberos Archaeology
🐳Longest Subsequence Repeated k Times – LeetCode 2014 (C++ | Python | JavaScript)
dev.to·2d·
Discuss: DEV
λLambda Encodings