Add Indexes to Foreign Key Refs in PostgreSQL
rishigoomar.com·1d·
Discuss: Hacker News
🔍Formal Verification
Management of IP numbers by peg-DHCP (1998)
datatracker.ietf.org·6d·
Discuss: Hacker News
📡Network Protocol Design
LLMs suggest women seek lower salaries than men in job interviews
computerworld.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Understanding Nuclear Submarines: Power and Purpose Explained
militaryrealism.blog·1d·
Discuss: Hacker News
⎈Kubernetes
HR Giant Workday Got Hacked
gizmodo.com·1d·
Discuss: Hacker News
🍎Apple
History of improvements in VACUUM in PostgreSQL (2023)
enterprisedb.com·5d·
Discuss: Lobsters, Hacker News
👁️System Observability
The $30 Million Lottery Scam (2022)
theatlantic.com·1d·
Discuss: Hacker News
🎮Verification Games
We Thought DNA Ran Our Lives until We Discovered RNA Is in Charge
scientificamerican.com·1d·
Discuss: Hacker News
🔤DSLs
SoftBank Agrees to Invest $2 Billion in Intel as Part of US Push
bloomberg.com·1d·
Discuss: Hacker News
⚙️Operating System Design
DiCriTest: Testing Scenario Generation for Decision-Making Agents Considering Diversity and Criticality
arxiv.org·2d
🧪Property-Based Testing
Help with first setup ever
reddit.com·4d·
Discuss: r/homelab
🏠HomeLab
ETTRL: Balancing Exploration and Exploitation in LLM Test-Time Reinforcement Learning Via Entropy Mechanism
arxiv.org·2d
🎮Verification Games
Informative Post-Hoc Explanations Only Exist for Simple Functions
arxiv.org·2d
🔠Type-Level Programming
Principles of Physiological Closed-Loop Controllers in Neuromodulation
arxiv.org·2d
🏹Effect Systems
Towards Generalizable Learning Models for EEG-Based Identification of Pain Perception
arxiv.org·1d
🏹Effect Systems
Is GenAI Replacing Your QA Team? A Sobering Reality Check
thenewstack.io·3d
🔄Reproducible Builds
Apple trained an LLM to teach itself good interface design in SwiftUI
9to5mac.com·5d
🍎Apple
Linux Lands Fix For Early 6.17 Regression Causing 37~43% Performance Hit
phoronix.com·6d·
Discuss: Hacker News
👁️System Observability
Physics-Informed Diffusion Models for Unsupervised Anomaly Detection in Multivariate Time Series
arxiv.org·2d
👁️System Observability
Empirical Investigation into Configuring Echo State Networks for Representative Benchmark Problem Domains
arxiv.org·5d
🏹Effect Systems