SaaSHub · Advertise
Issue 416 of the newsletter was published on 2024-04-18. Browse the archives for older issues.
The content on this site is licensed under a Creative Commons Attribution 4.0 International license. The
Posted by Gabriella Gonzalez at 4:47 AM 3 comments:
how-i-use-webcam-photos
The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
D. Gratzer, H. Gylterud, A. Mörtberg, E. Stenholm
2024
(PDF, Arxiv)
With best-in-class Jira integration, and built-in CI/CD, Bitbucket Cloud connects developer workflows from planning to incident management. Join millions of developers who choose to build on Bitbucket
I write articles, host a podcast, and since March 2022
serve in the National Guard of Ukraine.
I also used to maintain several open source
packages.
A Splendid Scala Journey
My heartfelt thoughts, reflections, and notes on my 15 year Scala journey, and on what's next for me
Open and close the navigation menu
Why Bitbucket
Features
CI/CD
Cloud Security
DevSecOps
Code review
Integrations
Jira Integration
Atlassian Open DevOps
Product Guide
Get Started
Brief overview of Bit
Platonic C# - Managing Referential Transparency through Unique Types
The idea of Platonic C# is to enforce referential transparency within the context of C#, by enforcing a set of rules around default