https://blog.polybdenum.com/2016/09/19/my-experience-rewriting-enjarify-in-rust.html 2016-09-19T00:00:00+00:00 https://blog.polybdenum.com/2017/01/07/rust-makes-implicit-invariants-explicit.html 2017-01-07T00:00:00+00:00 https://blog.polybdenum.com/2017/01/22/parallelizing-enjarify-in-go-and-rust.html 2017-01-22T00:00:00+00:00 https://blog.polybdenum.com/2017/02/11/optimizing-rc-memory-usage-in-rust.html 2017-02-11T00:00:00+00:00 https://blog.polybdenum.com/2017/02/19/how-copying-an-int-made-my-code-11-times-faster.html 2017-02-19T00:00:00+00:00 https://blog.polybdenum.com/2017/03/02/generating-64-bit-hash-collisions-to-dos-python.html 2017-03-02T00:00:00+00:00 https://blog.polybdenum.com/2017/07/22/rust-is-self-driving-c.html 2017-07-22T00:00:00+00:00 https://blog.polybdenum.com/2017/07/26/solving-the-traveling-pacman-problem.html 2017-07-26T00:00:00+00:00 https://blog.polybdenum.com/2017/12/29/how-es6-classes-really-work-and-how-to-build-your-own.html 2017-12-29T00:00:00+00:00 https://blog.polybdenum.com/2018/01/17/ref-patterns-destructuring-and-invisible-borrows.html 2018-01-17T00:00:00+00:00 https://blog.polybdenum.com/2018/12/17/solution-to-the-besquare-crypto-challenge.html 2018-12-17T00:00:00+00:00 https://blog.polybdenum.com/2020/04/01/improving-compile-speed-the-dark-arts.html 2020-04-01T00:00:00+00:00 https://blog.polybdenum.com/2020/07/04/subtype-inference-by-example-part-1-introducing-cubiml.html 2020-07-04T15:58:00+00:00 https://blog.polybdenum.com/2020/07/11/subtype-inference-by-example-part-2-parsing-and-biunification.html 2020-07-11T14:54:00+00:00 https://blog.polybdenum.com/2020/07/18/subtype-inference-by-example-part-3-the-typechecker-frontend.html 2020-07-18T15:50:00+00:00 https://blog.polybdenum.com/2020/07/25/subtype-inference-by-example-part-4-the-typechecker-core.html 2020-07-25T14:31:00+00:00 https://blog.polybdenum.com/2020/08/01/subtype-inference-by-example-part-5-incremental-reachability.html 2020-08-01T14:23:00+00:00 https://blog.polybdenum.com/2020/08/08/subtype-inference-by-example-part-6-numeric-types-and-operators.html 2020-08-08T17:27:00+00:00 https://blog.polybdenum.com/2020/08/15/subtype-inference-by-example-part-7-spanned-error-messages.html 2020-08-15T14:56:00+00:00 https://blog.polybdenum.com/2020/08/22/subtype-inference-by-example-part-8-mutability.html 2020-08-22T13:54:00+00:00 https://blog.polybdenum.com/2020/08/29/subtype-inference-by-example-part-9-nonexhaustive-matching-record-extensions-and-row-polymorphism.html 2020-08-29T14:37:00+00:00 https://blog.polybdenum.com/2020/09/05/subtype-inference-by-example-part-10-let-polymorphism.html 2020-09-05T14:51:00+00:00 https://blog.polybdenum.com/2020/09/19/subtype-inference-by-example-part-11-the-value-restriction.html 2020-09-19T14:28:00+00:00 https://blog.polybdenum.com/2020/09/26/subtype-inference-by-example-part-12-flow-typing-and-mixed-comparison-operators.html 2020-09-26T15:09:00+00:00 https://blog.polybdenum.com/2020/10/03/subtype-inference-by-example-part-13-conditional-flow-types-and-type-level-computation.html 2020-10-03T13:52:00+00:00 https://blog.polybdenum.com/2020/10/10/subtype-inference-by-example-part-14-type-annotation.html 2020-10-10T14:58:00+00:00 https://blog.polybdenum.com/2020/10/17/subtype-inference-by-example-part-15-type-annotations.html 2020-10-17T14:25:00+00:00 https://blog.polybdenum.com/2021/02/03/an-experiment-in-automatic-syntax-error-correction.html 2021-02-03T01:01:00+00:00 https://blog.polybdenum.com/2021/05/05/how-i-hacked-google-app-engine-anatomy-of-a-java-bytecode-exploit.html 2021-05-05T13:52:00+00:00 https://blog.polybdenum.com/2021/08/09/when-zero-cost-abstractions-aren-t-zero-cost.html 2021-08-09T03:07:00+00:00 https://blog.polybdenum.com/2021/10/03/implicit-overflow-considered-harmful-and-how-to-fix-it.html 2021-10-03T21:31:00+00:00 https://blog.polybdenum.com/2022/04/25/when-type-annotations-are-code-too.html 2022-04-25T04:31:00+00:00 https://blog.polybdenum.com/2022/06/25/an-unfortunate-experience-with-rust.html 2022-06-25T21:18:00+00:00 https://blog.polybdenum.com/2022/07/24/fixing-the-next-thousand-deadlocks-why-buffered-streams-are-broken-and-how-to-make-them-safer.html 2022-07-24T23:52:00+00:00 https://blog.polybdenum.com/2023/03/05/fixing-the-next-10-000-aliasing-bugs.html 2023-03-05T22:42:00+00:00 https://blog.polybdenum.com/2023/05/15/tokio-futuresunordered-and-the-thundering-herd-problem.html 2023-05-15T02:08:00+00:00 https://blog.polybdenum.com/2023/08/01/how-i-came-second-out-of-999-in-the-salem-center-prediction-market-tournament-without-knowing-anything-about-prediction-markets-and-what-i-learned-along-the-way-part-1.html 2023-08-01T14:36:00+00:00 https://blog.polybdenum.com/2023/08/28/how-i-came-second-out-of-999-in-the-salem-center-prediction-market-tournament-without-knowing-anything-about-prediction-markets-and-what-i-learned-along-the-way-part-2.html 2023-08-28T00:58:00+00:00 https://blog.polybdenum.com/2024/01/17/identifying-the-collect-vec-memory-leak-footgun.html 2024-01-17T15:57:00+00:00 https://blog.polybdenum.com/2024/06/07/the-inconceivable-types-of-rust-how-to-make-self-borrows-safe.html 2024-06-07T04:47:00+00:00 https://blog.polybdenum.com/2024/12/21/four-limitations-of-rust-s-borrow-checker.html 2024-12-21T21:57:00+00:00 https://blog.polybdenum.com/2025/02/14/designing-type-inference-for-high-quality-type-errors.html 2025-02-14T19:05:00+00:00 https://blog.polybdenum.com/2025/03/01/the-problem-with-type-aliases.html 2025-03-01T04:03:00+00:00 https://blog.polybdenum.com/2025/03/26/why-you-need-subtyping.html 2025-03-26T02:13:00+00:00 https://blog.polybdenum.com/2025/08/19/x-design-notes-unifying-ocaml-modules-and-values.html 2025-08-19T01:25:00+00:00 https://blog.polybdenum.com/2025/08/25/x-design-notes-nominal-types-newtypes-and-implicit-coercions.html 2025-08-25T06:38:00+00:00 https://blog.polybdenum.com/2025/09/02/x-design-notes-parameterized-types-and-higher-kinded-type-inference.html 2025-09-02T04:53:00+00:00 https://blog.polybdenum.com/2025/09/08/x-design-notes-gadts.html 2025-09-08T04:50:00+00:00 https://blog.polybdenum.com/2025/09/15/x-design-notes-pattern-matching-i.html 2025-09-15T04:45:00+00:00 https://blog.polybdenum.com/2025/09/21/x-design-notes-pattern-matching-ii.html 2025-09-21T23:35:00+00:00 https://blog.polybdenum.com/2025/11/13/polysubml-is-broken.html 2025-11-13T03:04:00+00:00 https://blog.polybdenum.com/about/ https://blog.polybdenum.com/