FeedBagel
Search RSS feeds, sites, pages...
⌘
K
🥯
Today's special
·
Indie design writing, lightly toasted
Library
✦
RSS Reader
✦
Browse
✦
API
Open menu
All Topics
Technology
Design
Programming
Science
News
Gaming
Entertainment
Business
Finance
Sports
Health
Food
Travel
Art
Music
Books
Education
Politics
Personal
No algorithm
✦
Less AI slop
✦
Reader-first
✦
just RSS
✦
Pro-human
✦
Indie writers
✦
Real journalism
✦
just RSS
✦
Open web
✦
Chronological
✦
Hand toasted
✦
just RSS
✦
No algorithm
✦
Less AI slop
✦
Reader-first
✦
just RSS
✦
Pro-human
✦
Indie writers
✦
Real journalism
✦
just RSS
✦
Open web
✦
Chronological
✦
Hand toasted
✦
just RSS
✦
No algorithm. No AI slop. No ads. Just RSS. Pro-human. Indie writers. Real journalism. Open web. Chronological. Hand toasted.
Qian Cheng, Ruize Tang, Emilie Ma, Finn Hackett, Peiyang He, Yiming Su, Ivan Beschastnikh, Yu Huang, Xiaoxing Ma, and Tianyin Xu
1 article found across 1 feed
ACM SIGOPS
Appears on
Hacker News
Hacker News: Front Page
Articles
1
98
Evaluating LLMs for TLA+ System Modeling: The Specula Team's Experience with Claude and Raft
Insight
ACM SIGOPS
23d ago
Qian Cheng, Ruize Tang, Emilie Ma, Finn Hackett, Peiyang He, Yiming Su, Ivan Beschastnikh, Yu Huang, Xiaoxing Ma, and Tianyin Xu: Articles | FeedBagel
