Stream: show and tell

Topic: daily summary

view this post on Zulip nandi (Feb 13 2026 at 10:36):

made a cron that runs daily to summarize the last 24 hours into a google doc https://docs.google.com/document/d/1AQAjSWG14B7nfoHnK3WY7cyNsW6-QGEmPjaAzl1sQno/edit?usp=sharing

view this post on Zulip Rick Hull (Feb 13 2026 at 13:30):

Awesome! My only suggestion would be a hosted html or markdown report instead of google docs -- github.io maybe? Also mention this is a summary of Zulip activity, not development activity or some other domain.

view this post on Zulip Steve Howell (Feb 16 2026 at 03:02):

I'm curious how you scrape the data. Are you using the Zulip REST API or something else?

view this post on Zulip Luke Boswell (Feb 16 2026 at 03:26):

He's possibly using this https://github.com/roc-lang/zulip-export

view this post on Zulip Steve Howell (Feb 16 2026 at 03:31):

Oh, ok, he's using the zulip-archive tool.

view this post on Zulip Luke Boswell (Feb 16 2026 at 03:34):

It's really great. I love spinning up Haiku or another LLM to help me quickly drill into past conversations and find discussions

view this post on Zulip Luke Boswell (Feb 16 2026 at 03:35):

I have it checked out locally

view this post on Zulip Steve Howell (Feb 16 2026 at 04:01):

Very cool. I actually worked on the tool back in the day: https://github.com/zulip/zulip-archive/commit/601255e3d09fe212f7c4e1b4439c01b05ceb2712

I kinda forgot that it existed.

view this post on Zulip Steve Howell (Feb 16 2026 at 04:03):

The Lean Prover team contributed the original version to Zulip while I was still on the team.

view this post on Zulip Luke Boswell (Feb 16 2026 at 04:31):

Thank you for your contribution :smile:

view this post on Zulip Steve Howell (Feb 16 2026 at 04:34):

You're welcome! I really didn't do a whole lot on that particular project, but it's always fun to hear how people use Zulip.

view this post on Zulip nandi (Feb 17 2026 at 22:11):

Rick Hull said:

Awesome! My only suggestion would be a hosted html or markdown report instead of google docs -- github.io maybe? Also mention this is a summary of Zulip activity, not development activity or some other domain.

i took your suggestion https://codegod100.github.io/zulip/summary/2026/02/16/zulip-summary.html

view this post on Zulip nandi (Feb 17 2026 at 22:19):

Steve Howell said:

The Lean Prover team contributed the original version to Zulip while I was still on the team.

Fan of the lean solver. Ive been trying to prove Riemann Hypothesis as a learning adventure

view this post on Zulip Steve Howell (Feb 17 2026 at 22:53):

Good luck!

Last updated: Feb 20 2026 at 12:27 UTC