corpus.blog
41554 blogs · [ { "id": "01a08765-42d3-71e4-89ca-bb50d515978b", "title": "Smos: Writing a Purely Functional Semantic Editor", "url": "https://cs-syd.eu/posts/2018-10-14-pfse-intro", "published_at": "2018-10-14T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50d442a543", "title": "Job Ad: Part-time Remote Virtual Assistant", "url": "https://cs-syd.eu/posts/2018-09-28-job-ad-virtual-assistant", "published_at": "2018-09-28T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50d4146bda", "title": "Announcing exchangerates", "url": "https://cs-syd.eu/posts/2018-09-14-exchangerates", "published_at": "2018-09-14T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50d3dfee2d", "title": "Announcing genvalidity-hspec-optics", "url": "https://cs-syd.eu/posts/2018-08-28-genvalidity-hspec-optics", "published_at": "2018-08-28T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50d38894b7", "title": "\"Speaking\" page announcement", "url": "https://cs-syd.eu/posts/2018-08-14-speaking", "published_at": "2018-08-14T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50d2942811", "title": "Merge-free synchronisation with mergeless", "url": "https://cs-syd.eu/posts/2018-07-28-mergeless", "published_at": "2018-07-28T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50d21deeda", "title": "Nix, Docker and Haskell", "url": "https://cs-syd.eu/posts/2018-07-14-nix-docker-haskell", "published_at": "2018-07-14T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50d1621958", "title": "Website overhaul and support", "url": "https://cs-syd.eu/posts/2018-06-28-overhaul", "published_at": "2018-06-28T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50d1030ace", "title": "Research as a build system with Shake", "url": "https://cs-syd.eu/posts/2018-05-28-research-as-a-build-system", "published_at": "2018-05-28T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50d08c4241", "title": "Intray", "url": "https://cs-syd.eu/posts/2018-04-28-intray", "published_at": "2018-04-28T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50d04dfc9e", "title": "How to get less email", "url": "https://cs-syd.eu/posts/2018-03-28-how-to-get-less-email", "published_at": "2018-03-28T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50ce66f4c3", "title": "2017; Year in review", "url": "https://cs-syd.eu/posts/2018-01-28-2017-year-in-review", "published_at": "2018-01-28T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50cd92190f", "title": "Parsing command line arguments", "url": "https://cs-syd.eu/posts/2017-12-28-parsing-command-line-arguments", "published_at": "2017-12-28T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50cd3fe7e1", "title": "Validity Talks with Patat", "url": "https://cs-syd.eu/posts/2017-11-28-validity-talks", "published_at": "2017-11-28T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50cd0db9f9", "title": "The madness of paths", "url": "https://cs-syd.eu/posts/2017-10-28-the-madness-of-paths", "published_at": "2017-10-28T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50ccffa04b", "title": "Property discovery at Haskell eXchange 2017", "url": "https://cs-syd.eu/posts/2017-09-28-property-discovery-at-haskell-exchange", "published_at": "2017-09-28T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50cc9614f6", "title": "The annoyance of twelve hour clocks", "url": "https://cs-syd.eu/posts/2017-08-28-the-annoyance-of-twelve-hour-clocks", "published_at": "2017-08-28T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50cc001317", "title": "Poop deprecation and shitty code", "url": "https://cs-syd.eu/posts/2016-08-28-poop-deprecation", "published_at": "2016-08-28T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50cb0dfeee", "title": "Safer paths, part 2 - Stop, Reconsider, Contribute", "url": "https://cs-syd.eu/posts/2016-08-21-safer-paths-part-2---stop-reconsider-contribute", "published_at": "2016-08-21T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50ca0e6eb0", "title": "Safer paths, part 1 - valid and typed paths", "url": "https://cs-syd.eu/posts/2016-08-14-safer-paths-part-1-valid-and-typed-paths", "published_at": "2016-08-14T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50c9d6b9d5", "title": "I have not reached the burrito point yet. - Xavier Goás Aguililla", "url": "https://cs-syd.eu/quotes/2016-08-07-i-have-not-reached-the-burrito-point-yet---xavier-goas-aguililla", "published_at": "2016-08-07T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50c98d8c93", "title": "Adding documentation to the GHC API", "url": "https://cs-syd.eu/posts/2016-07-31-adding-documentation-to-the-ghc-api", "published_at": "2016-07-31T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50c97d8fc4", "title": "Overcoming Boolean blindness with Evidence", "url": "https://cs-syd.eu/posts/2016-07-24-overcoming-boolean-blindness-evidence", "published_at": "2016-07-24T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50c9474c56", "title": "Custom validity and validity-based testing in Haskell", "url": "https://cs-syd.eu/posts/2016-07-17-custom-validity-and-validity-based-testing-in-haskell", "published_at": "2016-07-17T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50c86ae697", "title": "Save time, not money", "url": "https://cs-syd.eu/posts/2016-07-10-save-time-not-money", "published_at": "2016-07-10T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50c8440a59", "title": "A configuration loading scheme for tools in Haskell", "url": "https://cs-syd.eu/posts/2016-06-26-a-configuration-loading-scheme-for-tools-in-haskell", "published_at": "2016-06-26T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50c7953449", "title": "Writing a book in Haskell", "url": "https://cs-syd.eu/posts/2016-06-19-writing-a-book-in-haskell", "published_at": "2016-06-19T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50c6eace8f", "title": "A non-trivial term-constraint oracle, and a new Haskell teaching tool", "url": "https://cs-syd.eu/posts/2016-06-11-a-non-trivial-term-constraint-oracle-and-a-new-haskell-teaching-tool", "published_at": "2016-06-11T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50c6db4e97", "title": "Estimated reading time in Hakyll", "url": "https://cs-syd.eu/posts/2016-06-05-estimated-reading-time-in-hakyll", "published_at": "2016-06-05T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50c6b242be", "title": "Reducing the number of slot machines", "url": "https://cs-syd.eu/posts/2016-05-29-reducing-the-number-of-slotmachines", "published_at": "2016-05-29T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50c6461b22", "title": "It's not about how others look at me. It's about how I look at myself. - Will Fratalli", "url": "https://cs-syd.eu/quotes/2016-05-22-its-not-about-how-others-look-at-me-its-about-how-i-look-at-myself---will-fratalli", "published_at": "2016-05-22T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50c5890729", "title": "How to teach numbers", "url": "https://cs-syd.eu/posts/2016-05-15-how-to-teach-numbers", "published_at": "2016-05-15T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50c528f135", "title": "Mathematical induction, a practical guide", "url": "https://cs-syd.eu/posts/2016-05-07-mathematical-induction", "published_at": "2016-05-07T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50c4c1b9b7", "title": "A functor is not a box", "url": "https://cs-syd.eu/posts/2016-04-30-a-functor-is-not-a-box", "published_at": "2016-04-30T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50c4bb8d35", "title": "Sometimes magic is just someone spending more time on something than anyone else might reasonably expect. - Raymond Joseph Teller", "url": "https://cs-syd.eu/quotes/2016-04-24-sometimes-magic-is-just-someone-spending-more-time-on-something-than-anyone-else-might-reasonably-expect---raymond-joseph-teller", "published_at": "2016-04-24T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50c45e7087", "title": "Working from home? Wear Clothes!", "url": "https://cs-syd.eu/posts/2016-04-17-working-from-home-wear-clothes", "published_at": "2016-04-17T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50c40dc92b", "title": "Type safe Polyvariadic functions in Haskell", "url": "https://cs-syd.eu/posts/2016-04-09-typesafe-polyvariadic-functions-in-haskell", "published_at": "2016-04-09T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50c387c4c7", "title": "You don't want to finish life knowing you've never been an additional agenda item. - Zuber Anwar", "url": "https://cs-syd.eu/quotes/2016-04-03-you-dont-want-to-finish-life-knowing-youve-never-been-an-additional-agenda-item---zuber-anwar", "published_at": "2016-04-03T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50c31e7df6", "title": "Have a day - Unknown", "url": "https://cs-syd.eu/quotes/2016-03-27-have-a-day---unknown", "published_at": "2016-03-27T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50c25018c0", "title": "How to enforce better technical debt practices", "url": "https://cs-syd.eu/posts/2016-03-20-how-to-enforce-better-technical-debt-practices", "published_at": "2016-03-20T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50c1725fac", "title": "Error handling is code too!", "url": "https://cs-syd.eu/posts/2016-03-13-error-handling-is-code-too", "published_at": "2016-03-13T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50c1349fc5", "title": "Be careful recruiters, you're being selected too!", "url": "https://cs-syd.eu/posts/2016-03-06-be-careful-recruiters-youre-being-selected-too", "published_at": "2016-03-06T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50c12f5752", "title": "Testing the Super User Spark with HSpec", "url": "https://cs-syd.eu/posts/2016-02-28-testing-the-super-user-spark-with-hspec", "published_at": "2016-02-28T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50c1044cdf", "title": "Return to taskwarrior", "url": "https://cs-syd.eu/posts/2016-02-21-return-to-taskwarrior", "published_at": "2016-02-21T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50c0c03e95", "title": "Math notation inspired by functional programming", "url": "https://cs-syd.eu/posts/2016-02-14-math-notation-inspired-by-functional-programming", "published_at": "2016-02-14T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50bfeb9a08", "title": "teaching Haskell to a mathematician", "url": "https://cs-syd.eu/posts/2016-02-07-teaching-haskell-to-a-mathematician", "published_at": "2016-02-07T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50bf92f8fa", "title": "A case against going to class", "url": "https://cs-syd.eu/posts/2016-01-31-a-case-against-going-to-class", "published_at": "2016-01-31T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50befd2598", "title": "Erasmus, the good, the bad and the ugly", "url": "https://cs-syd.eu/posts/2016-01-24-erasmus-the-good-the-bad-and-the-ugly", "published_at": "2016-01-24T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50beaab608", "title": "Function equality in Haskell", "url": "https://cs-syd.eu/posts/2016-01-17-function-equality-in-haskell", "published_at": "2016-01-17T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50be4b9c28", "title": "\"Announcement: Teaching/Coaching\"", "url": "https://cs-syd.eu/posts/2016-01-10-announcement-teaching-coaching", "published_at": "2016-01-10T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50be0309c1", "title": "How I optimized for my exam", "url": "https://cs-syd.eu/posts/2015-12-27-how-i-optimized-for-my-exam", "published_at": "2015-12-27T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50bdf2264e", "title": "\"Haphviz: Graphviz code generation with Haskell\"", "url": "https://cs-syd.eu/posts/2015-12-20-haphviz-graphviz-code-generation-with-haskell", "published_at": "2015-12-20T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50bd926419", "title": "\"HESS: Haskell E-mail Scraper Spider\"", "url": "https://cs-syd.eu/posts/2015-12-12-hess-haskell-e-mail-scraper-spider", "published_at": "2015-12-12T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50bcd8737e", "title": "Configuration design style guide", "url": "https://cs-syd.eu/posts/2015-12-06-configuration-design-style-guide", "published_at": "2015-12-06T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50bc0c825a", "title": "Codomains reconsidered", "url": "https://cs-syd.eu/posts/2015-11-30-codomains-reconsidered", "published_at": "2015-11-30T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50bb7bede3", "title": "Do away with predictable boiler-plate using Template Haskell", "url": "https://cs-syd.eu/posts/2015-11-22-do-away-with-predictable-boiler-plate-using-template-haskell", "published_at": "2015-11-22T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50bb3a81bc", "title": "How not to be taken seriously.", "url": "https://cs-syd.eu/posts/2015-11-15-how-not-to-be-taken-seriously", "published_at": "2015-11-15T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50ba7f0bfa", "title": "Grading a small programming competition", "url": "https://cs-syd.eu/posts/2015-10-30-grading-a-small-programming-competition", "published_at": "2015-10-30T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50ba033069", "title": "The responsibility of an appointment", "url": "https://cs-syd.eu/posts/2015-10-25-the-responsibility-of-an-appointment", "published_at": "2015-10-25T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50b92e22c6", "title": "Debugging random segfaults", "url": "https://cs-syd.eu/posts/2015-10-17-debugging-random-segfaults", "published_at": "2015-10-17T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50b88e9f88", "title": "\"Super User Spark: Blocks and Cards\"", "url": "https://cs-syd.eu/posts/2015-10-11-super-user-spark-blocks-and-cards", "published_at": "2015-10-11T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50b75cd8f5", "title": "\"Super User Spark: Getting started\"", "url": "https://cs-syd.eu/posts/2015-09-27-super-user-spark-getting-started", "published_at": "2015-10-04T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50b7d7de39", "title": "\"Super User Spark: Outof and Alternatives\"", "url": "https://cs-syd.eu/posts/2015-10-04-super-user-spark-outof-and-alternatives", "published_at": "2015-10-04T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50b6b111de", "title": "\"Postmortem: Rental Scam\"", "url": "https://cs-syd.eu/posts/2015-09-20-postmortem-rental-scam", "published_at": "2015-09-20T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50b63d277f", "title": "How to brute-force a mathematics course", "url": "https://cs-syd.eu/posts/2015-09-13-how-to-brute-force-a-mathematics-course", "published_at": "2015-09-13T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50b5671bb8", "title": "\"Bucketlist: Lemons\"", "url": "https://cs-syd.eu/posts/2015-08-30-bucketlist-lemons", "published_at": "2015-08-30T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50b5592fc1", "title": "\"EDEN: the project Euler Development ENgine\"", "url": "https://cs-syd.eu/posts/2015-08-23-eden-the-project-euler-development-engine", "published_at": "2015-08-23T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50b4c5e734", "title": "Chronicle, A command-line journal system with optional encryption", "url": "https://cs-syd.eu/posts/2015-08-02-chronicle-a-command-line-journal-system-with-optional-encryption", "published_at": "2015-08-02T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50b3e97062", "title": "A year of blogging", "url": "https://cs-syd.eu/posts/2015-07-26-a-year-of-blogging", "published_at": "2015-07-26T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50b3d3e5fd", "title": "How to synchronise and back up your dotfiles with the Super User Spark", "url": "https://cs-syd.eu/posts/2015-07-19-super-user-spark", "published_at": "2015-07-19T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50b2fbd838", "title": "\"GTD with Taskwarrior, part 5: Doing\"", "url": "https://cs-syd.eu/posts/2015-07-12-gtd-with-taskwarrior-part-5-doing", "published_at": "2015-07-12T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50b2787ba8", "title": "\"GTD with Taskwarrior, part 4: Processing\"", "url": "https://cs-syd.eu/posts/2015-07-05-gtd-with-taskwarrior-part-4-processing", "published_at": "2015-07-05T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50b26484f7", "title": "\"GTD with Taskwarrior, Part 3: Tickling\"", "url": "https://cs-syd.eu/posts/2015-06-28-gtd-with-taskwarrior-part-3-tickling", "published_at": "2015-06-28T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50b172c06a", "title": "\"GTD with Taskwarrior, Part 2: Collection\"", "url": "https://cs-syd.eu/posts/2015-06-21-gtd-with-taskwarrior-part-2-collection", "published_at": "2015-06-21T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50b0ed5896", "title": "\"GTD with Taskwarrior, Part 1: Intro\"", "url": "https://cs-syd.eu/posts/2015-06-14-gtd-with-taskwarrior-part-1-intro", "published_at": "2015-06-14T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50b0716ee3", "title": "Stupidity can break anything - Danny Hughes", "url": "https://cs-syd.eu/quotes/2015-05-17-stupidity-can-break-anything---danny-hughes", "published_at": "2015-05-17T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50af99535c", "title": "Don't find fault, find a remedy. - Henry Ford", "url": "https://cs-syd.eu/quotes/2015-05-03-dont-find-fault-find-a-remedy---henry-ford", "published_at": "2015-05-03T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50af1bd023", "title": "Do you think he plans it all out, or just makes it up as he goes along? - Becket's Officer", "url": "https://cs-syd.eu/quotes/2015-04-12-do-you-think-he-plans-it-all-out-or-just-makes-it-up-as-he-goes-along---beckets-officer", "published_at": "2015-04-12T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50aed80e1c", "title": "How to prevent someone from using your WiFi, or at least annoy them a little", "url": "https://cs-syd.eu/posts/2015-04-05-how-to-prevent-someone-from-using-your-wifi-or-at-least-annoy-them-a-little", "published_at": "2015-04-05T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50aea5d161", "title": "If people do not believe that mathematics is simple, it is only because they do not realize how complicated life is. - John von Neumann", "url": "https://cs-syd.eu/quotes/2015-03-29-if-people-do-not-believe-that-mathematics-is-simple-it-is-only-because-they-do-not-realize-how-complicated-life-is---john-von-neumann", "published_at": "2015-03-29T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50ae5a7545", "title": "A base n numeral system", "url": "https://cs-syd.eu/posts/2015-03-22-a-base-n-numeral-system", "published_at": "2015-03-22T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50ad726e9f", "title": "People often say that motivation doesn't last. Well, neither does bathing - that's why we recommend it daily. - Zig Ziglar", "url": "https://cs-syd.eu/quotes/2015-03-15-people-often-say-that-motivation-doesnt-last-well-neither-does-bathing---thats-why-we-recommend-it-daily---zig-ziglar", "published_at": "2015-03-15T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50ad01404b", "title": "Rows and columns", "url": "https://cs-syd.eu/posts/2015-03-08-rows-and-columns", "published_at": "2015-03-08T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50ac4ab74e", "title": "Why I don't like TV", "url": "https://cs-syd.eu/posts/2015-03-01-why-i-dont-like-tv", "published_at": "2015-03-01T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50aba3e829", "title": "What do we do with our time?", "url": "https://cs-syd.eu/posts/2015-02-22-what-do-we-do-with-our-time", "published_at": "2015-02-22T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50aaaf2186", "title": "Because I didn’t know it couldn’t be done, I was enabled to do it. - Bill Atkinson", "url": "https://cs-syd.eu/quotes/2015-02-15-because-i-didnt-know-it-couldnt-be-done-i-was-enabled-to-do-it---bill-atkinson", "published_at": "2015-02-15T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50aa65d7d7", "title": "Another new keyboard", "url": "https://cs-syd.eu/posts/2015-02-08-another-new-keyboard", "published_at": "2015-02-08T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50a9f5c4b7", "title": "The annoyance of percentages", "url": "https://cs-syd.eu/posts/2015-02-01-the-annoyance-of-percentages", "published_at": "2015-02-01T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50a9059609", "title": "Get some paper, put it in a typewriter, type FADE IN... and keep typing. - Peter Falk", "url": "https://cs-syd.eu/quotes/2015-01-25-get-some-paper-put-it-in-a-typewriter-type-fade-in-and-keep-typing---peter-falk", "published_at": "2015-01-25T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50a878cd5b", "title": "\"A sleep experiment: The results\"", "url": "https://cs-syd.eu/posts/2015-01-18-sleep-experiment-results", "published_at": "2015-01-18T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50a78d65ad", "title": "\"A sleep experiment: The setup\"", "url": "https://cs-syd.eu/posts/2015-01-08-sleep-experiment-setup", "published_at": "2015-01-08T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50a6ae712d", "title": "How to start single-tasking", "url": "https://cs-syd.eu/posts/2015-01-03-how-to-start-single-tasking", "published_at": "2015-01-03T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50a5e364f5", "title": "Every piece of meat I have is the best - Banzan", "url": "https://cs-syd.eu/quotes/2014-12-28-every-piece-of-meat-i-have-is-the-best---banzan", "published_at": "2014-12-28T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50a58c56b4", "title": "Stress free mailboxes", "url": "https://cs-syd.eu/posts/2014-12-21-stress-free-mailboxes", "published_at": "2014-12-21T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50a55791aa", "title": "You don't say \"Good luck!\". You say \"Don't give up!\". - The Roots", "url": "https://cs-syd.eu/quotes/2014-12-14-you-dont-say-good-luck-you-say-dont-give-up---the-roots", "published_at": "2014-12-14T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50a529ab14", "title": "A poor man's backup system", "url": "https://cs-syd.eu/posts/2014-12-07-a-poor-mans-backup-system", "published_at": "2014-12-07T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50a49212bd", "title": "If you’re the smartest person in the room, you’re in the wrong room. - unknown", "url": "https://cs-syd.eu/quotes/2014-11-30-if-youre-the-smartest-person-in-the-room-youre-in-the-wrong-room---unknown", "published_at": "2014-11-30T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50a3ad5958", "title": "Monads by Example", "url": "https://cs-syd.eu/posts/2014-11-23-monads-by-example", "published_at": "2014-11-23T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50a3a49c57", "title": "How to get up early", "url": "https://cs-syd.eu/posts/2014-11-16-how-to-get-up-early", "published_at": "2014-11-16T00:00:00+00:00" }, { "id": "01a08765-42d3-71e4-89ca-bb50a37bcbd5", "title": "I like offending people, because I think people who get offended should be offended. - Linus Torvalds", "url": "https://cs-syd.eu/quotes/2014-11-09-i-like-offending-people-because-i-think-people-who-get-offended-should-be-offended---linus-torvalds", "published_at": "2014-11-09T00:00:00+00:00" } ] posts Claim your blog
Back to cs-syd.eu
Blog · corpus.blog/blogs/cs-syd.eu/posts

