Pseudo-Scientific Jargon Generator
davidbarrow.com·6h·
Discuss: Hacker News
🐫OCaml
Illustrating Git Diff — And Master It
elye-project.medium.com·18h·
Discuss: r/programming
✓Automated Theorem Proving
Zero Trust in Reverse: Why the Definition of Zero Trust Is Only Half Full
threatresearch.ext.hp.com·4h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Hunting for security bugs in code with AI agents: A full walkthrough
muellerberndt.medium.com·3d·
Discuss: r/programming
🛡️seL4
Attackers hijacked popular NPM packages to replace crypto wallet addresses
exaforce.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
Testing Claude’s Native Integration with Reminders and Calendar on iOS and iPadOS
macstories.net·10h·
Discuss: Hacker News
🍎Apple
Atlassian says its 'Don't F– the Customer' principle drove cloud-only decision
computerworld.com·2h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
The argument against the existence of a Theory of Everything
bigthink.com·1d·
Discuss: Hacker News
➡️Category Theory
Final Message: "Before the Battery Dies"
news.ycombinator.com·10h·
Discuss: Hacker News
🍎Apple
Why spreadsheets fail for AI-driven decision-making
whatifi.io·2d·
Discuss: Hacker News
🧠Automated Reasoning
Knowledge and memory
robinsloan.com·4d·
Discuss: Hacker News
📚Automata Learning
Automated Radiographic Total Sharp Score (ARTSS) in Rheumatoid Arthritis: A Solution to Reduce Inter-Intra Reader Variation and Enhancing Clinical Practice
arxiv.org·1d
🧠Automated Reasoning
An Approach to Grounding AI Model Evaluations in Human-derived Criteria
arxiv.org·2d
🧠Automated Reasoning
LifeGPT: Generative pretrained transformer model for cellular automata
nature.com·4d·
Discuss: Hacker News
📚Automata Learning
ACE-RL: Adaptive Constraint-Enhanced Reward for Long-form Generation Reinforcement Learning
arxiv.org·2d
🎮Verification Games
Multiscale Graph Neural Network for Turbulent Flow-Thermal Prediction Around a Complex-Shaped Pin-Fin
arxiv.org·2d
💻CS
Research on Multi-hop Inference Optimization of LLM Based on MQUAKE Framework
arxiv.org·2d
🧩Parser Combinators
Scaling behavior of large language models in emotional safety classification across sizes and tasks
arxiv.org·2d
🧩Parser Combinators
Exploiting Unlabeled Structures through Task Consistency Training for Versatile Medical Image Segmentation
arxiv.org·2d
📚Automata Learning
Emergent Social Dynamics of LLM Agents in the El Farol Bar Problem
arxiv.org·2d
🎮Verification Games