Functions and Definitions
lean-lang.org/functional_programming_in_lean/Getting-to-Know-Lean/Functions-and-Definitions/
Jan 13, 2026
1
Methods - The Rust Programming Language
doc.rust-lang.org/book/ch05-03-method-syntax.html
Dec 27, 2025
4
An Example Program Using Structs - The Rust Programming Language
doc.rust-lang.org/book/ch05-02-example-structs.html
Dec 27, 2025
1
Defining and Instantiating Structs - The Rust Programming Language
doc.rust-lang.org/book/ch05-01-defining-structs.html
Dec 27, 2025
2
@levelsio on X: "So I bought over $1M in Google today Kinda crazy but also not so crazy I've been the biggest Google hater for years, it was completely mismanaged, destroyed by politics and lack of any leadership, fumbled inventing Transformers etc. Then Sergey returned and suddenly Google is https://t.co/739wVi5sEn" / X
x.com/levelsio/status/2001434896892629425
Dec 25, 2025
2
@levelsio (@levelsio) / X
x.com/levelsio
Dec 25, 2025
1
(15) Feed | LinkedIn
www.linkedin.com/feed/?trk=guest_homepage-basic_google-one-tap-submit
Nov 22, 2025
1
NEXUS Enrollment on Arrival
www.cbp.gov/travel/trusted-traveler-programs/nexus/nexus-enrollment-arrival
Nov 15, 2025
2
Preclearance
www.cbp.gov/travel/preclearance
Nov 15, 2025
1
personal | Chelsea Zou
bosonphoton.github.io/personal/
Nov 9, 2025
1
Claude
claude.ai/chat/bff762cf-1411-4513-b01b-913b58b0aaf1
Nov 5, 2025
16
Recall Cards
app.getrecall.ai/item/0061494e-c4e1-449c-9d58-b796c21bd519
Nov 5, 2025
5
Good gym in SF : r/AskSF
www.reddit.com/r/AskSF/comments/1aw0tcd/good_gym_in_sf/
Nov 4, 2025
1
Mandy Lu (@Mandy_SLu) / X
x.com/Mandy_SLu
Nov 2, 2025
2
Why is society so disconnected?
blog.solarissociety.org/p/why-is-society-so-disconnected
Nov 2, 2025
5
How to Live Near Friends (SF edition)
blog.solarissociety.org/p/how-to-live-near-friends-sf-edition
Nov 2, 2025
5
Waterloo teams among the top 15 at 2022 East Central NA Regional ICPC | Cheriton School of Computer Science | University of Waterloo
cs.uwaterloo.ca/computer-science/news/waterloo-teams-among-top-15-at-2022-east-central-na-regional-icpc
Oct 31, 2025
1
Google Chrome --headless mode
til.simonwillison.net/chrome/headless
Oct 30, 2025
1
Trial – Variable Fonts
v-fonts.com/licenses/trial
Oct 27, 2025
1
Why study math? Is it even useful?
mandyslu.substack.com/p/why-study-math-is-it-even-useful
Oct 27, 2025
2
srbhr/Resume-Matcher: Improve your resumes with Resume Matcher. Get insights, keyword suggestions and tune your resumes to job descriptions.
github.com/srbhr/Resume-Matcher
Oct 23, 2025
1
Transaction: b539d9122b428ddfb2a59b7dd696c805ef674912cdfce275151ee8467652a943
mempool.space/testnet/tx/b539d9122b428ddfb2a59b7dd696c805ef674912cdfce275151ee8467652a943
Oct 23, 2025
11
Co-op students make a big impact at Shopify | Waterloo News
uwaterloo.ca/news/co-op-students-make-big-impact-shopify
Oct 23, 2025
1
James Hamilton, MMath '97 | Mathematics | University of Waterloo
uwaterloo.ca/math/profiles/james-hamilton-mmath-97
Oct 21, 2025
1