cs-syd.eu

cs-syd.eu

2018

Smos: Writing a Purely Functional Semantic Editororiginal ↗
14 Oct 2018
Job Ad: Part-time Remote Virtual Assistantoriginal ↗
28 Sept 2018
Announcing exchangeratesoriginal ↗
14 Sept 2018
Announcing genvalidity-hspec-opticsoriginal ↗
28 Aug 2018
"Speaking" page announcementoriginal ↗
14 Aug 2018
Merge-free synchronisation with mergelessoriginal ↗
28 Jul 2018
Nix, Docker and Haskelloriginal ↗
14 Jul 2018
Website overhaul and supportoriginal ↗
28 Jun 2018
Research as a build system with Shakeoriginal ↗
28 May 2018
Intrayoriginal ↗
28 Apr 2018
How to get less emailoriginal ↗
28 Mar 2018
2017; Year in revieworiginal ↗
28 Jan 2018

2017

Parsing command line argumentsoriginal ↗
28 Dec 2017
Validity Talks with Patatoriginal ↗
28 Nov 2017
The madness of pathsoriginal ↗
28 Oct 2017
Property discovery at Haskell eXchange 2017original ↗
28 Sept 2017
The annoyance of twelve hour clocksoriginal ↗
28 Aug 2017

2016

