Our great sponsors

pie
The Pie language, which accompanies The Little Typer by Friedman and Christiansen (by thelittletyper)
The computer scientists who are figuring these things out are constructing the tools that software engineers need; just like the mathematicians who developed calculus and the physicists who extended Newtonian mechanics into something engineers can apply. Just as an engineer's tools and materials are calculus and physics (not hammers or concrete and steel), a software engineer's tools and materials are proofassistants, category theory, linear polarized logic, and dependent type theory (not the Rust programming language or the UNIX platform).

The computer scientists who are figuring these things out are constructing the tools that software engineers need; just like the mathematicians who developed calculus and the physicists who extended Newtonian mechanics into something engineers can apply. Just as an engineer's tools and materials are calculus and physics (not hammers or concrete and steel), a software engineer's tools and materials are proofassistants, category theory, linear polarized logic, and dependent type theory (not the Rust programming language or the UNIX platform).

InfluxDB
Access the most powerful time series database as a service. Ingest, store, & analyze all types of time series data in a fullymanaged, purposebuilt database. Keep data forever with lowcost storage and superior data compression.

coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semiinteractive development of machinechecked proofs.
The computer scientists who are figuring these things out are constructing the tools that software engineers need; just like the mathematicians who developed calculus and the physicists who extended Newtonian mechanics into something engineers can apply. Just as an engineer's tools and materials are calculus and physics (not hammers or concrete and steel), a software engineer's tools and materials are proofassistants, category theory, linear polarized logic, and dependent type theory (not the Rust programming language or the UNIX platform).