Pseudo-Scientific Jargon Generator
davidbarrow.com·3h·
Discuss: Hacker News
🐫OCaml
Illustrating Git Diff — And Master It
elye-project.medium.com·15h·
Discuss: r/programming
✓Automated Theorem Proving
Zero Trust in Reverse: Why the Definition of Zero Trust Is Only Half Full
threatresearch.ext.hp.com·1h·
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
Microscopic robots navigate ‘artificial spacetimes’
science.org·1d·
Discuss: Hacker News
🩹Self-Healing Systems
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·7h·
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
A GitHub Co-Founder's Next Commit
opensourcepledge.com·1h·
Discuss: Hacker News
🍏Darwin
Improved Classification of Nitrogen Stress Severity in Plants Under Combined Stress Conditions Using Spatio-Temporal Deep Learning Framework
arxiv.org·1d
🧩Parser Combinators
Saying “for AI safety research” made models refuse more on a harmless task
lesswrong.com·2d
📚Automata Learning
Good government
lesswrong.com·8h
🖥️Self-hosted Infrastructure
Chatbot To Help Patients Understand Their Health
arxiv.org·1d
📚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
Scaling behavior of large language models in emotional safety classification across sizes and tasks
arxiv.org·2d
🧩Parser Combinators