corpus.blog
41554 blogs · [ { "id": "01a08776-9797-7236-9eb3-a0f86e932e15", "title": "Ed’s parental leave: Week 3 (Feb 23) - Cursor on an unfamiliar project", "url": "https://ezyang.tumblr.com/post/776331868164571136", "published_at": "2025-02-24T03:29:23+00:00" }, { "id": "01a08776-9797-7236-9eb3-a0f86eee2ac3", "title": "Ed’s parental leave: Week 2 - TTS", "url": "https://ezyang.tumblr.com/post/776327838007787520", "published_at": "2025-02-24T02:25:20+00:00" }, { "id": "01a08776-9797-7236-9eb3-a0f86fee140b", "title": "Ed’s parental leave: Day 5 (Feb 8) - Draw the rest of the owl", "url": "https://ezyang.tumblr.com/post/774978097460248576", "published_at": "2025-02-09T04:51:47+00:00" }, { "id": "01a08776-9797-7236-9eb3-a0f86ff1f2fc", "title": "Ed’s parental leave: Day 4 (Feb 7) - Ed hot reloads a car", "url": "https://ezyang.tumblr.com/post/774884713547612160", "published_at": "2025-02-08T04:07:29+00:00" }, { "id": "01a08776-9797-7236-9eb3-a0f8707dd848", "title": "Ed’s parental leave: Day 3 (Feb 5) - Ed does reading", "url": "https://ezyang.tumblr.com/post/774702927896035328", "published_at": "2025-02-06T03:58:05+00:00" }, { "id": "01a08776-9797-7236-9eb3-a0f8710c2a1f", "title": "Ed’s parental leave: Day 2 (Feb 4) - Speedrun advanced Cursor", "url": "https://ezyang.tumblr.com/post/774615939357491200", "published_at": "2025-02-05T04:55:26+00:00" }, { "id": "01a08776-9797-7236-9eb3-a0f8716512f8", "title": "Ed’s parental leave: Day 1 (Feb 3) - Let’s try Cursor", "url": "https://ezyang.tumblr.com/post/774523563684298752", "published_at": "2025-02-04T04:27:10+00:00" }, { "id": "01a08776-9797-7236-9eb3-a0f871c893b9", "title": "NYC apartment hunt surprises", "url": "https://ezyang.tumblr.com/post/146418465052", "published_at": "2016-06-24T19:53:23+00:00" }, { "id": "01a08776-9797-7236-9eb3-a0f8720eb0d4", "title": "Why RMC can’t be defined coinductively", "url": "https://ezyang.tumblr.com/post/146124297712", "published_at": "2016-06-18T21:29:12+00:00" }, { "id": "01a08776-9797-7236-9eb3-a0f873060f12", "title": "Farmer - Equational reasoning in HERMIT (Haskell15)", "url": "https://ezyang.tumblr.com/post/128273259947", "published_at": "2015-09-03T17:57:28+00:00" }, { "id": "01a08776-9797-7236-9eb3-a0f87327af64", "title": "Adam Gundry - A Typechecker Plugin for Units of Measure (Haskell15)", "url": "https://ezyang.tumblr.com/post/128270016957", "published_at": "2015-09-03T16:58:02+00:00" }, { "id": "01a08776-9797-7236-9eb3-a0f8739d237c", "title": "Iavor Daitchki - Improivng Haskell Types with SMT (Haskell15)", "url": "https://ezyang.tumblr.com/post/128268520792", "published_at": "2015-09-03T16:30:04+00:00" }, { "id": "01a08776-9797-7236-9eb3-a0f873fe69a8", "title": "George Karachalias - GADTs meet their match (ICFP15)", "url": "https://ezyang.tumblr.com/post/128223714412", "published_at": "2015-09-03T00:34:22+00:00" }, { "id": "01a08776-9797-7236-9eb3-a0f8744fec96", "title": "Practical SMT Based Type Error Localization (ICFP15)", "url": "https://ezyang.tumblr.com/post/128222345927", "published_at": "2015-09-03T00:12:01+00:00" }, { "id": "01a08776-9797-7236-9eb3-a0f874779006", "title": "Bahr - Certified symbolic management of financial multi-party contracts (ICFP15)", "url": "https://ezyang.tumblr.com/post/128199449752", "published_at": "2015-09-02T18:11:10+00:00" }, { "id": "01a08776-9797-7236-9eb3-a0f874b13afb", "title": "Atze - FRPNow! (ICFP15)", "url": "https://ezyang.tumblr.com/post/128198269942", "published_at": "2015-09-02T17:50:19+00:00" }, { "id": "01a08776-9797-7236-9eb3-a0f874f9db40", "title": "Ryan Newton - Adaptive Lock-Free Maps: Purely-Functional to Scalable (ICFP15)", "url": "https://ezyang.tumblr.com/post/128135697747", "published_at": "2015-09-01T21:41:10+00:00" }, { "id": "01a08776-9797-7236-9eb3-a0f875e64b38", "title": "Matthieu Sozeau - A Unification Algorithm for Coq Featuring Universe Polymorphism and Overloading (ICFP15)", "url": "https://ezyang.tumblr.com/post/128122560862", "published_at": "2015-09-01T18:17:34+00:00" }, { "id": "01a08776-9797-7236-9eb3-a0f87653aa99", "title": "Derek Dreyer - Pilsner: A Compositionally Verified Compiler for a Higher-Order Imperative Language (ICFP15)", "url": "https://ezyang.tumblr.com/post/128121267417", "published_at": "2015-09-01T17:54:38+00:00" }, { "id": "01a08776-9797-7236-9eb3-a0f8773eb038", "title": "Mary Sheeran - Hardware Design and Functional Programming: Still Interesting After All These Years", "url": "https://ezyang.tumblr.com/post/128118344917", "published_at": "2015-09-01T17:03:08+00:00" } ] posts Claim your blog
Back to ezyang.tumblr.com
Blog · corpus.blog/blogs/ezyang.tumblr.com/posts

