41554 blogs · [ { "id": "01a0872a-23ed-727a-af0f-c26bbd1a6af8", "title": "How to effectively read a systems paper", "url": "https://angelhof.github.io/2024/08/21/how_to_read_a_systems_paper.html", "published_at": "2024-08-21T00:00:00+00:00" }, { "id": "01a0872a-23ed-727a-af0f-c26bbde1ba69", "title": "Using try to make Copilot command suggestion a bit saner", "url": "https://angelhof.github.io/2023/01/09/try-on-gh-copilot.html", "published_at": "2023-01-09T00:00:00+00:00" }, { "id": "01a0872a-23ed-727a-af0f-c26bbde457f0", "title": "A preliminary proposal on an explicit faculty mentoring role", "url": "https://angelhof.github.io/2021/06/10/faculty_mentors.html", "published_at": "2021-06-10T00:00:00+00:00" }, { "id": "01a0872a-23ed-727a-af0f-c26bbe0107d3", "title": "Advice for prospective PhD students on deciding which program to join", "url": "https://angelhof.github.io/2020/07/05/advice_for_prospective_phd_students.html", "published_at": "2020-07-05T00:00:00+00:00" }, { "id": "01a0872a-23ed-727a-af0f-c26bbea01f22", "title": "Discussing “An optimality theory of concurrency control for databases” by Kung & Papadimitriou", "url": "https://angelhof.github.io/2019/03/12/an_optimality_theory_of_concurrency_control_for_databases.html", "published_at": "2019-03-12T00:00:00+00:00" }, { "id": "01a0872a-23ed-727a-af0f-c26bbf02f189", "title": "ICFP Programming Contest 2018", "url": "https://angelhof.github.io/2018/10/23/icfp2018_programming_competition.html", "published_at": "2018-10-23T00:00:00+00:00" }, { "id": "01a0872a-23ed-727a-af0f-c26bbf65cf16", "title": "Solving Problems using Monads 1 - Reachability", "url": "https://angelhof.github.io/2017/10/20/solvingProblemsWithMonads1reachability.html", "published_at": "2017-10-20T00:00:00+00:00" }, { "id": "01a0872a-23ed-727a-af0f-c26bc00fbaa8", "title": "Thinking back on Google Summer of Code 2017", "url": "https://angelhof.github.io/2017/10/18/gsoc2017.html", "published_at": "2017-10-18T00:00:00+00:00" } ] posts Claim your blog

Blog · corpus.blog/blogs/angelhof.github.io/posts