https://refl.blog/about/2026-03-11T16:56:02+00:00weekly0.6https://refl.blog/2026/02/19/on-whirlpools/https://refl.blog/wp-content/uploads/2026/02/link-continues-journey.jpeglink-continues-journeyhttps://refl.blog/wp-content/uploads/2026/02/river-link-inside-whirlpool-insight.pngriver-link-inside-whirlpool-insighthttps://refl.blog/wp-content/uploads/2026/02/river-link-inside-whirlpool.pngriver-link-inside-whirlpoolhttps://refl.blog/wp-content/uploads/2026/02/river-link.pngriver-linkhttps://refl.blog/wp-content/uploads/2026/02/river.pngriver2026-02-20T10:42:44+00:00monthlyhttps://refl.blog/2026/02/08/integration-contemplation/2026-02-11T21:59:33+00:00monthlyhttps://refl.blog/2026/01/24/the-basic-building-blocks-of-psychological-theories/2026-01-24T18:55:39+00:00monthlyhttps://refl.blog/2026/01/12/top-7-insights-of-2025/2026-01-20T11:06:11+00:00monthlyhttps://refl.blog/2025/11/27/formal-systems-meet-psychological-stuckness/2025-12-23T17:48:28+00:00monthlyhttps://refl.blog/2025/11/21/on-trances/2025-12-22T15:44:20+00:00monthlyhttps://refl.blog/2025/12/16/do-kinder-acts/2026-01-09T15:45:18+00:00monthlyhttps://refl.blog/2025/12/12/on-positivity/2025-12-12T19:43:03+00:00monthlyhttps://refl.blog/2025/12/10/on-purification/2025-12-10T10:55:14+00:00monthlyhttps://refl.blog/2025/11/21/one-minute-poem/2025-11-27T18:13:58+00:00monthlyhttps://refl.blog/2025/11/13/beyond-fear-and-laziness/2025-11-13T16:46:24+00:00monthlyhttps://refl.blog/2025/10/29/on-inner-voice/2025-10-30T21:08:14+00:00monthlyhttps://refl.blog/2025/10/29/coaching-for-transformation-notes/https://refl.blog/wp-content/uploads/2025/10/20251028_213930-1.jpg20251028_213930https://refl.blog/wp-content/uploads/2025/10/20251028_213930.jpg20251028_213930https://refl.blog/wp-content/uploads/2025/10/20251028_213952.jpg20251028_213952https://refl.blog/wp-content/uploads/2025/10/20251028_214014.jpg20251028_214014https://refl.blog/wp-content/uploads/2025/10/20251026_215227.jpg20251026_215227https://refl.blog/wp-content/uploads/2025/10/20251026_215314.jpg20251026_215314https://refl.blog/wp-content/uploads/2025/10/20251026_215253.jpg20251026_215253https://refl.blog/wp-content/uploads/2025/10/20251026_215101.jpg20251026_215101https://refl.blog/wp-content/uploads/2025/10/20251026_215200.jpg20251026_215200https://refl.blog/wp-content/uploads/2025/10/20251026_215135.jpg20251026_2151352025-10-29T13:15:13+00:00monthlyhttps://refl.blog/2025/10/21/on-writing/https://refl.blog/wp-content/uploads/2025/10/20251020_234409.jpg20251020_234409https://refl.blog/wp-content/uploads/2025/10/20251019_202423.jpg20251019_2024232025-10-20T23:17:51+00:00monthlyhttps://refl.blog/2025/10/14/sitting-a-running-mind-and-body/2025-10-14T20:14:52+00:00monthlyhttps://refl.blog/2025/10/10/happy-mental-health-day/2025-10-10T13:37:30+00:00monthlyhttps://refl.blog/2025/10/06/on-spreading-love/2025-10-06T19:53:50+00:00monthlyhttps://refl.blog/2025/09/17/gestalt-therapy-meets-set-theory/2025-09-29T13:57:44+00:00monthlyhttps://refl.blog/2025/09/25/coaching-grounding-ritual/2025-09-25T22:03:50+00:00monthlyhttps://refl.blog/2025/09/22/on-deep-awareness/2025-09-21T22:03:13+00:00monthlyhttps://refl.blog/2025/08/26/on-choice/2025-08-26T13:49:03+00:00monthlyhttps://refl.blog/2025/08/05/on-growing/2025-08-05T11:29:56+00:00monthlyhttps://refl.blog/2025/06/12/the-mirrors-in-us/https://refl.blog/wp-content/uploads/2025/06/tmiu.jpgtmiu2025-06-23T14:09:56+00:00monthlyhttps://refl.blog/2025/06/23/on-being/2025-06-23T14:08:26+00:00monthlyhttps://refl.blog/about/diplomas/https://refl.blog/wp-content/uploads/2017/01/d2.jpegd2https://refl.blog/wp-content/uploads/2017/01/d1.jpegd1https://refl.blog/wp-content/uploads/2017/01/d3.jpegd3https://refl.blog/wp-content/uploads/2017/01/alexandria2.jpegalexandria2https://refl.blog/wp-content/uploads/2017/01/alexandria.jpegalexandriahttps://refl.blog/wp-content/uploads/2017/01/pmf2007.jpegpmf2007https://refl.blog/wp-content/uploads/2017/01/pmf2007_2.jpegpmf2007_2https://refl.blog/wp-content/uploads/2017/01/semos_c.jpegsemos_c2025-06-14T14:51:28+00:00weekly0.6https://refl.blog/books/https://refl.blog/wp-content/uploads/2025/06/20250530_165808.jpg20250530_165808https://refl.blog/wp-content/uploads/2025/02/2.jpg2https://refl.blog/wp-content/uploads/2024/06/1.jpg12025-06-12T12:29:36+00:00weekly0.6https://refl.blog/2025/05/05/the-hiring-game-in-a-nutshell/2025-05-05T13:51:24+00:00monthlyhttps://refl.blog/2024/09/22/gestalt-therapy-verbatim-overview/2025-04-04T21:45:34+00:00monthlyhttps://refl.blog/2025/02/10/retrain-your-brain-overview/2025-04-02T23:55:31+00:00monthlyhttps://refl.blog/2025/02/05/introducing-psychoanalysis-graphic-guide-overview/2025-04-02T23:54:28+00:00monthlyhttps://refl.blog/2024/12/05/in-and-out-the-garbage-pail-overview/2025-04-02T23:52:00+00:00monthlyhttps://refl.blog/2024/09/27/psychology-crash-course-fundamentals-summary/2025-04-02T23:49:22+00:00monthlyhttps://refl.blog/2024/08/22/emotional-intelligence-2-0-overview/2025-04-02T23:45:51+00:00monthlyhttps://refl.blog/2024/06/19/stillness-is-the-key-overview/2025-04-02T23:45:31+00:00monthlyhttps://refl.blog/2023/09/24/introduction-to-psychology-overview/2025-04-02T23:41:40+00:00monthlyhttps://refl.blog/2021/09/22/thinking-fast-slow-summary/2025-04-02T23:38:35+00:00monthlyhttps://refl.blog/2025/03/28/on-questions/https://refl.blog/wp-content/uploads/2025/03/question-e1743187094803.jpgquestion2025-03-30T18:20:30+00:00monthlyhttps://refl.blog/2025/02/17/tenses-ii/2025-02-25T18:55:16+00:00monthlyhttps://refl.blog/2024/11/24/stillness-speaks-overview/https://refl.blog/wp-content/uploads/2024/11/flower.jpgflower2025-02-07T21:10:17+00:00monthlyhttps://refl.blog/2022/07/12/philosophy-for-everyone/2025-02-07T21:07:58+00:00monthlyhttps://refl.blog/quotes/2025-01-26T02:43:19+00:00weekly0.6https://refl.blog/2023/10/19/read-people-like-a-book/2025-01-15T20:12:16+00:00monthlyhttps://refl.blog/2023/06/27/games-people-play-overview/2025-01-15T15:13:34+00:00monthlyhttps://refl.blog/2023/03/17/philosophy-and-critical-thinking-overview/2025-01-11T04:32:50+00:00monthlyhttps://refl.blog/2024/03/12/c-j-wounded-healer-of-the-soul-overview/2025-01-11T03:18:20+00:00monthlyhttps://refl.blog/2025/01/08/gestalts-and-strange-loops/https://refl.blog/wp-content/uploads/2025/01/pakoenpdku1uiyeqha-cwmy0jfsc1iis_5ofjstonknpgohqbgkoiwiprxsunreyi6wwpznkwaf67_hv41vqncdnsk_qzmxduo2c1-l5wqimye4rl7zyolhzyrqzcqtfixvoiehu8poqf7pzzbhx2ujqz9opx-nmw0ejwdzbtihtjgnlcfqfh4ty0e.jpgpako:eNpdkU1uIyEQha-CWMy0JfsC1iiS_5OFJStONknPgoHqBgkoiwIprXSuNReYi6WwPZNkWAF67_HV41VqNCDnsk_qZMXDuo2C1-L5wQImyE4rL7ZYolHZYRQzcQTfiXvoIEHU8POqF7PZzbhX2UJQZ9OPX-nmw0ejWDZbTIHTjgNlCFQFh4TY0eRzxoEGbdFjP4xi1azYqh0WikAkvok7AzG7PHy1WOeR8GTZsmkq31TsQUUX-_rI3kUjNgFSX4HPz6qcIUWa1IxL0vK_ARh43ez-_Dbgv5O4lHFhvgddEvFMV4bV2bkDysrnquQiGWTX3KJ3FKbiLmbgdmsN1f8YOxcdWTBiWcjVwa5J68s0CVkdAtOPYtssfI_JZRu-qvZs1VzIIuVR3DZLpS1zbktf4Ey5Ic0kfHVQSRl8AZrIqeQSgnKGv_u1hrWyjgutnPPWQKeKz61s4xtLVcl4HKKW85wKTGXC0ls575QnPpUT_yusnaqo_25PKj4h_j2_vQO1QMz62025-01-08T17:33:25+00:00monthlyhttps://refl.blog/2025/01/04/on-pride/https://refl.blog/wp-content/uploads/2025/01/screenshot-2025-01-04-at-15.15.25.pngScreenshot 2025-01-04 at 15.15.252025-01-04T14:30:43+00:00monthlyhttps://refl.blog/2024/12/16/the-century-of-the-self-overview/2024-12-16T10:13:55+00:00monthlyhttps://refl.blog/2024/12/09/the-monkey-king-2023-overview/2024-12-11T17:02:45+00:00monthlyhttps://refl.blog/2024/10/15/chatgpt-noticing-stuff-about-me/2024-12-04T15:05:50+00:00monthlyhttps://refl.blog/projects/https://refl.blog/wp-content/uploads/2017/01/fof.pngfofhttps://refl.blog/wp-content/uploads/2017/01/fbpysrc.pngfbpysrchttps://refl.blog/wp-content/uploads/2017/01/fbpy.pngfbpy2024-12-04T11:46:37+00:00weekly0.6https://refl.blog/2021/09/12/review-bobby-fischer-teaches-chess/2024-12-04T11:38:48+00:00monthlyhttps://refl.blog/2022/11/17/spirit-soul-body/2024-12-04T11:38:41+00:00monthlyhttps://refl.blog/2022/12/02/write-a-mathematical-proof-generator-for-aoc-1-1-2022/2024-12-04T11:38:33+00:00monthlyhttps://refl.blog/2022/09/03/writing-your-first-program-with-budge-tp/https://refl.blog/wp-content/uploads/2023/04/budge-formal.pngbudge-formal2024-12-04T11:38:27+00:00monthlyhttps://refl.blog/2019/11/06/proving-groupoids-with-idris/2024-12-04T11:38:20+00:00monthlyhttps://refl.blog/2017/12/06/formal-systems/2024-12-04T11:38:15+00:00monthlyhttps://refl.blog/2017/05/16/capturing-abstractions-in-php/2024-12-04T11:38:07+00:00monthlyhttps://refl.blog/2017/09/05/deriving-derivative-and-integral/https://refl.blog/wp-content/uploads/2023/12/riemann-sum.jpgriemann-sumhttps://refl.blog/wp-content/uploads/2017/09/250px-derivative_gif.gif250px-Derivative_GIF2024-12-04T11:37:36+00:00monthlyhttps://refl.blog/2016/11/18/and-in-javascript-using-sweet-js/2024-12-04T11:37:12+00:00monthlyhttps://refl.blog/2019/06/25/naive-set-theory-summary/https://refl.blog/wp-content/uploads/2020/01/settheory.jpgsettheory2024-12-04T11:37:07+00:00monthlyhttps://refl.blog/2020/06/20/proofs-and-computation-with-trees/https://refl.blog/wp-content/uploads/2020/06/tree6.pngtree6https://refl.blog/wp-content/uploads/2020/06/screengrab-copy-1-768x704-1.jpgScreengrab-copy-1-768x7042024-12-04T11:36:59+00:00monthlyhttps://refl.blog/2024/10/19/making-contact-overview/https://refl.blog/wp-content/uploads/2024/10/screenshot-2024-10-14-at-09.06.55.pngScreenshot 2024-10-14 at 09.06.552024-12-04T11:36:48+00:00monthlyhttps://refl.blog/2017/12/14/calculus-of-constructions/2024-12-04T11:36:37+00:00monthlyhttps://refl.blog/2022/01/31/high-five/2024-12-04T11:36:24+00:00monthlyhttps://refl.blog/2022/01/03/fractran/2024-12-04T11:36:04+00:00monthlyhttps://refl.blog/2024/06/28/some-thoughts-on-recent-self-reflections-part-2/2024-12-04T11:35:46+00:00monthlyhttps://refl.blog/2017/12/17/metamath/2024-12-04T11:35:42+00:00monthlyhttps://refl.blog/2020/02/01/formalization-of-boolean-algebra-pt-2/2024-12-04T11:35:37+00:00monthlyhttps://refl.blog/2021/06/07/re-inventing-the-monad-wheel/2024-12-04T11:35:31+00:00monthlyhttps://refl.blog/2020/08/22/a-simple-constraint-programming-implementation/2024-12-04T11:35:26+00:00monthlyhttps://refl.blog/2013/10/11/fold-on-monoids/https://refl.blog/wp-content/uploads/2013/10/a2660988b73b17d8b84a4d77d894c297.pngfold on Monoids2024-12-04T11:35:18+00:00monthlyhttps://refl.blog/2021/10/05/chess/https://refl.blog/wp-content/uploads/2021/09/20210930_095607.jpg20210930_095607.jpg2024-12-04T11:35:10+00:00monthlyhttps://refl.blog/2024/11/08/holding-two-opposites-in-the-mind/2024-12-04T11:34:39+00:00monthlyhttps://refl.blog/2019/11/18/idea-news-diversity/https://refl.blog/wp-content/uploads/2019/11/screen-shot-2019-11-18-at-11.26.22.pngScreen Shot 2019-11-18 at 11.26.222024-12-04T11:34:32+00:00monthlyhttps://refl.blog/2019/10/19/metapost-tuply-singleton-freedom-of-creativity/2024-12-04T11:34:21+00:00monthlyhttps://refl.blog/2024/01/09/au7omattic/2024-12-04T11:34:14+00:00monthlyhttps://refl.blog/2019/03/15/writing-a-simple-evaluator-and-type-checker-in-haskell/2024-12-04T11:33:56+00:00monthlyhttps://refl.blog/2020/03/14/stay-home/https://refl.blog/wp-content/uploads/2020/03/vax.pngvaxhttps://refl.blog/wp-content/uploads/2020/03/explinear.pngexplinearhttps://refl.blog/wp-content/uploads/2020/03/linear.pnglinearhttps://refl.blog/wp-content/uploads/2020/03/exp.pngexp2024-12-04T11:33:51+00:00monthlyhttps://refl.blog/2018/10/21/mathematical-structure-of-git-bisect/https://refl.blog/wp-content/uploads/2018/10/bisection-method.pngBisection MethodImage used from Wikipedia2024-12-04T11:33:36+00:00monthlyhttps://refl.blog/2021/04/09/algorithmic-puzzle-continuous-increasing-subsequences/2024-12-04T11:33:30+00:00monthlyhttps://refl.blog/2023/03/22/goodbye-kdp-hello-apress/https://refl.blog/wp-content/uploads/2023/01/screenshot-2023-01-17-at-16.27.33.pngscreenshot-2023-01-17-at-16.27.33https://refl.blog/wp-content/uploads/2023/01/screenshot_20230111_031744_gmail.jpgScreenshot_20230111_031744_Gmail2024-12-04T11:33:25+00:00monthlyhttps://refl.blog/2019/08/08/abstraction-and-generalization-of-objects/https://refl.blog/wp-content/uploads/2019/08/object.jpgobjecthttps://refl.blog/wp-content/uploads/2019/08/generalization.jpggeneralizationhttps://refl.blog/wp-content/uploads/2019/08/abstraction.pngabstraction2024-12-04T11:33:04+00:00monthlyhttps://refl.blog/2022/12/01/geb-an-egb-overview-part-ii/https://refl.blog/wp-content/uploads/2022/11/strangeloop.jpgstrangeloop2024-12-04T11:32:50+00:00monthlyhttps://refl.blog/2023/02/13/hva-er-filosofi-overview/2024-12-04T11:32:33+00:00monthlyhttps://refl.blog/2019/10/09/tuply-singleton-v2/2024-12-04T11:32:28+00:00monthlyhttps://refl.blog/2021/09/20/closed-expression-of-a-sum-with-proof-in-coq/2024-12-04T11:32:23+00:00monthlyhttps://refl.blog/2021/04/05/capturing-number-theory-in-haskell/2024-12-04T11:32:18+00:00monthlyhttps://refl.blog/2024/11/05/from-observer-to-participant-my-first-gestalt-conference-experience/2024-12-04T11:32:13+00:00monthlyhttps://refl.blog/2022/07/25/teaching-my-kids-programming-math/https://refl.blog/wp-content/uploads/2022/07/maze2-1.jpgmaze2-1https://refl.blog/wp-content/uploads/2022/07/reward.pngrewardhttps://refl.blog/wp-content/uploads/2022/07/hp-game2.pnghp-game2https://refl.blog/wp-content/uploads/2022/07/hp-game1.pnghp-game1https://refl.blog/wp-content/uploads/2022/07/maze1.pngmaze12024-12-04T11:31:58+00:00monthlyhttps://refl.blog/2023/06/14/a-guide-to-becoming-your-own-therapist-overview/2024-12-04T11:31:40+00:00monthlyhttps://refl.blog/2018/04/18/why-dependent-types-matter/2024-12-04T11:31:35+00:00monthlyhttps://refl.blog/2019/03/21/writing-a-lambda-calculus-type-checker-in-haskell/https://refl.blog/wp-content/uploads/2019/03/lambda-cube.pnglambda cube2024-12-04T11:31:29+00:00monthlyhttps://refl.blog/2017/12/04/hierarchy-of-logical-systems/2024-12-04T11:31:18+00:00monthlyhttps://refl.blog/2020/04/05/encoding-probability-and-random-variables-in-racket/https://refl.blog/wp-content/uploads/2020/04/2560px-dice_distribution_bar.svg_.png2560px-Dice_Distribution_(bar).svg2024-12-04T11:31:13+00:00monthlyhttps://refl.blog/2019/11/04/a8c-team-meetup-athens-2019/https://refl.blog/wp-content/uploads/2019/10/20191030_164832.jpg20191030_164832https://refl.blog/wp-content/uploads/2019/10/dsc_0978-1.jpgdsc_0978https://refl.blog/wp-content/uploads/2019/10/dsc_0996-2.jpgdsc_0996https://refl.blog/wp-content/uploads/2019/10/escapepolis.jpgEscapepolishttps://refl.blog/wp-content/uploads/2019/10/exit-boardgame.jpgExit Boardgame2024-12-04T11:30:58+00:00monthlyhttps://refl.blog/2017/11/05/my-first-proofs-in-coq/https://refl.blog/wp-content/uploads/2017/11/my_first_proof.gifmy_first_proof2024-12-04T11:30:53+00:00monthlyhttps://refl.blog/2013/10/09/category/https://refl.blog/wp-content/uploads/2013/10/asdf1.pngCategoryhttps://refl.blog/wp-content/uploads/2013/10/asdf2.pngCategory2024-12-04T11:30:45+00:00monthlyhttps://refl.blog/2017/09/03/deriving-point-slope-from-slope-intercept-form/2024-12-04T11:30:21+00:00monthlyhttps://refl.blog/2017/09/20/my-first-gm-experience/https://refl.blog/wp-content/uploads/2017/09/extendables.gifextendableshttps://refl.blog/wp-content/uploads/2017/09/20170917_215903.jpg20170917_215903https://refl.blog/wp-content/uploads/2017/09/image-uploaded-from-ios-5.jpgImage uploaded from iOS-5https://refl.blog/wp-content/uploads/2017/09/20170917_190144.jpg20170917_190144https://refl.blog/wp-content/uploads/2017/09/20170915_084656.jpg20170915_084656https://refl.blog/wp-content/uploads/2017/09/20170916_113739.jpg20170916_113739https://refl.blog/wp-content/uploads/2017/09/20170916_113833.jpg20170916_113833https://refl.blog/wp-content/uploads/2017/09/20170915_192553.jpg20170915_192553https://refl.blog/wp-content/uploads/2017/09/20170912_132611.jpg20170912_132611https://refl.blog/wp-content/uploads/2017/09/image-uploaded-from-ios-4.jpgImage uploaded from iOS-42024-12-04T11:30:08+00:00monthlyhttps://refl.blog/2019/10/11/tuply-singleton-v3-with-proof/2024-12-04T11:29:49+00:00monthlyhttps://refl.blog/2018/08/07/simple-theorem-prover-in-racket/2024-12-04T11:29:40+00:00monthlyhttps://refl.blog/2019/09/20/one-plus-one-equals-two/2024-12-04T11:29:35+00:00monthlyhttps://refl.blog/2019/02/21/coc-base-terms-type-and-prop/https://refl.blog/wp-content/uploads/2019/02/sequentcalculus.jpgsequentcalculus2024-12-04T11:29:28+00:00monthlyhttps://refl.blog/2017/12/07/mu-puzzle/2024-12-04T11:29:12+00:00monthlyhttps://refl.blog/2022/04/10/implementing-a-formal-system-in-python/2024-12-04T11:29:07+00:00monthlyhttps://refl.blog/2023/02/05/writing-your-third-program-with-budge-tp/2024-12-04T11:28:59+00:00monthlyhttps://refl.blog/2022/10/02/sophies-world-history-of-philosophy-part-2/2024-12-04T11:28:52+00:00monthlyhttps://refl.blog/2022/11/14/a-brief-intro-to-programming-for-the-c64/https://refl.blog/wp-content/uploads/2022/11/hello-world.jpghello-worldhttps://refl.blog/wp-content/uploads/2022/11/photo1668106146.jpegphoto1668106146https://refl.blog/wp-content/uploads/2022/11/photo1667041536.jpegphoto16670415362024-12-04T11:28:48+00:00monthlyhttps://refl.blog/2017/03/09/mega-quick-introduction-to-wordpress-plugin-development/https://refl.blog/wp-content/uploads/2017/03/database-diagram.pngdatabase-diagramhttps://refl.blog/wp-content/uploads/2017/03/screen-shot-2016-11-11-at-01-21-37.pngScreen Shot 2016-11-11 at 01.21.37https://refl.blog/wp-content/uploads/2017/03/screen-shot-2016-11-11-at-00-29-31.pngScreen Shot 2016-11-11 at 00.29.31https://refl.blog/wp-content/uploads/2017/03/screen-shot-2016-11-11-at-00-10-57.pngScreen Shot 2016-11-11 at 00.10.57https://refl.blog/wp-content/uploads/2017/03/screen-shot-2016-11-11-at-00-10-53.pngScreen Shot 2016-11-11 at 00.10.53https://refl.blog/wp-content/uploads/2017/03/screen-shot-2016-11-11-at-00-10-02.pngScreen Shot 2016-11-11 at 00.10.022024-12-04T11:28:37+00:00monthlyhttps://refl.blog/2023/04/27/first-talk-on-devex-devrel/https://refl.blog/wp-content/uploads/2023/04/devex-devrel.jpgdevex-devrel2024-12-04T11:28:11+00:00monthlyhttps://refl.blog/2010/01/19/fury-swipes-mechanics/https://refl.blog/wp-content/uploads/2010/01/fs.jpegfshttps://refl.blog/wp-content/uploads/2010/01/ursa.gifursahttps://refl.blog/wp-content/uploads/2010/01/mirana.jpegmiranahttps://refl.blog/wp-content/uploads/2010/01/difference.jpegdifferencehttps://refl.blog/wp-content/uploads/2010/01/roshan.jpegroshanhttps://refl.blog/wp-content/uploads/2010/01/enrage.jpegenragehttps://refl.blog/wp-content/uploads/2010/01/enrageeffects.jpegenrageeffectshttps://refl.blog/wp-content/uploads/2010/01/armor.jpegarmor2024-12-04T11:28:05+00:00monthlyhttps://refl.blog/2019/08/05/generalized-average/2024-12-04T11:27:37+00:00monthlyhttps://refl.blog/2018/07/11/creating-our-own-struct-macro-in-racket/2024-12-04T11:27:31+00:00monthlyhttps://refl.blog/2020/04/24/deriving-a-quine-in-a-lisp/2024-12-04T11:27:27+00:00monthlyhttps://refl.blog/2022/09/12/writing-your-second-program-with-budge-tp-complexity-and-abstraction/2024-12-04T11:27:22+00:00monthlyhttps://refl.blog/2022/10/09/sophies-world-history-of-philosophy-part-3/2024-12-04T11:27:07+00:00monthlyhttps://refl.blog/2017/09/04/definition-of-the-mathematical-limit/https://refl.blog/wp-content/uploads/2017/09/screenshot_2017-09-04-18-40-29-1.pngScreenshot_2017-09-04-18-40-29-12024-12-04T11:26:57+00:00monthlyhttps://refl.blog/2019/06/04/lambda-calculus-with-generalized-abstraction/2024-12-04T11:26:50+00:00monthlyhttps://refl.blog/2019/03/19/writing-a-lambda-calculus-evaluator-in-haskell/2024-12-04T11:26:44+00:00monthlyhttps://refl.blog/2019/09/15/meet-them-all/https://refl.blog/wp-content/uploads/2019/09/graph_lunches.pnggraph_lunches2024-12-04T11:26:36+00:00monthlyhttps://refl.blog/2017/05/26/predicting-values-with-linear-regression/https://refl.blog/wp-content/uploads/2017/05/untitled.pnguntitled2024-12-04T11:25:15+00:00monthlyhttps://refl.blog/2020/09/09/on-faith-unbelief-and-doubt/2024-12-04T11:24:53+00:00monthlyhttps://refl.blog/2019/12/30/geb-an-egb-overview-part-i/2024-12-04T11:24:32+00:00monthlyhttps://refl.blog/2024/01/22/tiles/https://refl.blog/wp-content/uploads/2024/01/tile-computerized.pngtile-computerizedhttps://refl.blog/wp-content/uploads/2024/01/20240122_075729.jpg20240122_075729https://refl.blog/wp-content/uploads/2024/01/20240122_080127.jpg20240122_080127https://refl.blog/wp-content/uploads/2024/01/20240122_082745.jpg20240122_0827452024-12-04T11:24:12+00:00monthlyhttps://refl.blog/2019/07/10/brief-introduction-to-machine-learning-with-gradient-descent/https://refl.blog/wp-content/uploads/2019/07/linear-curves-f1-f2.pnglinear-curves-f1-f22024-12-04T11:23:16+00:00monthlyhttps://refl.blog/2023/05/29/beyond-software-engineering/2024-12-04T11:23:01+00:00monthlyhttps://refl.blog/2022/10/26/sophies-world-history-of-philosophy-part-4/2024-12-04T11:22:28+00:00monthlyhttps://refl.blog/2020/01/31/introduction-and-formalization-of-boolean-algebra/https://refl.blog/wp-content/uploads/2020/01/logic-gates-simple.pnglogic gates simplehttps://refl.blog/wp-content/uploads/2020/01/logic-gates-complex.pnglogic gates complex2024-12-04T11:22:04+00:00monthlyhttps://refl.blog/2024/12/03/on-confidence/2024-12-04T10:44:12+00:00monthlyhttps://refl.blog/2024/11/24/up-overview/2024-11-24T18:10:45+00:00monthlyhttps://refl.blog/2024/07/14/elita-tv-series-overview/2024-10-19T22:22:47+00:00monthlyhttps://refl.blog/%d0%bf%d0%b0%d1%98%d0%b0%d0%ba-%d0%b1%d1%80-4/2024-07-11T14:04:42+00:00weekly0.6https://refl.blog/2024/07/05/the-many-selves/2024-07-05T01:19:25+00:00monthlyhttps://refl.blog/2023/12/29/lunyu-conversations/2024-07-01T14:25:57+00:00monthlyhttps://refl.blog/2023/12/25/power-of-habit-overview/2024-06-28T22:25:14+00:00monthlyhttps://refl.blog/2023/02/03/guest-at-the-codepub-dev-podcast/2024-01-09T14:23:53+00:00monthlyhttps://refl.blog/2021/01/15/reflecting-on-my-fth-rotation/2024-01-04T16:43:55+00:00monthlyhttps://refl.blog/2022/09/01/guide-to-technical-recruiting-and-hiring-notes/2023-12-24T00:23:54+00:00monthlyhttps://refl.blog/2017/06/15/abstractions-with-set-theory/2023-12-10T17:21:49+00:00monthlyhttps://refl.blog/2023/07/11/some-thoughts-on-recent-self-reflections/2023-12-03T17:43:40+00:00monthlyhttps://refl.blog/2022/05/30/recursion-from-first-principles/2023-11-28T23:04:48+00:00monthlyhttps://refl.blog/2023/11/26/philosophy-of-software-design-overview-and-rants/2023-11-26T20:39:46+00:00monthlyhttps://refl.blog/2023/10/10/impressions-of-my-first-daily-chess-game/2023-11-25T23:50:40+00:00monthlyhttps://refl.blog/2023/11/05/the-developer-experience-of-tackling-php-internals/2023-11-05T23:28:31+00:00monthlyhttps://refl.blog/2023/08/29/the-courage-to-be-disliked-overview/2023-11-04T02:54:49+00:00monthlyhttps://refl.blog/2017/06/03/how-to-prove-it-summary/2023-10-29T20:58:50+00:00monthlyhttps://refl.blog/2022/11/22/stutz-overview/2023-04-13T01:55:33+00:00monthlyhttps://refl.blog/2022/06/30/sophies-world-history-of-philosophy-part-1/2022-10-09T20:40:35+00:00monthlyhttps://refl.blog/2022/07/08/a-simple-fact-about-politics/2022-07-12T17:19:51+00:00monthlyhttps://refl.blog/2022/04/08/an-algorithm-for-a-bnf-matcher/2022-04-09T11:22:58+00:00monthlyhttps://refl.blog/2022/01/24/the-computation-of-appending-lists-at-the-type-and-value-level/2022-02-05T16:37:25+00:00monthlyhttps://refl.blog/2020/12/24/advent-of-code-13/2021-12-13T09:42:39+00:00monthlyhttps://refl.blog/2020/12/11/haskell-memoization-and-evaluation-model/2021-12-13T09:41:41+00:00monthlyhttps://refl.blog/2021/12/10/advent-of-code-2021-pl-edition/2021-12-13T09:40:23+00:00monthlyhttps://refl.blog/2018/09/08/twenties-retrospective/2021-10-11T15:44:49+00:00monthlyhttps://refl.blog/2021/09/30/the-queens-gambit/2021-10-03T07:43:25+00:00monthlyhttps://refl.blog/2021/08/07/reflections-on-anxiety/2021-08-07T20:17:46+00:00monthlyhttps://refl.blog/2021/01/18/towards-hoare-logic-for-a-small-imperative-language-in-haskell/2021-04-18T18:37:40+00:00monthlyhttps://refl.blog/2021/03/30/performant-implementation-of-pagination-on-cartesian-products/2021-03-30T09:38:08+00:00monthlyhttps://refl.blog/2020/12/10/advent-of-code-8/2020-12-10T20:21:24+00:00monthlyhttps://refl.blog/2016/06/24/javascript-patterns-overview/2020-11-13T16:28:05+00:00monthlyhttps://refl.blog/2018/05/13/dafny-programming-language-for-formal-specifications/2021-05-17T04:57:29+00:00monthlyhttps://refl.blog/2020/08/21/superliminal-game-overview/2020-11-13T16:25:24+00:00monthlyhttps://refl.blog/2020/10/22/diversity-and-bias/2020-11-13T16:25:19+00:00monthlyhttps://refl.blog/2020/10/17/proof-one-sunday-every-7-days/2020-10-17T17:01:21+00:00monthlyhttps://refl.blog/2020/09/03/tenses/2020-09-03T11:08:54+00:00monthlyhttps://refl.blog/2020/04/10/equational-reasoning-in-racket/2020-04-10T16:43:15+00:00monthlyhttps://refl.blog/2020/01/25/wisdom-of-the-crowd-exercise/2020-01-25T15:01:45+00:00monthlyhttps://refl.blog/2020/01/05/dafny-proof-to-the-container-with-most-water-problem/2020-01-05T20:21:44+00:00monthlyhttps://refl.blog/2019/12/10/infinite-power-towers/2019-12-10T11:17:18+00:00monthlyhttps://refl.blog/2019/11/09/formalizing-expresiveness-of-line-editors/2019-11-11T11:10:21+00:00monthlyhttps://refl.blog/2019/02/27/self-publishing-my-first-book/2019-11-06T12:11:17+00:00monthlyhttps://refl.blog/2017/09/05/recursive-and-iterative-processes-and-procedures/2019-10-14T18:50:52+00:00monthlyhttps://refl.blog/2019/07/30/arithmetic-on-algebraic-data-types/2019-10-08T09:56:25+00:00monthlyhttps://refl.blog/2019/10/06/tuply-singleton/2019-10-09T13:53:16+00:00monthlyhttps://refl.blog/2019/06/10/customer-driven-engineering/2019-06-10T08:44:48+00:00monthlyhttps://refl.blog/2019/03/04/igpay-igpay-atinlay/2020-02-14T12:34:04+00:00monthlyhttps://refl.blog/2016/02/10/programming-using-logic-assistants/2019-03-05T16:37:36+00:00monthlyhttps://refl.blog/2018/11/25/if/2018-11-25T10:40:44+00:00monthlyhttps://refl.blog/2018/11/06/proving-monoids-with-idris/2018-11-06T19:41:30+00:00monthlyhttps://refl.blog/2018/10/27/partial-orders-in-idris/2018-10-27T19:52:36+00:00monthlyhttps://refl.blog/2018/09/17/lambda-calculus-implementation-in-scheme/2018-09-19T10:11:27+00:00monthlyhttps://refl.blog/2018/09/14/closed-expression-of-a-sum-with-proof-in-idris/2018-09-14T10:04:25+00:00monthlyhttps://refl.blog/2018/08/22/proving-length-of-mapped-and-filtered-lists-in-idris/2018-08-22T12:32:33+00:00monthlyhttps://refl.blog/2018/07/23/effects-of-side-effects/2018-07-23T13:09:17+00:00monthlyhttps://refl.blog/2018/06/15/refactoring-using-mathematical-properties-of-min/2018-06-15T11:50:39+00:00monthlyhttps://refl.blog/2018/04/27/lisp-interpreter/2018-04-27T11:15:22+00:00monthlyhttps://refl.blog/2018/04/02/finding-nth-term-in-a-sequence/2018-04-02T22:31:54+00:00monthlyhttps://refl.blog/2018/03/01/proofs-with-idris/2018-03-02T10:51:43+00:00monthlyhttps://refl.blog/2018/02/22/dependent-types-in-typed-racket/2018-02-22T17:19:09+00:00monthlyhttps://refl.blog/2018/02/20/idris-dependent-types-and-io/2018-02-20T13:53:41+00:00monthlyhttps://refl.blog/2018/02/18/type-systems-and-proofs/2018-02-18T20:51:24+00:00monthlyhttps://refl.blog/2018/02/01/top-3-applications-i-mostly-use/2018-02-01T15:06:22+00:00monthlyhttps://refl.blog/2018/01/31/associativity-of-elvis-operator/2018-01-31T21:15:48+00:00monthlyhttps://refl.blog/2017/12/12/coq-to-haskell/2017-12-12T16:22:01+00:00monthlyhttps://refl.blog/2017/12/05/intuitionistic-logic/2017-12-04T23:24:20+00:00monthlyhttps://refl.blog/2013/08/23/structural-induction/2017-12-02T23:11:41+00:00monthlyhttps://refl.blog/2017/11/09/induction-with-coq/2017-12-01T06:46:55+00:00monthlyhttps://refl.blog/2017/11/07/more-proofs-and-tactics-with-coq/2017-11-28T14:53:19+00:00monthlyhttps://refl.blog/2017/11/27/curry-howard-correspondence/2017-11-27T17:01:49+00:00monthlyhttps://refl.blog/2017/11/16/code-checklist/2017-11-16T12:56:14+00:00monthlyhttps://refl.blog/2017/08/17/researching-automated-theorem-provers/2017-09-01T22:23:00+00:00monthlyhttps://refl.blog/2017/08/09/relation-between-strict-and-non-strict-identities/2017-08-09T13:33:44+00:00monthlyhttps://refl.blog/2017/05/29/soft-skills/2017-05-29T17:11:54+00:00monthlyhttps://refl.blog/2017/05/24/correctness-on-iterative-and-recursive-processes/2017-05-24T14:14:36+00:00monthlyhttps://refl.blog/2016/10/08/closed-form-expression-of-a-recursive-function/2017-05-15T21:53:25+00:00monthlyhttps://refl.blog/2016/01/09/the-difference-between-code-and-data/2017-05-15T21:51:38+00:00monthlyhttps://refl.blog/2015/05/10/svpion-fifth-problem/2017-05-15T21:51:35+00:00monthlyhttps://refl.blog/2016/12/03/proof-of-the-binomial-theorem/2017-05-15T21:49:01+00:00monthlyhttps://refl.blog/2017/04/20/property-of-squares/2017-05-15T21:47:33+00:00monthlyhttps://refl.blog/2017/05/11/relations-between-recursion-stacks-and-queues/2017-05-15T21:47:11+00:00monthlyhttps://refl.blog/2016/11/16/capturing-abstractions-in-lisp/2017-05-15T21:46:31+00:00monthlyhttps://refl.blog/2017/05/06/usefulness-of-algebraic-structures/2017-05-06T11:02:50+00:00monthlyhttps://refl.blog/2017/05/04/recursive-and-iterative-processes/2017-05-05T11:01:12+00:00monthlyhttps://refl.blog/2017/03/12/react-redux-tutorial/2017-03-12T16:57:31+00:00monthlyhttps://refl.blog/2017/03/07/reimbursement-formula/2017-03-07T13:50:52+00:00monthlyhttps://refl.blog/2017/02/26/square-of-product-of-successive-naturals/2017-02-26T11:31:39+00:00monthlyhttps://refl.blog/2017/01/28/life-keywords/2017-01-28T20:44:30+00:00monthlyhttps://refl.blog/2011/06/20/desiderata/2017-01-23T23:57:22+00:00monthlyhttps://refl.blog/2016/12/31/consecutive-odd-primed-integers/2016-12-31T04:11:38+00:00monthlyhttps://refl.blog/2013/06/20/recursion-in-haskell-and-lc/2016-12-20T18:10:03+00:00monthlyhttps://refl.blog/2013/07/18/recursive-types-in-haskell/2016-12-20T17:55:54+00:00monthlyhttps://refl.blog/2013/11/25/haskell-tiny-examples/2016-12-20T17:55:40+00:00monthlyhttps://refl.blog/2013/11/19/haskell-words-implementation/2016-12-20T17:55:37+00:00monthlyhttps://refl.blog/2013/11/22/eta-reduction-and-laziness/2016-12-20T17:55:26+00:00monthlyhttps://refl.blog/2013/11/26/the-a-monad-instance-aka-function-monad/2016-12-20T17:55:20+00:00monthlyhttps://refl.blog/2013/11/28/music-fun/2016-12-20T17:55:17+00:00monthlyhttps://refl.blog/2013/10/08/monoids/2016-12-20T17:53:04+00:00monthlyhttps://refl.blog/2013/05/20/lambda-calculus/2016-12-20T17:52:58+00:00monthlyhttps://refl.blog/2013/08/09/prime-check/2016-12-20T17:52:55+00:00monthlyhttps://refl.blog/2013/11/11/implementation-of-a-monad-with-proof/2016-12-20T17:52:40+00:00monthlyhttps://refl.blog/2013/11/25/last-element-of-list-with-proof/2016-12-20T17:52:35+00:00monthlyhttps://refl.blog/2013/12/26/definition-of-a-monad/2016-12-20T17:52:30+00:00monthlyhttps://refl.blog/2014/04/10/class-and-instance/2016-12-20T17:49:35+00:00monthlyhttps://refl.blog/2014/04/14/foldl-and-foldr/2016-12-20T17:49:30+00:00monthlyhttps://refl.blog/2014/04/15/vector-and-monoids/2016-12-20T17:49:27+00:00monthlyhttps://refl.blog/2014/05/21/simple-io-stuff/2016-12-20T17:49:23+00:00monthlyhttps://refl.blog/2013/12/26/int-list-monoid-implementation-in-c/2016-12-20T17:49:13+00:00monthlyhttps://refl.blog/2013/12/07/fold-vs-map/2016-12-20T17:49:09+00:00monthlyhttps://refl.blog/2013/12/04/understanding-monads-boxing/2016-12-20T17:49:06+00:00monthlyhttps://refl.blog/2013/12/02/functors/2016-12-20T17:49:03+00:00monthlyhttps://refl.blog/2014/06/05/folds-in-imperative-languages/2016-12-20T17:48:56+00:00monthlyhttps://refl.blog/2014/09/25/playing-with-the-type-system/2016-12-20T17:48:47+00:00monthlyhttps://refl.blog/2015/10/04/prolog-proof-search-trees/2016-12-20T17:48:27+00:00monthlyhttps://refl.blog/2016/05/10/elegance-of-mathematical-definitions/2016-12-20T17:48:13+00:00monthlyhttps://refl.blog/2013/09/19/articles-worth-reading/2013-09-19T11:42:00+00:00monthlyhttps://refl.blogdaily1.02026-03-11T16:56:02+00:00