bao 🪼
@lei.fyi
iOS engineer @ notion.com | photos @ lei.fyi/photos | maker of draw.theiosapp.com cipher.theiosapp.com fitness.theiosapp.com favephotos.theiosapp.com
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 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.
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
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 😂
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
Beyond inspecting network traffic, this tool also saved us from this issue: developer.apple.com/forums/threa...
A bumble bee searches for some nectar from Pride of Madeira #wildlifephotography
April 20, 2025 at 3:55 PM
A bumble bee searches for some nectar from Pride of Madeira #wildlifephotography
April 13, 2025 at 4:19 AM
April 13, 2025 at 3:35 AM
A duck spreading its wings.
🪽 🪶 #wildlifephotography
🪽 🪶 #wildlifephotography
March 30, 2025 at 6:58 AM
A duck spreading its wings.
🪽 🪶 #wildlifephotography
🪽 🪶 #wildlifephotography
Swimming turtle saying hello 🐢
#wildlife #animal #reptile #addHerper
Also I started making a bluesky based app related to animals. It’s fun but not sure if i can find enough time to get it to a state that’s worth publishing. The turtle kinda resembles the slow progress made there.
#wildlife #animal #reptile #addHerper
Also I started making a bluesky based app related to animals. It’s fun but not sure if i can find enough time to get it to a state that’s worth publishing. The turtle kinda resembles the slow progress made there.
March 30, 2025 at 6:51 AM
Swimming turtle saying hello 🐢
#wildlife #animal #reptile #addHerper
Also I started making a bluesky based app related to animals. It’s fun but not sure if i can find enough time to get it to a state that’s worth publishing. The turtle kinda resembles the slow progress made there.
#wildlife #animal #reptile #addHerper
Also I started making a bluesky based app related to animals. It’s fun but not sure if i can find enough time to get it to a state that’s worth publishing. The turtle kinda resembles the slow progress made there.
Wild turkeys and more photos at www.baolei.org/2025-02-15-S... 鳥 🪶
February 16, 2025 at 7:41 AM
Wild turkeys and more photos at www.baolei.org/2025-02-15-S... 鳥 🪶
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
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.
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
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.
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
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
Built a cipher game bao-cipher.web.val.run Just try to decode a letter substitution cipher as quick as you can. You can share the game link and compete against a friend.
Initially it’s for my kid to practice in a competition, but it’s kinda fun and now I just keep playing it.
Initially it’s for my kid to practice in a competition, but it’s kinda fun and now I just keep playing it.
January 2, 2025 at 5:21 AM
Built a cipher game bao-cipher.web.val.run Just try to decode a letter substitution cipher as quick as you can. You can share the game link and compete against a friend.
Initially it’s for my kid to practice in a competition, but it’s kinda fun and now I just keep playing it.
Initially it’s for my kid to practice in a competition, but it’s kinda fun and now I just keep playing it.
Reposted by bao 🪼
Got the opportunity to talk w Notion's founding mobile engineering team about the nitty-gritty details on how they do mobile development.
Learned so many interesting things.
Happened to record it, and so it's coming to the podcast as well for everyone else interested as well!
Learned so many interesting things.
Happened to record it, and so it's coming to the podcast as well for everyone else interested as well!
December 5, 2024 at 4:01 PM
Got the opportunity to talk w Notion's founding mobile engineering team about the nitty-gritty details on how they do mobile development.
Learned so many interesting things.
Happened to record it, and so it's coming to the podcast as well for everyone else interested as well!
Learned so many interesting things.
Happened to record it, and so it's coming to the podcast as well for everyone else interested as well!
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
In the mean time before we drop iOS 17 support we can use LockIsolated from this library: github.com/pointfreeco/...
Ravens in San Francisco #birds #鳥#birding
December 2, 2024 at 8:15 AM
Ravens in San Francisco #birds #鳥#birding
Egret and geese relaxing on the reflections of fall colors.
More photos from this afternoon: www.baolei.org/225-12-01-Va...
#birds
More photos from this afternoon: www.baolei.org/225-12-01-Va...
#birds
December 2, 2024 at 7:50 AM
Egret and geese relaxing on the reflections of fall colors.
More photos from this afternoon: www.baolei.org/225-12-01-Va...
#birds
More photos from this afternoon: www.baolei.org/225-12-01-Va...
#birds
Now there is a way to publish a @notion.com database to a calendar feed: just fork www.val.town/v/bao/notion... on @val.town and configure the token/database id.
I use #notion to run a community website which has an event calendar, and allowing people to subscribe the calendar feed is super nice
I use #notion to run a community website which has an event calendar, and allowing people to subscribe the calendar feed is super nice
@bao/notionDbCalendarFeed
Publishes a Notion database with a date property to a calendar feed. Create a Notion integration in http://notion.so/profile/integrations Go to the Notion database -> click ••• from top right -> Conne...
www.val.town
December 2, 2024 at 2:53 AM
Now there is a way to publish a @notion.com database to a calendar feed: just fork www.val.town/v/bao/notion... on @val.town and configure the token/database id.
I use #notion to run a community website which has an event calendar, and allowing people to subscribe the calendar feed is super nice
I use #notion to run a community website which has an event calendar, and allowing people to subscribe the calendar feed is super nice
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
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
Created my first val.town project which creates a RSS feed based on a public Notion database. If you use Notion to host your blog this might be useful.
#notion #valtown #notionsite
www.val.town/v/bao/notion...
#notion #valtown #notionsite
www.val.town/v/bao/notion...
December 1, 2024 at 7:53 AM
Created my first val.town project which creates a RSS feed based on a public Notion database. If you use Notion to host your blog this might be useful.
#notion #valtown #notionsite
www.val.town/v/bao/notion...
#notion #valtown #notionsite
www.val.town/v/bao/notion...