bao 🪼
baolei.org
bao 🪼
@baolei.org
iOS engineer @ notion.com | photos @ photos.baolei.org | maker of draw.theiosapp.com favephotos.theiosapp.com and cipher.lei.fyi
I signed up with your code. Do you also use Notion mail’s AI labelers? I’m curious how things will work out when two AIs were independently trying to triage emails.
November 3, 2025 at 12:10 AM
I’m on a 121 day streak right now and just learned すみません recently, should I uninstall the app now? I’m more attached to the characters in the world of Duo than the learning 😂
May 6, 2025 at 4:46 AM
Beyond inspecting network traffic, this tool also saved us from this issue: developer.apple.com/forums/threa...
Network Connection Issue on Xcode … | Apple Developer Forums
developer.apple.com
April 30, 2025 at 3:57 AM
Sorry if I missed it, what is the time zone for the listed time: 9am 2/14?
February 8, 2025 at 7:39 PM
Yes you can add a page to a database with a title and body (plain text). Currently Notion shortcut doesn’t support setting properties yet, but you can use Notion API in Shortcuts to do so.
January 3, 2025 at 4:03 AM
Though I probably don’t qualify as fluent, articulate language user. Just trying to sell iOS shortcuts as a solution for the data entry side of the problem, they’re so integrated that you can trigger them from Siri, control center, action button, share sheet, etc.
January 3, 2025 at 3:13 AM
I just made an iOS shortcut recently which takes a word, lets ChatGPT generates its meaning, pronunciation, etc and saves to Notion. Then I just look at that page from time to time and remove words I memorized. It’s new and idk how effective it is yet. iOS shortcuts are very versatile/easy to access
January 3, 2025 at 3:03 AM
Thanks to @val.town so this type of small projects can be built very quickly.

It’s a quick hack so probably not super robust yet 😅
January 2, 2025 at 5:23 AM
In the mean time before we drop iOS 17 support we can use LockIsolated from this library: github.com/pointfreeco/...
swift-concurrency-extras/Sources/ConcurrencyExtras/LockIsolated.swift at main · pointfreeco/swift-concurrency-extras
Useful, testable Swift concurrency. Contribute to pointfreeco/swift-concurrency-extras development by creating an account on GitHub.
github.com
December 5, 2024 at 5:12 AM
I use it to learn new topics and create notes. You can type a question, then ai button -> continue to write. Similar to asking ChatGPT but better organized than chat threads, e.g. you can edit and format the answers, the pages can be organized in a database with tags & link to other pages etc
December 1, 2024 at 6:43 PM
thanks @jdan.me for inspirations
December 1, 2024 at 7:56 AM