Poop deprecation and shitty codeoriginal ↗
28 Aug 2016
Safer paths, part 2 - Stop, Reconsider, Contributeoriginal ↗
21 Aug 2016
Safer paths, part 1 - valid and typed pathsoriginal ↗
14 Aug 2016
I have not reached the burrito point yet. - Xavier Goás Aguilillaoriginal ↗
7 Aug 2016
Adding documentation to the GHC APIoriginal ↗
31 Jul 2016
Overcoming Boolean blindness with Evidenceoriginal ↗
24 Jul 2016
Custom validity and validity-based testing in Haskelloriginal ↗
17 Jul 2016
Save time, not moneyoriginal ↗
10 Jul 2016
A configuration loading scheme for tools in Haskelloriginal ↗
26 Jun 2016
Writing a book in Haskelloriginal ↗
19 Jun 2016
A non-trivial term-constraint oracle, and a new Haskell teaching tooloriginal ↗
11 Jun 2016
Estimated reading time in Hakylloriginal ↗
5 Jun 2016
Reducing the number of slot machinesoriginal ↗
29 May 2016
It's not about how others look at me. It's about how I look at myself. - Will Fratallioriginal ↗
22 May 2016
How to teach numbersoriginal ↗
15 May 2016
Mathematical induction, a practical guideoriginal ↗
7 May 2016
A functor is not a boxoriginal ↗
30 Apr 2016
Sometimes magic is just someone spending more time on something than anyone else might reasonably expect. - Raymond Joseph Telleroriginal ↗
24 Apr 2016
Working from home? Wear Clothes!original ↗
17 Apr 2016
Type safe Polyvariadic functions in Haskelloriginal ↗
9 Apr 2016
You don't want to finish life knowing you've never been an additional agenda item. - Zuber Anwaroriginal ↗
3 Apr 2016
Have a day - Unknownoriginal ↗
27 Mar 2016
How to enforce better technical debt practicesoriginal ↗
20 Mar 2016
Error handling is code too!original ↗
13 Mar 2016
Be careful recruiters, you're being selected too!original ↗
6 Mar 2016
Testing the Super User Spark with HSpecoriginal ↗
28 Feb 2016
Return to taskwarriororiginal ↗
21 Feb 2016
Math notation inspired by functional programmingoriginal ↗
14 Feb 2016
teaching Haskell to a mathematicianoriginal ↗
7 Feb 2016
A case against going to classoriginal ↗
31 Jan 2016
Erasmus, the good, the bad and the uglyoriginal ↗
24 Jan 2016
Function equality in Haskelloriginal ↗
17 Jan 2016
"Announcement: Teaching/Coaching"original ↗
10 Jan 2016

