41554 blogs · [ { "id": "01a087be-6604-7346-957a-906d929f4547", "title": "Paper Statistics with TimeTracker", "url": "https://pavpanchekha.com/blog/paper-time-stats.html", "published_at": "2017-09-03T00:00:00+00:00" }, { "id": "01a087be-6604-7346-957a-906d9304c347", "title": "Shadow Icons with CSS", "url": "https://pavpanchekha.com/blog/shadow-icons.html", "published_at": "2017-05-07T00:00:00+00:00" }, { "id": "01a087be-6604-7346-957a-906d99d00460", "title": "First-order Logic is a Modal Logic", "url": "https://pavpanchekha.com/blog/modal-first-order.html", "published_at": "2017-04-03T00:00:00+00:00" }, { "id": "01a087be-6604-7346-957a-906d93bdfe46", "title": "How CSS Floats Work", "url": "https://pavpanchekha.com/blog/css-floats.html", "published_at": "2017-03-05T00:00:00+00:00" }, { "id": "01a087be-6604-7346-957a-906d94b7a289", "title": "Multi-command-line in Racket", "url": "https://pavpanchekha.com/blog/multi-command-line.html", "published_at": "2017-02-19T00:00:00+00:00" }, { "id": "01a087be-6604-7346-957a-906d95ad08f9", "title": "Grammars in Racket", "url": "https://pavpanchekha.com/blog/define-by-match.html", "published_at": "2017-01-29T00:00:00+00:00" }, { "id": "01a087be-6604-7346-957a-906d9608f788", "title": "How Herbie Happened", "url": "https://pavpanchekha.com/blog/how-herbie.html", "published_at": "2017-01-03T00:00:00+00:00" }, { "id": "01a087be-6604-7346-957a-906d9696da75", "title": "Bimodal logic", "url": "https://pavpanchekha.com/blog/bimodal.html", "published_at": "2016-10-24T00:00:00+00:00" }, { "id": "01a087be-6604-7346-957a-906d96d6c059", "title": "Rational Rationality", "url": "https://pavpanchekha.com/blog/rational-rationality.html", "published_at": "2016-10-20T00:00:00+00:00" }, { "id": "01a087be-6604-7346-957a-906d97aeffe8", "title": "Models for Modal Logic", "url": "https://pavpanchekha.com/blog/modal-models.html", "published_at": "2016-04-14T00:00:00+00:00" }, { "id": "01a087be-6604-7346-957a-906d982f1892", "title": "What is Modal Logic?", "url": "https://pavpanchekha.com/blog/intro-modal-logic.html", "published_at": "2016-04-14T00:00:00+00:00" }, { "id": "01a087be-6604-7346-957a-906d98d271bb", "title": "Solving the Prisoners’ Dilemma", "url": "https://pavpanchekha.com/blog/solving-prisoners-dilemma.html", "published_at": "2016-04-10T00:00:00+00:00" }, { "id": "01a087be-6604-7346-957a-906d9a011f3d", "title": "Designing the PLSE logo", "url": "https://pavpanchekha.com/blog/plse-logo.html", "published_at": "2016-01-29T00:00:00+00:00" }, { "id": "01a087be-6604-7346-957a-906d90810a49", "title": "Modularity for Verdi", "url": "https://pavpanchekha.com/blog/verdi-modularity.html", "published_at": "2015-12-20T00:00:00+00:00" }, { "id": "01a087be-6604-7346-957a-906d9aea132b", "title": "Quadrature in Bash", "url": "https://pavpanchekha.com/blog/integrate-sh.html", "published_at": "2015-10-25T00:00:00+00:00" }, { "id": "01a087be-6604-7346-957a-906d9b423ca6", "title": "Equal functions in ITT", "url": "https://pavpanchekha.com/blog/itt-equality.html", "published_at": "2015-09-07T00:00:00+00:00" }, { "id": "01a087be-6604-7346-957a-906d9bad8536", "title": "Well-Suited", "url": "https://pavpanchekha.com/blog/well-suited.html", "published_at": "2015-08-17T00:00:00+00:00" }, { "id": "01a087be-6604-7346-957a-906d9bddb694", "title": "WIP: Refinement in Mathematics", "url": "https://pavpanchekha.com/blog/math-refinement.html", "published_at": "2015-06-26T00:00:00+00:00" }, { "id": "01a087be-6604-7346-957a-906d9c9f566e", "title": "Zippers, Part 4: Multi-Zippers", "url": "https://pavpanchekha.com/blog/zippers/multi-zippers.html", "published_at": "2015-06-21T00:00:00+00:00" }, { "id": "01a087be-6604-7346-957a-906d9cbdbafc", "title": "Models from Models", "url": "https://pavpanchekha.com/blog/model-from-model.html", "published_at": "2015-06-18T00:00:00+00:00" }, { "id": "01a087be-6604-7346-957a-906d9ce9871a", "title": "Game-theoretic Protesters", "url": "https://pavpanchekha.com/blog/game-theory-protest.html", "published_at": "2015-06-06T00:00:00+00:00" }, { "id": "01a087be-6604-7346-957a-906d9d62fa5f", "title": "Pedestrian Statistics", "url": "https://pavpanchekha.com/blog/stats1.html", "published_at": "2015-05-17T00:00:00+00:00" }, { "id": "01a087be-6604-7346-957a-906d9e16375c", "title": "Logarithms of Taylor Expansions", "url": "https://pavpanchekha.com/blog/taylor-log.html", "published_at": "2014-12-29T00:00:00+00:00" }, { "id": "01a087be-6604-7346-957a-906d9e1e4bca", "title": "Hyperbolic sines in math.js", "url": "https://pavpanchekha.com/blog/mathjs-series.html", "published_at": "2014-12-20T00:00:00+00:00" }, { "id": "01a087be-6604-7346-957a-906d9ec8ebcc", "title": "Taylor Expansions of Taylor Expansions", "url": "https://pavpanchekha.com/blog/taylor-exp.html", "published_at": "2014-09-14T00:00:00+00:00" }, { "id": "01a087be-6604-7346-957a-906d9f2234d7", "title": "Arbitrary Precision, not Arbitrary Accuracy", "url": "https://pavpanchekha.com/blog/arbitrary-precision.html", "published_at": "2014-08-24T00:00:00+00:00" }, { "id": "01a087be-6604-7346-957a-906da0213812", "title": "Complex Square Roots in math.js", "url": "https://pavpanchekha.com/blog/casio-mathjs.html", "published_at": "2014-08-18T00:00:00+00:00" }, { "id": "01a087be-6604-7346-957a-906da0a81a39", "title": "The Eigenvalue Game", "url": "https://pavpanchekha.com/blog/eig.html", "published_at": "2014-07-22T00:00:00+00:00" }, { "id": "01a087be-6604-7346-957a-906da18f3ca3", "title": "Paper Statistics with Git", "url": "https://pavpanchekha.com/blog/paper-section-stats.html", "published_at": "2014-07-19T00:00:00+00:00" }, { "id": "01a087be-6604-7346-957a-906da25d2dfd", "title": "Defining our Logic", "url": "https://pavpanchekha.com/blog/models-props/logic.html", "published_at": "2014-07-19T00:00:00+00:00" }, { "id": "01a087be-6604-7346-957a-906da2f85231", "title": "What is a Model?", "url": "https://pavpanchekha.com/blog/models-props/intro.html", "published_at": "2014-07-12T00:00:00+00:00" }, { "id": "01a087be-6604-7346-957a-906da3514472", "title": "Floating Point Guarantees", "url": "https://pavpanchekha.com/blog/fp-guarantees.html", "published_at": "2014-04-05T00:00:00+00:00" }, { "id": "01a087be-6604-7346-957a-906da4ade079", "title": "Tree Lookups", "url": "https://pavpanchekha.com/blog/age-aware/tree.html", "published_at": "2014-02-27T00:00:00+00:00" }, { "id": "01a087be-6604-7346-957a-906da407a91c", "title": "Major Key", "url": "https://pavpanchekha.com/blog/major-key.html", "published_at": "2014-02-20T00:00:00+00:00" }, { "id": "01a087be-6604-7346-957a-906da5a704d0", "title": "Age-aware Array Search", "url": "https://pavpanchekha.com/blog/age-aware/array.html", "published_at": "2014-02-20T00:00:00+00:00" }, { "id": "01a087be-6604-7346-957a-906da66bafc3", "title": "Fixed Points, Part 4: Stability", "url": "https://pavpanchekha.com/blog/fixed-points/stability.html", "published_at": "2014-02-19T00:00:00+00:00" }, { "id": "01a087be-6604-7346-957a-906da6e4be8c", "title": "Stream Fuse Carefully", "url": "https://pavpanchekha.com/blog/stream-fusion.html", "published_at": "2014-02-11T00:00:00+00:00" }, { "id": "01a087be-6604-7346-957a-906da7011e94", "title": "Plotting Functions in D3", "url": "https://pavpanchekha.com/blog/plotting-d3.html", "published_at": "2014-02-11T00:00:00+00:00" }, { "id": "01a087be-6604-7346-957a-906da73fc6c7", "title": "Pairs in Hindley-Milner Languages", "url": "https://pavpanchekha.com/blog/pair-types.html", "published_at": "2014-02-01T00:00:00+00:00" }, { "id": "01a087be-6604-7346-957a-906da7d7a23e", "title": "Fixed Points, Part 3: Attraction and Orders", "url": "https://pavpanchekha.com/blog/fixed-points/attraction.html", "published_at": "2014-01-06T00:00:00+00:00" }, { "id": "01a087be-6604-7346-957a-906da7f5a20d", "title": "Fixed Points, Part 2: Fixed Behaviors", "url": "https://pavpanchekha.com/blog/fixed-points/behaviors.html", "published_at": "2013-12-28T00:00:00+00:00" }, { "id": "01a087be-6604-7346-957a-906da8b907ec", "title": "Fixed Points, Part 1: What is a Fixed Point?", "url": "https://pavpanchekha.com/blog/fixed-points/definition.html", "published_at": "2013-12-27T00:00:00+00:00" }, { "id": "01a087be-6604-7346-957a-906da936dc71", "title": "The Gaussian and the Sine", "url": "https://pavpanchekha.com/blog/gaussian-sine.html", "published_at": "2013-12-14T00:00:00+00:00" }, { "id": "01a087be-6604-7346-957a-906da9c44699", "title": "Tea Physics", "url": "https://pavpanchekha.com/blog/tea-physics.html", "published_at": "2013-11-23T00:00:00+00:00" }, { "id": "01a087be-6604-7346-957a-906daa1841fe", "title": "Xifed points", "url": "https://pavpanchekha.com/blog/xifed-points.html", "published_at": "2013-11-22T00:00:00+00:00" }, { "id": "01a087be-6605-70fd-8597-3573de7f3707", "title": "(call/cc call/cc) and friends", "url": "https://pavpanchekha.com/blog/callcc-trees.html", "published_at": "2013-11-21T00:00:00+00:00" }, { "id": "01a087be-6605-70fd-8597-3573df4eddc1", "title": "Engineering Taste", "url": "https://pavpanchekha.com/blog/taste.html", "published_at": "2013-10-14T00:00:00+00:00" }, { "id": "01a087be-6605-70fd-8597-3573dfd0e6af", "title": "Organizing Objects", "url": "https://pavpanchekha.com/blog/organization.html", "published_at": "2013-09-11T00:00:00+00:00" }, { "id": "01a087be-6605-70fd-8597-3573e00c104a", "title": "Algebraic Data Types in Scheme", "url": "https://pavpanchekha.com/blog/adtscm.html", "published_at": "2013-06-11T00:00:00+00:00" }, { "id": "01a087be-6605-70fd-8597-3573e0d9389d", "title": "Uniqode", "url": "https://pavpanchekha.com/blog/uniqode.html", "published_at": "2013-05-19T00:00:00+00:00" }, { "id": "01a087be-6605-70fd-8597-3573e118addc", "title": "Typing Analytics in Emacs", "url": "https://pavpanchekha.com/blog/emacs-keylogger.html", "published_at": "2012-12-18T00:00:00+00:00" }, { "id": "01a087be-6605-70fd-8597-3573e1aae5f0", "title": "Forward with Federated", "url": "https://pavpanchekha.com/blog/forward-federated.html", "published_at": "2012-10-04T00:00:00+00:00" }, { "id": "01a087be-6605-70fd-8597-3573e28c79e3", "title": "Package Management for the 21.1st Century", "url": "https://pavpanchekha.com/blog/package-manager.html", "published_at": "2012-09-09T00:00:00+00:00" }, { "id": "01a087be-6605-70fd-8597-3573e3812af2", "title": "The Law of Demeter, and a question of design", "url": "https://pavpanchekha.com/blog/demeter.html", "published_at": "2012-07-15T00:00:00+00:00" }, { "id": "01a087be-6605-70fd-8597-3573e3cb947d", "title": "The Levels of Concurrency", "url": "https://pavpanchekha.com/blog/concurrency.html", "published_at": "2012-04-14T00:00:00+00:00" }, { "id": "01a087be-6605-70fd-8597-3573e481fdf2", "title": "Time, Clocks, and an Implementation in Erlang", "url": "https://pavpanchekha.com/blog/time-clocks.html", "published_at": "2012-01-03T00:00:00+00:00" }, { "id": "01a087be-6605-70fd-8597-3573e49b0b04", "title": "Zippers, Part 3: Kiselyov Zippers", "url": "https://pavpanchekha.com/blog/zippers/kiselyov.html", "published_at": "2011-11-18T00:00:00+00:00" }, { "id": "01a087be-6605-70fd-8597-3573e527091a", "title": "Zippers, Part 2: Zippers as Derivatives", "url": "https://pavpanchekha.com/blog/zippers/derivative.html", "published_at": "2011-11-18T00:00:00+00:00" }, { "id": "01a087be-6605-70fd-8597-3573e5417c87", "title": "Zippers, Part 1: Huet Zippers", "url": "https://pavpanchekha.com/blog/zippers/huet.html", "published_at": "2011-11-18T00:00:00+00:00" }, { "id": "01a087be-6605-70fd-8597-3573e5f8f0cb", "title": "Injection is a Display-level Problem", "url": "https://pavpanchekha.com/blog/injection.html", "published_at": "2011-08-22T00:00:00+00:00" }, { "id": "01a087be-6605-70fd-8597-3573e6b73e35", "title": "Programming with Types", "url": "https://pavpanchekha.com/blog/with-types.html", "published_at": "2011-07-10T00:00:00+00:00" }, { "id": "01a087be-6605-70fd-8597-3573e6db7f3a", "title": "MIT Zephyr from Arch Linux", "url": "https://pavpanchekha.com/blog/mit-zephyr-arch.html", "published_at": "2011-05-14T00:00:00+00:00" }, { "id": "01a087be-6605-70fd-8597-3573e6e12b01", "title": "Using Org-mode to Publish a Web Site", "url": "https://pavpanchekha.com/blog/org-mode-publish.html", "published_at": "2011-05-14T00:00:00+00:00" }, { "id": "01a087be-6605-70fd-8597-3573e6f3ed20", "title": "Treaps: The Magical Awesome BBT", "url": "https://pavpanchekha.com/blog/treap.html", "published_at": "2011-05-14T00:00:00+00:00" }, { "id": "01a087be-6605-70fd-8597-3573e7bbc50b", "title": "Installing Ubuntu on LVM", "url": "https://pavpanchekha.com/blog/ubuntu-on-lvm.html", "published_at": "2011-05-14T00:00:00+00:00" }, { "id": "01a087be-6605-70fd-8597-3573e7cbeee0", "title": "Sequences, Series, and Recursion", "url": "https://pavpanchekha.com/blog/sequences.html", "published_at": "2011-05-14T00:00:00+00:00" }, { "id": "01a087be-6605-70fd-8597-3573e8bd28ab", "title": "How to Draw a Heart in Polar Coordinates", "url": "https://pavpanchekha.com/blog/heart-polar-coordinates.html", "published_at": "2011-05-14T00:00:00+00:00" }, { "id": "01a087be-6605-70fd-8597-3573e996147e", "title": "7919, 7853, and Li(x)", "url": "https://pavpanchekha.com/blog/li.html", "published_at": "2011-05-14T00:00:00+00:00" } ] posts Claim your blog

