▽Awesome Haskell ●02/21 16:49 CodeRabbit: AI Code Reviews for Developersfeatured coderabbit.aiNutrient – The #1 PDF SDK Library, trusted by 10K+ developersOther PDF SDKs promise a lot - then break. Laggy scrolling, poor mobile UX, tons of bugs, and lack of support cost you endless frustrations. Nutrient’s SDK handles billion-page workloads - so you don’t have to debug PDFs. Used by ~1 billion end users in more than 150 diff
▽Haskell Weekly ●02/21 14:52 Issue 460 of the newsletter was published on 2025-02-20. Browse the archives for older issues.The content on this site is licensed under a Creative Commons Attribution 4.0 International license. The code that powers this site is available on GitHub. Powered by version 0.2025.2.20.
▽Daniel Gratzer ●02/05 12:52 I am an assistant professor in the Department of Computer Science at AarhusUniversity in the Logic and Semantics group. Have a look at my cv or this photo.New preprint: the Yoneda embedding in simplicial type theory.Unifying cubical and multimodal type theory has been accepted to LMCS.New preprint: Idempotent resources in separation logic.