2015

How I optimized for my examoriginal ↗
27 Dec 2015
"Haphviz: Graphviz code generation with Haskell"original ↗
20 Dec 2015
"HESS: Haskell E-mail Scraper Spider"original ↗
12 Dec 2015
Configuration design style guideoriginal ↗
6 Dec 2015
Codomains reconsideredoriginal ↗
30 Nov 2015
Do away with predictable boiler-plate using Template Haskelloriginal ↗
22 Nov 2015
How not to be taken seriously.original ↗
15 Nov 2015
Grading a small programming competitionoriginal ↗
30 Oct 2015
The responsibility of an appointmentoriginal ↗
25 Oct 2015
Debugging random segfaultsoriginal ↗
17 Oct 2015
"Super User Spark: Blocks and Cards"original ↗
11 Oct 2015
"Super User Spark: Getting started"original ↗
4 Oct 2015
"Super User Spark: Outof and Alternatives"original ↗
4 Oct 2015
"Postmortem: Rental Scam"original ↗
20 Sept 2015
How to brute-force a mathematics courseoriginal ↗
13 Sept 2015
"Bucketlist: Lemons"original ↗
30 Aug 2015
"EDEN: the project Euler Development ENgine"original ↗
23 Aug 2015
Chronicle, A command-line journal system with optional encryptionoriginal ↗
2 Aug 2015
A year of bloggingoriginal ↗
26 Jul 2015
How to synchronise and back up your dotfiles with the Super User Sparkoriginal ↗
19 Jul 2015
"GTD with Taskwarrior, part 5: Doing"original ↗
12 Jul 2015
"GTD with Taskwarrior, part 4: Processing"original ↗
5 Jul 2015
"GTD with Taskwarrior, Part 3: Tickling"original ↗
28 Jun 2015
"GTD with Taskwarrior, Part 2: Collection"original ↗
21 Jun 2015
"GTD with Taskwarrior, Part 1: Intro"original ↗
14 Jun 2015
Stupidity can break anything - Danny Hughesoriginal ↗
17 May 2015
Don't find fault, find a remedy. - Henry Fordoriginal ↗
3 May 2015
Do you think he plans it all out, or just makes it up as he goes along? - Becket's Officeroriginal ↗
12 Apr 2015
How to prevent someone from using your WiFi, or at least annoy them a littleoriginal ↗
5 Apr 2015
If people do not believe that mathematics is simple, it is only because they do not realize how complicated life is. - John von Neumannoriginal ↗
29 Mar 2015
A base n numeral systemoriginal ↗
22 Mar 2015
People often say that motivation doesn't last. Well, neither does bathing - that's why we recommend it daily. - Zig Ziglaroriginal ↗
15 Mar 2015
Rows and columnsoriginal ↗
8 Mar 2015
Why I don't like TVoriginal ↗
1 Mar 2015
What do we do with our time?original ↗
22 Feb 2015
Because I didn’t know it couldn’t be done, I was enabled to do it. - Bill Atkinsonoriginal ↗
15 Feb 2015
Another new keyboardoriginal ↗
8 Feb 2015
The annoyance of percentagesoriginal ↗
1 Feb 2015
Get some paper, put it in a typewriter, type FADE IN... and keep typing. - Peter Falkoriginal ↗
25 Jan 2015
"A sleep experiment: The results"original ↗
18 Jan 2015
"A sleep experiment: The setup"original ↗
8 Jan 2015
How to start single-taskingoriginal ↗
3 Jan 2015

2014

Every piece of meat I have is the best - Banzanoriginal ↗
28 Dec 2014
Stress free mailboxesoriginal ↗
21 Dec 2014
You don't say "Good luck!". You say "Don't give up!". - The Rootsoriginal ↗
14 Dec 2014
A poor man's backup systemoriginal ↗
7 Dec 2014
If you’re the smartest person in the room, you’re in the wrong room. - unknownoriginal ↗
30 Nov 2014
Monads by Exampleoriginal ↗
23 Nov 2014
How to get up earlyoriginal ↗
16 Nov 2014
I like offending people, because I think people who get offended should be offended. - Linus Torvaldsoriginal ↗
9 Nov 2014
Previous Next