pull down & release to refresh
Flag

Sieves and Sheaves

November 16, 2024 · Permalink · 1 minute read
Flag

Covering Sieves

October 31, 2024 · Permalink · 1 minute read
Flag

Sheaves as Virtual Objects

October 24, 2024 · Permalink · 1 minute read
Flag

Coverages and Sites

October 7, 2024 · Permalink · 1 minute read
Flag

Sheaves and Topology

August 18, 2024 · Permalink · 1 minute read
Flag

Presheaves and Topology

August 7, 2024 · Permalink · 1 minute read
Flag

Topology as a Dietary Choice

July 12, 2024 · Permalink · 1 minute read
Flag

Linear Lenses in Haskell

February 7, 2024 · Permalink · 1 minute read
Flag

Exercise in Coherence

September 19, 2023 · Permalink · 1 minute read
Advertisement
Flag

Co-Presheaf Optics

December 29, 2021 · Permalink · 1 minute read
Flag

Symmetries and Redundancies

December 20, 2021 · Permalink · 1 minute read
Flag

Polynomial Lens in Idris

December 9, 2021 · Permalink · 1 minute read
Flag

PolyLens

December 7, 2021 · Permalink · 1 minute read
Flag

Actegories and Lenses

December 6, 2021 · Permalink · 1 minute read
Flag

Dependent Optics

September 4, 2021 · Permalink · 1 minute read
Subscribe to our newsletter!

Get the best programming articles, videos, and podcasts in your inbox every monday and thursday!

Connect with: GitHub · Bitbucket · GitLab
Refine entries by your stored tags: