The elementary theory of surreal arithmetic is bi-interpretable with set theory, Notre Dame Logic Seminar, November 2025
jdh.hamkins.org·16h
📝C Programming
Flag this post
🌍 web.dev — Build Better Websites
🌐WebAssembly
Flag this post
Gnomes, Domains, and Flows
happihacking.com·1d
🚀Performance
Flag this post
Whitespace Esolang
📝C Programming
Flag this post
Rust Coreutils 0.4 Boosts GNU Compatibility to 85%
linuxiac.com·2d
🌐WebAssembly
Flag this post
Modern perspectives in proof theory (2023)
🐹Go
Flag this post
From Snowflake to Sierra, Every Enterprise Software Firm Is Selling the Same AI Agents
theinformation.com·18h
🚀Performance
Flag this post
<p>**Abstract:** This paper presents a novel automated system for precisely determining galactic angular momentum profiles across diverse galaxy morphologies an...
freederia.com·2d
🚀Performance
Flag this post
Beyond Mapping Adversarial Subspaces: Why AI Security Needs Architectural Defenses
🚀Performance
Flag this post
MultiVerse: A Multi-Turn Conversation Benchmark for Evaluating Large Vision andLanguage Models
🚀Performance
Flag this post
How can I stop relying on ChatGPT and actually learn to code and search like a real developer?
⚡Zig
Flag this post
TwIST: Rigging the Lottery in Transformers with Independent Subnetwork Training
arxiv.org·6d
🚀Performance
Flag this post
CGLE: Class-label Graph Link Estimator for Link Prediction
arxiv.org·2d
🚀Performance
Flag this post
Design System: Building the Foundations
🌐WebAssembly
Flag this post
Loading...Loading more...