Lenovo thinkserver rd450x wont post
i.redd.it·2d·
Discuss: r/homelab
🏠HomeLab
Trump's video about Charlie Kirk is being accused of using AI
dailydot.com·36m·
Discuss: Hacker News
🍎Apple
Defining Deviancy Up
scottsumner.substack.com·1d·
Discuss: Substack
➡️Category Theory
Understanding Motion and Relativity with Spacetime Diagrams
steuard.github.io·1d·
Discuss: Hacker News
➡️Category Theory
Why accessibility might be AI’s biggest breakthrough
arstechnica.com·2d·
Discuss: Hacker News
Automated Theorem Proving
Semlib: LLM-powered Data Processing
anishathalye.com·22h·
Discuss: Lobsters
🧩Parser Combinators
Object Reorientation: Generic Functions
gigamonkeys.com·21h·
Discuss: Hacker News
🧮Lambda Calculus
Best Backup Strategy for 2 Proxmox Hosts (1x ZFS, 1x UFS) - ZFS Proxmox has TrueNAS VM?
forum.proxmox.com·2d·
Discuss: r/homelab
🏠HomeLab
A Humble Blog Post
nvegater.com·4d·
Discuss: Hacker News
💎Refinement Types
No for Some, Yes for Others: Persona Prompts and Other Sources of False Refusal in Language Models
arxiv.org·18h
🛡️seL4
Ted Cruz Proposes Sandbox Act to Waive Federal Regulations for AI Developers
commerce.senate.gov·23h·
Discuss: Hacker News
🎮Verification Games
The Garden Speaks: On Cucumbers, Mildew, and Projects
zakelfassi.com·4d·
Discuss: Hacker News
🧱Immutable Infrastructure
Zero-Freeness is All You Need: A Weitz-Type FPTAS for the Entire Lee-Yang Zero-Free Region
arxiv.org·2d
➡️Category Theory
How FOSS Projects Handle Legal Takedown Requests
f-droid.org·7h·
Discuss: Hacker News
🛡️seL4
Uncle Sam indicts alleged ransomware kingpin tied to $18B in damages
theregister.com·1d·
Discuss: Hacker News
🐳Containerization
Are Your AI Co-Pilots Trapping Data in Isolated Silos?
thenewstack.io·2d
🧠Automated Reasoning
LLM Ensemble for RAG: Role of Context Length in Zero-Shot Question Answering for BioASQ Challenge
arxiv.org·18h
🧩Parser Combinators
Risk-averse Fair Multi-class Classification
arxiv.org·2d
🧠Automated Reasoning