Back to pavpanchekha.com

Blog · corpus.blog/blogs/pavpanchekha.com/posts

pavpanchekha.com

pavpanchekha.com

2017

Paper Statistics with TimeTracker original ↗

3 Sept 2017

Shadow Icons with CSS original ↗

7 May 2017

First-order Logic is a Modal Logic original ↗

3 Apr 2017

How CSS Floats Work original ↗

5 Mar 2017

Multi-command-line in Racket original ↗

19 Feb 2017

Grammars in Racket original ↗

29 Jan 2017

How Herbie Happened original ↗

3 Jan 2017

2016

Bimodal logic original ↗

24 Oct 2016

Rational Rationality original ↗

20 Oct 2016

Models for Modal Logic original ↗

14 Apr 2016

What is Modal Logic?original ↗

14 Apr 2016

Solving the Prisoners’ Dilemma original ↗

10 Apr 2016

Designing the PLSE logo original ↗

29 Jan 2016

2015

Modularity for Verdi original ↗

20 Dec 2015

Quadrature in Bash original ↗

25 Oct 2015

Equal functions in ITT original ↗

7 Sept 2015

Well-Suited original ↗

17 Aug 2015

WIP: Refinement in Mathematics original ↗

26 Jun 2015

Zippers, Part 4: Multi-Zippers original ↗