ezyang.tumblr.com

ezyang.tumblr.com

2025

Ed’s parental leave: Week 3 (Feb 23) - Cursor on an unfamiliar projectoriginal ↗
24 Feb 2025
Ed’s parental leave: Week 2 - TTSoriginal ↗
24 Feb 2025
Ed’s parental leave: Day 5 (Feb 8) - Draw the rest of the owloriginal ↗
9 Feb 2025
Ed’s parental leave: Day 4 (Feb 7) - Ed hot reloads a caroriginal ↗
8 Feb 2025
Ed’s parental leave: Day 3 (Feb 5) - Ed does readingoriginal ↗
6 Feb 2025
Ed’s parental leave: Day 2 (Feb 4) - Speedrun advanced Cursororiginal ↗
5 Feb 2025
Ed’s parental leave: Day 1 (Feb 3) - Let’s try Cursororiginal ↗
4 Feb 2025

2016

NYC apartment hunt surprisesoriginal ↗
24 Jun 2016
Why RMC can’t be defined coinductivelyoriginal ↗
18 Jun 2016

2015

Farmer - Equational reasoning in HERMIT (Haskell15)original ↗
3 Sept 2015
Adam Gundry - A Typechecker Plugin for Units of Measure (Haskell15)original ↗
3 Sept 2015
Iavor Daitchki - Improivng Haskell Types with SMT (Haskell15)original ↗
3 Sept 2015
George Karachalias - GADTs meet their match (ICFP15)original ↗
3 Sept 2015
Practical SMT Based Type Error Localization (ICFP15)original ↗
3 Sept 2015
Bahr - Certified symbolic management of financial multi-party contracts (ICFP15)original ↗
2 Sept 2015
Atze - FRPNow! (ICFP15)original ↗
2 Sept 2015
Ryan Newton - Adaptive Lock-Free Maps: Purely-Functional to Scalable (ICFP15)original ↗
1 Sept 2015
Matthieu Sozeau - A Unification Algorithm for Coq Featuring Universe Polymorphism and Overloading (ICFP15)original ↗
1 Sept 2015
Derek Dreyer - Pilsner: A Compositionally Verified Compiler for a Higher-Order Imperative Language (ICFP15)original ↗
1 Sept 2015
Mary Sheeran - Hardware Design and Functional Programming: Still Interesting After All These Yearsoriginal ↗
1 Sept 2015