🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🧩 Separation Logic
Spatial Reasoning, Memory Safety, Program Verification, Infer
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
As a Rails dev, one thing you MUST know is Turbo Prefetching
rubycademy.com
·
1d
·
Discuss:
r/programming
📊
Runtime Verification
Pseudo-Scientific Jargon Generator
davidbarrow.com
·
16h
·
Discuss:
Hacker News
🐫
OCaml
Can you say no to your doctor using an AI scribe?
theconversation.com
·
1d
·
Discuss:
Hacker News
📚
Automata Learning
Testing Claude’s Native Integration with Reminders and Calendar on iOS and iPadOS
macstories.net
·
20h
·
Discuss:
Hacker News
🍎
Apple
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 Divine Drudgery of Chores and Art
sothismedias.com
·
1h
·
Discuss:
Hacker News
🩹
Self-Healing Systems
The argument against the existence of a Theory of Everything
bigthink.com
·
2d
·
Discuss:
Hacker News
➡️
Category Theory
Final Message: "Before the Battery Dies"
news.ycombinator.com
·
20h
·
Discuss:
Hacker News
🍎
Apple
Under the Hood of Fuzzy Search: Building a Search Engine 15 times fuzzier than Lucene
andrewjsaid.com
·
4d
·
Discuss:
Hacker News
,
r/programming
🔄
Finite State Machines
Knowledge and memory
robinsloan.com
·
5d
·
Discuss:
Hacker News
📚
Automata Learning
A GitHub Co-Founder's Next Commit
opensourcepledge.com
·
14h
·
Discuss:
Hacker News
🍏
Darwin
Saying “for AI safety research” made models refuse more on a harmless task
lesswrong.com
·
2d
📚
Automata Learning
Good government
lesswrong.com
·
21h
🖥️
Self-hosted Infrastructure
Chatbot To Help Patients Understand Their Health
arxiv.org
·
2d
📚
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
·
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
·
5d
·
Discuss:
Hacker News
📚
Automata Learning
Exploiting Unlabeled Structures through Task Consistency Training for Versatile Medical Image Segmentation
arxiv.org
·
3d
📚
Automata Learning
ACE-RL: Adaptive Constraint-Enhanced Reward for Long-form Generation Reinforcement Learning
arxiv.org
·
3d
🎮
Verification Games
Loading...
Loading more...
« Page 22
•
Page 24 »