21 Jun 2015

Models from Models original ↗

18 Jun 2015

Game-theoretic Protesters original ↗

6 Jun 2015

Pedestrian Statistics original ↗

17 May 2015

2014

Logarithms of Taylor Expansions original ↗

29 Dec 2014

Hyperbolic sines in math.js original ↗

20 Dec 2014

Taylor Expansions of Taylor Expansions original ↗

14 Sept 2014

Arbitrary Precision, not Arbitrary Accuracy original ↗

24 Aug 2014

Complex Square Roots in math.js original ↗

18 Aug 2014

The Eigenvalue Game original ↗

22 Jul 2014

Paper Statistics with Git original ↗

19 Jul 2014

Defining our Logic original ↗

19 Jul 2014

What is a Model?original ↗

12 Jul 2014

Floating Point Guarantees original ↗

5 Apr 2014

Tree Lookups original ↗

27 Feb 2014

Major Key original ↗

20 Feb 2014

Age-aware Array Search original ↗

20 Feb 2014

Fixed Points, Part 4: Stability original ↗

19 Feb 2014

Stream Fuse Carefully original ↗

11 Feb 2014

Plotting Functions in D3 original ↗

11 Feb 2014

Pairs in Hindley-Milner Languages original ↗

1 Feb 2014

Fixed Points, Part 3: Attraction and Orders original ↗

