Illustrating Git Diff — And Master It
elye-project.medium.com·22h·
Discuss: r/programming
✓Automated Theorem Proving
Zero Trust in Reverse: Why the Definition of Zero Trust Is Only Half Full
threatresearch.ext.hp.com·8h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Book of All-Pairs Shortest Paths
olegkarasik.wordpress.com·4d·
Discuss: Hacker News
📡Network Protocol Design
All unimaginery internet futures are in one place.(free) try now
sites.google.com·1d·
Discuss: Hacker News
🔧Unikernel Development
Atlassian says its 'Don't F– the Customer' principle drove cloud-only decision
computerworld.com·6h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
The argument against the existence of a Theory of Everything
bigthink.com·1d·
Discuss: Hacker News
➡️Category Theory
Why spreadsheets fail for AI-driven decision-making
whatifi.io·2d·
Discuss: Hacker News
🧠Automated Reasoning
AI can't be woke and regulators should be asleep, Senator Cruz says
theregister.com·6h·
Discuss: Hacker News
🩹Self-Healing Systems
Broadcom Steps Up to Challenge Nvidia in AI Chip Arms Race
hpcwire.com·13h·
Discuss: Hacker News
🔧Unikernel Development
I tried adding a 3D game inside my social media app (React + Three.js)
reddit.com·1d·
Discuss: r/programming
🎮Verification Games
Automated Radiographic Total Sharp Score (ARTSS) in Rheumatoid Arthritis: A Solution to Reduce Inter-Intra Reader Variation and Enhancing Clinical Practice
arxiv.org·2d
🧠Automated Reasoning
An Approach to Grounding AI Model Evaluations in Human-derived Criteria
arxiv.org·3d
🧠Automated Reasoning
LifeGPT: Generative pretrained transformer model for cellular automata
nature.com·4d·
Discuss: Hacker News
📚Automata Learning
Yes, AI Continues To Make Rapid Progress, Including Towards AGI
thezvi.substack.com·1d·
Discuss: Substack
🩹Self-Healing Systems
Scaling behavior of large language models in emotional safety classification across sizes and tasks
arxiv.org·3d
🧩Parser Combinators
Research on Multi-hop Inference Optimization of LLM Based on MQUAKE Framework
arxiv.org·3d
🧩Parser Combinators
Exploiting Unlabeled Structures through Task Consistency Training for Versatile Medical Image Segmentation
arxiv.org·3d
📚Automata Learning
Multiscale Graph Neural Network for Turbulent Flow-Thermal Prediction Around a Complex-Shaped Pin-Fin
arxiv.org·3d
💻CS
ACE-RL: Adaptive Constraint-Enhanced Reward for Long-form Generation Reinforcement Learning
arxiv.org·3d
🎮Verification Games
Emergent Social Dynamics of LLM Agents in the El Farol Bar Problem
arxiv.org·3d
🎮Verification Games