WorkOS - The modern identity platform for B2B SaaS
sponsored workos.com
InfluxDB - Power Real-Time Data Analytics at Scale
Get real-time insights from all types of time series data with InfluxDB. Inge
Electronic versions of these documents allow you to quickly get the information you need and print only the pages you want. The Intel® 64 and IA-32 architectures software developer's manuals are now a
how-i-use-tunefs
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
2024-04-09 (Tue)
#1 Coq の P -> False を ~P に変える
先に結論を書いておく: change (~ P) もしくは change (?p -> False) with (~ p) を使えばよい
Coq で、~P というのは、not P の notation である。
not は以下のように定義される。
Definition not := fun A : Pro
Posted by Gabriella Gonzalez at 4:47 AM 3 comments:
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