6 Jan 2014

2013

Fixed Points, Part 2: Fixed Behaviors original ↗

28 Dec 2013

Fixed Points, Part 1: What is a Fixed Point?original ↗

27 Dec 2013

The Gaussian and the Sine original ↗

14 Dec 2013

Tea Physics original ↗

23 Nov 2013

Xifed points original ↗

22 Nov 2013

(call/cc call/cc) and friends original ↗

21 Nov 2013

Engineering Taste original ↗

14 Oct 2013

Organizing Objects original ↗

11 Sept 2013

Algebraic Data Types in Scheme original ↗

11 Jun 2013

Uniqode original ↗

19 May 2013

2012

Typing Analytics in Emacs original ↗

18 Dec 2012

Forward with Federated original ↗

4 Oct 2012

Package Management for the 21.1st Century original ↗

9 Sept 2012

The Law of Demeter, and a question of design original ↗

15 Jul 2012

The Levels of Concurrency original ↗

14 Apr 2012

Time, Clocks, and an Implementation in Erlang original ↗

3 Jan 2012

2011

Zippers, Part 3: Kiselyov Zippers original ↗

18 Nov 2011

Zippers, Part 2: Zippers as Derivatives original ↗

18 Nov 2011

Zippers, Part 1: Huet Zippers original ↗

18 Nov 2011

Injection is a Display-level Problem original ↗

22 Aug 2011

Programming with Types original ↗

10 Jul 2011

MIT Zephyr from Arch Linux original ↗

14 May 2011

Using Org-mode to Publish a Web Site original ↗

14 May 2011

Treaps: The Magical Awesome BBT original ↗

14 May 2011

Installing Ubuntu on LVM original ↗

14 May 2011

Sequences, Series, and Recursion original ↗

14 May 2011

How to Draw a Heart in Polar Coordinates original ↗

14 May 2011

7919, 7853, and Li(x)original ↗

14 May 2011