corpus.blog
56,966 blogs · [ { "id": "01a08770-2b0e-737e-8461-9cd57b8fbb0c", "title": "The Impact of Automated Repository Maintenance Assistance", "url": "https://dsyme.net/2026/05/14/the-impact-of-automated-repository-maintenance-assistance/", "published_at": "2026-05-14T00:47:09+00:00" }, { "id": "01a08770-2b0e-737e-8461-9cd57c2757a1", "title": "Understanding Repositories as Human/Agent Knowledge Factories 🚀", "url": "https://dsyme.net/2026/05/05/understanding-repositories-as-human-agent-knowledge-factories-%f0%9f%9a%80/", "published_at": "2026-05-05T21:09:47+00:00" }, { "id": "01a08770-2b0e-737e-8461-9cd57c69a255", "title": "📐Lean Squad: Exploring Automated Software Verification with Near-Zero Human Labour", "url": "https://dsyme.net/2026/04/20/lean-squad-automated-software-verification-with-near-zero-human-labour/", "published_at": "2026-04-20T08:19:59+00:00" }, { "id": "01a08770-2b0e-737e-8461-9cd57d1d8ef6", "title": "Start Your Day With Code That’s Better 🌤️", "url": "https://dsyme.net/2026/03/08/start-your-day-with-code-thats-better/", "published_at": "2026-03-08T13:45:13+00:00" }, { "id": "01a08770-2b0e-737e-8461-9cd57d3578ef", "title": "Adding Weighted Task Selection to a GitHub Agentic Workflow", "url": "https://dsyme.net/2026/03/07/adding-weighted-task-selection-to-a-github-agentic-workflow/", "published_at": "2026-03-07T01:23:33+00:00" }, { "id": "01a08770-2b0e-737e-8461-9cd57e060236", "title": "🌈Repo Assist: Crunching the Technical Debt with GitHub Agentic Workflows", "url": "https://dsyme.net/2026/02/25/repo-assist-a-repository-assistant/", "published_at": "2026-02-25T01:59:37+00:00" }, { "id": "01a08770-2b0e-737e-8461-9cd57e884bca", "title": "On the GitHub Blog: “Automate repository tasks with GitHub Agentic Workflows”", "url": "https://dsyme.net/2026/02/13/automate-repository-tasks-with-github-agentic-workflows/", "published_at": "2026-02-13T17:28:11+00:00" }, { "id": "01a08770-2b0e-737e-8461-9cd57f2bdaa8", "title": "Spike from July 2025: Creating a Programming Language using Coding Agents on GitHub", "url": "https://dsyme.net/2026/02/08/july-2025-creating-a-compiler-with-a-swarm/", "published_at": "2026-02-08T16:14:08+00:00" }, { "id": "01a08770-2b0e-737e-8461-9cd58008c2af", "title": "Generative AI and Changing Inputs", "url": "https://dsyme.net/2026/01/27/generative-ai-and-changing-inputs/", "published_at": "2026-01-27T19:37:30+00:00" }, { "id": "01a08770-2b0e-737e-8461-9cd5807e86e5", "title": "Three Laws of the Business Side of Developer Tools", "url": "https://dsyme.net/2025/11/16/the-three-laws-of-developer-tools/", "published_at": "2025-11-16T01:29:32+00:00" }, { "id": "01a0c509-6dc6-729d-87dc-37a565044256", "title": "Goethe on Coding Agents", "url": "https://dsyme.net/2025/11/12/goethe-on-coding-agents/", "published_at": "2025-11-12T22:56:18+00:00" }, { "id": "01a0c509-6dc6-729d-87dc-37a56563dba4", "title": "Towards Semi-automatic Agentic Performance Engineering", "url": "https://dsyme.net/2025/10/12/towards-semi-automatic-performance-engineering/", "published_at": "2025-10-12T00:20:04+00:00" }, { "id": "01a0c509-6dc6-729d-87dc-37a565e4df31", "title": "Intent, meet Toolchain", "url": "https://dsyme.net/2025/09/24/on-specifications-software-and-tools/", "published_at": "2025-09-24T00:07:48+00:00" }, { "id": "01a0c509-6dc6-729d-87dc-37a565f2e712", "title": "What Kind of Programming is Natural Language Programming?", "url": "https://dsyme.net/2025/09/02/what-kind-of-programming-is-natural-language-programming/", "published_at": "2025-09-02T02:38:57+00:00" }, { "id": "01a0c509-6dc6-729d-87dc-37a56641d464", "title": "The Joys of King’s College London", "url": "https://dsyme.net/2025/08/28/the-joys-of-kings-college-london/", "published_at": "2025-08-28T00:30:15+00:00" }, { "id": "01a0c509-6dc6-729d-87dc-37a56735ded4", "title": "On Natural Language Programming", "url": "https://dsyme.net/2025/08/27/on-natural-language-programming/", "published_at": "2025-08-27T19:02:17+00:00" }, { "id": "01a0c509-6dc6-729d-87dc-37a567a86790", "title": "On Continuous AI for Test Improvement", "url": "https://dsyme.net/2025/08/27/on-continuous-test-improvement/", "published_at": "2025-08-27T15:56:44+00:00" }, { "id": "01a0c509-6dc6-729d-87dc-37a568490034", "title": "GitHub Agentic Workflows", "url": "https://dsyme.net/2025/08/27/github-agentic-workflows/", "published_at": "2025-08-27T14:19:37+00:00" }, { "id": "01a0c509-6dc6-729d-87dc-37a5690ff7d3", "title": "Introducing “Continuous AI”", "url": "https://dsyme.net/2025/06/19/introducing-continuous-ai/", "published_at": "2025-06-19T14:20:24+00:00" }, { "id": "01a0c509-6dc6-729d-87dc-37a56910e632", "title": "AI-assisted Software Development – Trends and Lessons (lecture to 1st year students, KCL)", "url": "https://dsyme.net/2025/05/12/ai-assisted-software-development-trends-and-lessons-lecture-to-1st-year-students-kcl/", "published_at": "2025-05-12T23:44:00+00:00" }, { "id": "01a0c519-b875-70aa-9095-ceb082d33dc6", "title": "LLMs Love Python", "url": "https://dsyme.net/2025/03/21/llms-love-python/", "published_at": "2025-03-21T23:40:00+00:00" }, { "id": "01a0c519-b875-70aa-9095-ceb083a18d11", "title": "Extract, Edit, Apply – a design pattern for AI", "url": "https://dsyme.net/2025/02/12/extract-edit-apply/", "published_at": "2025-02-12T14:37:11+00:00" }, { "id": "01a0c519-b875-70aa-9095-ceb084896ce6", "title": "Copilot Workspace and the birth of Task-Oriented Programming", "url": "https://dsyme.net/2025/01/25/copilot-workspace-and-the-birth-of-task-oriented-programming/", "published_at": "2025-01-25T23:49:00+00:00" }, { "id": "01a0c519-b875-70aa-9095-ceb0852a9bfa", "title": "Origins of Copilot Workspace", "url": "https://dsyme.net/2024/04/29/origins-of-copilot-workspace/", "published_at": "2024-04-29T00:44:00+00:00" }, { "id": "01a0c519-b875-70aa-9095-ceb085f30472", "title": "The Coagent Manifesto", "url": "https://dsyme.net/2023/11/17/the-coagent-manifesto/", "published_at": "2023-11-17T14:23:00+00:00" }, { "id": "01a0c519-b875-70aa-9095-ceb0865ec2f6", "title": "Invited talk to Queens College Computer Science Student Society", "url": "https://dsyme.net/2023/05/14/invited-talk-to-queens-college-computer-science-student/", "published_at": "2023-05-14T03:11:09+00:00" }, { "id": "01a0c519-b875-70aa-9095-ceb0871ec27c", "title": "Augmenting GPT-4 with Calculational Code", "url": "https://dsyme.net/2023/05/04/augmenting-gpt-4-with-calculational-code/", "published_at": "2023-05-04T15:22:00+00:00" }, { "id": "01a0c519-b875-70aa-9095-ceb0872082b1", "title": "Copilot for Pull Requests", "url": "https://dsyme.net/2023/03/27/copilot-for-pull-requests/", "published_at": "2023-03-27T15:28:00+00:00" }, { "id": "01a0c519-b875-70aa-9095-ceb0875e86be", "title": "The Max-Abstraction Impulse, and Everything Else Wrong with Type-Level Genericity", "url": "https://dsyme.net/2022/09/01/the-max-abstraction-impulse-and-everything-else-wrong-with-type-level-genericity/", "published_at": "2022-09-01T22:51:00+00:00" }, { "id": "01a0c519-b875-70aa-9095-ceb087c569e8", "title": "Don ❤️ GitHub Next", "url": "https://dsyme.net/2022/02/10/don-%e2%9d%a4%ef%b8%8f-github-next/", "published_at": "2022-02-10T14:29:00+00:00" }, { "id": "01a0c524-8315-71c5-b880-3eb22ff3f641", "title": "My Position on Type Classes", "url": "https://dsyme.net/2021/09/09/my-position-on-type-classes/", "published_at": "2021-09-09T23:33:00+00:00" }, { "id": "01a0c524-8315-71c5-b880-3eb22ff6e38d", "title": "Narratives in the Early History of F# – HOPL IV", "url": "https://dsyme.net/2021/06/06/narratives-in-the-early-history-of-f-hopl-iv/", "published_at": "2021-06-06T01:05:00+00:00" }, { "id": "01a0c524-8315-71c5-b880-3eb230687dad", "title": "Rethinking Applicatives", "url": "https://dsyme.net/2020/03/20/rethinking-applicatives-in-f/", "published_at": "2020-03-20T13:43:00+00:00" }, { "id": "01a0c524-8315-71c5-b880-3eb230f1bada", "title": "Rethinking Currying", "url": "https://dsyme.net/2020/02/10/on-currying-in-f-10-02-2020/", "published_at": "2020-02-10T13:51:00+00:00" }, { "id": "01a0c524-8315-71c5-b880-3eb2316da1d1", "title": "On Computation expressions, ‘do’ notation and List comprehensions", "url": "https://dsyme.net/2020/01/10/f-computation-expressions-haskell-do-notation-and-list-comprehensions/", "published_at": "2020-01-10T13:48:00+00:00" }, { "id": "01a0c524-8315-71c5-b880-3eb231832c8e", "title": "Distinguished Paper Award at PLDI", "url": "https://dsyme.net/2016/07/22/distinguished-paper-award-at-pldi-2016/", "published_at": "2016-07-22T10:02:08+00:00" }, { "id": "01a0c524-8315-71c5-b880-3eb23252f2d9", "title": "On Names", "url": "https://dsyme.net/2015/10/23/an-open-letter-about-the-terms-f-and-visual-f/", "published_at": "2015-10-23T04:45:00+00:00" }, { "id": "01a0c524-8315-71c5-b880-3eb232d1a62f", "title": "RSDE positions", "url": "https://dsyme.net/2015/01/08/rsde-positions-at-microsoft-research-cambridge/", "published_at": "2015-01-08T07:43:00+00:00" }, { "id": "01a0c524-8315-71c5-b880-3eb2339ae971", "title": "General Purpose Functional GPU Programming", "url": "https://dsyme.net/2014/04/23/latest-developments-in-general-purpose-gpu-programming-with-f/", "published_at": "2014-04-23T04:06:00+00:00" }, { "id": "01a0c524-8315-71c5-b880-3eb23420c7f2", "title": "Functional on Android – Experience Report", "url": "https://dsyme.net/2014/04/01/f-on-android-experience-report/", "published_at": "2014-04-01T05:36:00+00:00" }, { "id": "01a0c530-0eb2-70b4-af7d-e2ab9677a45d", "title": "PhD/Masters-level Internship Positions at MSR", "url": "https://dsyme.net/2014/02/14/phdmasters-level-internship-positions-at-microsoft-research-cambridge/", "published_at": "2014-02-14T07:52:00+00:00" }, { "id": "01a0c530-0eb2-70b4-af7d-e2ab96c6b237", "title": "Researcher/Postdocs at MSR", "url": "https://dsyme.net/2013/12/31/applications-for-researcher-and-postdoc-positions-at-microsoft-research/", "published_at": "2013-12-31T09:47:00+00:00" }, { "id": "01a0c530-0eb2-70b4-af7d-e2ab96cb16d4", "title": "Functional-First Programming in Finance", "url": "https://dsyme.net/2013/12/31/slides-for-succeeding-with-functional-first-programming-in-finance/", "published_at": "2013-12-31T09:21:00+00:00" }, { "id": "01a0c530-0eb2-70b4-af7d-e2ab975fa89e", "title": "Making Magic with Type Providers", "url": "https://dsyme.net/2013/12/05/slides-for-making-magic-with-f-type-providers-at-ndc-london/", "published_at": "2013-12-05T06:53:00+00:00" }, { "id": "01a0c530-0eb2-70b4-af7d-e2ab97a10c34", "title": "A World of Financial Data at your Fingertips, Strongly Tooled and Strongly Typed", "url": "https://dsyme.net/2013/11/29/putting-the-f-in-finance-with-xenomorph-timescape-a-world-of-financial-data-at-your-fingertips-strongly-tooled-and-strongly-typed/", "published_at": "2013-11-29T14:56:45+00:00" }, { "id": "01a0c530-0eb2-70b4-af7d-e2ab97b34bcb", "title": "Contributing to IDEs", "url": "https://dsyme.net/2013/11/29/how-to-contribute-to-the-f-support-in-xamarin-studio-emacs-and-more/", "published_at": "2013-11-29T14:35:00+00:00" }, { "id": "01a0c530-0eb2-70b4-af7d-e2ab9881595d", "title": "Functional Finance – London", "url": "https://dsyme.net/2013/11/13/f-in-finance-london-25-nov-2013/", "published_at": "2013-11-13T12:06:00+00:00" }, { "id": "01a0c530-0eb2-70b4-af7d-e2ab989687e6", "title": "Type Provider for MATLAB", "url": "https://dsyme.net/2013/07/17/f-type-provider-for-matlab-feedback-requested-contributions-welcome/", "published_at": "2013-07-17T14:59:08+00:00" }, { "id": "01a0c530-0eb2-70b4-af7d-e2ab992779ee", "title": "Financial Programming", "url": "https://dsyme.net/2013/07/17/f-deep-dives-chapter-4-financial-programming/", "published_at": "2013-07-17T14:27:00+00:00" }, { "id": "01a0c530-0eb2-70b4-af7d-e2ab99a9d018", "title": "Deep Dives Early Access Program", "url": "https://dsyme.net/2013/07/17/f-deep-dives-early-access-program/", "published_at": "2013-07-17T14:18:00+00:00" }, { "id": "01a0c53a-3988-712f-8060-0add7507a6a5", "title": "Jobs in Functional + Machine Learning + Data, MSR", "url": "https://dsyme.net/2013/07/11/fc-jobs-in-machine-learning-data-tools-microsoft-research-redmond/", "published_at": "2013-07-11T03:37:47+00:00" }, { "id": "01a0c53a-3988-712f-8060-0add75b146bf", "title": "Tonight at Functional Londoners: More ML Hands-on", "url": "https://dsyme.net/2013/07/11/tonight-at-functional-londoners-more-machine-learning-hands-on-with-f/", "published_at": "2013-07-11T03:31:16+00:00" }, { "id": "01a0c53a-3988-712f-8060-0add75d9ae57", "title": "FSCL – Compiling F# to OpenCL for High-Performance over Multi-core and Many-core devices", "url": "https://dsyme.net/2013/06/30/fscl-compiling-f-to-opencl-for-high-performance-over-multi-core-and-many-core-devices/", "published_at": "2013-06-30T14:45:00+00:00" }, { "id": "01a0c53a-3988-712f-8060-0add7601158e", "title": "FunScript – F# to Javascript leveraging TypeScript metadata", "url": "https://dsyme.net/2013/06/19/funscript-f-to-javascript-leveraging-typescript-metadata/", "published_at": "2013-06-19T15:29:56+00:00" }, { "id": "01a0c53a-3988-712f-8060-0add766b2385", "title": "F#/C# positions in Brighton", "url": "https://dsyme.net/2013/06/14/fc-positions-in-brighton/", "published_at": "2013-06-14T09:13:00+00:00" }, { "id": "01a0c53a-3988-712f-8060-0add776299a2", "title": "Senior F# Job in User Interface/Finance in London", "url": "https://dsyme.net/2013/06/14/senior-f-job-in-user-interfacefinance-in-london/", "published_at": "2013-06-14T08:06:00+00:00" }, { "id": "01a0c53a-3988-712f-8060-0add77d85aa0", "title": "Does the language you use make a difference? – Code metrics for “functional-first” v. “object-first” code", "url": "https://dsyme.net/2013/06/14/does-the-language-you-use-make-a-difference-code-metrics-for-functional-first-v-object-first-code/", "published_at": "2013-06-14T05:11:43+00:00" }, { "id": "01a0c53a-3988-712f-8060-0add78d0367c", "title": "F# London Meetup, Thursday: Machine Learning Hands On with F#", "url": "https://dsyme.net/2013/06/11/f-london-meetup-thursday-machine-learning-hands-on-with-f/", "published_at": "2013-06-11T15:10:16+00:00" }, { "id": "01a0c53a-3988-712f-8060-0add78d1886d", "title": "Using Riak MapReduce with F#", "url": "https://dsyme.net/2013/06/04/using-riak-mapreduce-with-f/", "published_at": "2013-06-04T08:54:00+00:00" }, { "id": "01a0c53a-3988-712f-8060-0add78d616d3", "title": "F# London Meetup this Thursday: F# on iPad and iPhone in Xamarin Studio with Neil Danson", "url": "https://dsyme.net/2013/05/28/f-london-meetup-this-thursday-f-on-ipad-and-iphone-in-xamarin-studio-with-neil-danson/", "published_at": "2013-05-28T07:39:31+00:00" }, { "id": "01a0c543-963c-7337-8db5-2d6342be80eb", "title": "IEEE Computer Society Webinar: Try F# for Big and Broad Data – Tuesday May 7", "url": "https://dsyme.net/2013/05/03/ieee-computer-society-webinar-try-f-for-big-and-broad-data-tuesday-may-7/", "published_at": "2013-05-03T10:42:24+00:00" }, { "id": "01a0c543-963c-7337-8db5-2d63439fdacc", "title": "Miguel de Icaza discusses Xamarin support for F# on Channel 9", "url": "https://dsyme.net/2013/04/24/miguel-de-icaza-discusses-xamarin-support-for-f-on-channel-9/", "published_at": "2013-04-24T10:40:00+00:00" }, { "id": "01a0c543-963c-7337-8db5-2d6343c539a9", "title": "Tonight at the F# New York City Meetup: F# MVC for WPF with Dmitry Morozov", "url": "https://dsyme.net/2013/04/23/tonight-at-the-f-new-york-city-meetup-f-mvc-for-wpf-with-dmitry-morozov/", "published_at": "2013-04-23T15:00:48+00:00" }, { "id": "01a0c543-963c-7337-8db5-2d6344878c7a", "title": "F# and QuantLib: An Introduction", "url": "https://dsyme.net/2013/04/23/f-and-quantlib-an-introduction/", "published_at": "2013-04-23T07:45:51+00:00" }, { "id": "01a0c543-963c-7337-8db5-2d6344a5c1bb", "title": "On Today: Online Event: Rachel Reese – Getting Started with F#", "url": "https://dsyme.net/2013/04/16/on-today-online-event-rachel-reese-getting-started-with-f/", "published_at": "2013-04-16T07:24:48+00:00" }, { "id": "01a0c543-963c-7337-8db5-2d6344e9a718", "title": "Learn F# in New York – Fast Track to F# with Tomas Petricek, 30 April – 1 May", "url": "https://dsyme.net/2013/04/10/learn-f-in-new-york-fast-track-to-f-with-tomas-petricek-30-april-1-may/", "published_at": "2013-04-10T09:22:00+00:00" }, { "id": "01a0c543-963c-7337-8db5-2d6345770738", "title": "Learn F# – Hands On: This Thursday, London F# Meetup", "url": "https://dsyme.net/2013/04/10/learn-f-hands-on-this-thursday-london-f-meetup/", "published_at": "2013-04-10T03:56:04+00:00" }, { "id": "01a0c543-963c-7337-8db5-2d63464fe05b", "title": "F# testimonials on fsharp.org", "url": "https://dsyme.net/2013/04/07/f-testimonials-on-fsharp-org/", "published_at": "2013-04-07T11:01:00+00:00" }, { "id": "01a0c543-963c-7337-8db5-2d6346e2bdcc", "title": "“Stati-C/AL Supervision – static analysis for Microsoft Dynamics NAV”", "url": "https://dsyme.net/2013/04/07/stati-cal-supervision-static-analysis-for-microsoft-dynamics-nav/", "published_at": "2013-04-07T05:28:22+00:00" }, { "id": "01a0c543-963c-7337-8db5-2d6346eb81ed", "title": "The F# Weekly #13", "url": "https://dsyme.net/2013/04/07/the-f-weekly-13/", "published_at": "2013-04-07T05:20:02+00:00" }, { "id": "01a0c54c-513e-730c-8e03-1f6f52be611f", "title": "Quote of the Week: “What can C# do that F# cannot?”", "url": "https://dsyme.net/2013/03/25/quote-of-the-week-what-can-c-do-that-f-cannot/", "published_at": "2013-03-25T02:57:00+00:00" }, { "id": "01a0c54c-513e-730c-8e03-1f6f52e3c930", "title": "Asynchronous Programming: From F# to Python", "url": "https://dsyme.net/2013/03/24/asynchronous-programming-from-f-to-python/", "published_at": "2013-03-24T01:48:00+00:00" }, { "id": "01a0c54c-513e-730c-8e03-1f6f53ccf81a", "title": "Thursday at F# London Meetup: The F# 3.0 SQL Server Type Provider – Very Cool, and Very Useful, plus F# 3.0 Dynamics CRM Type Provider", "url": "https://dsyme.net/2013/02/27/thursday-at-f-london-meetup-the-f-3-0-sql-server-type-provider-very-cool-and-very-useful-plus-f-3-0-dynamics-crm-type-provider/", "published_at": "2013-02-27T06:45:00+00:00" }, { "id": "01a0c54c-513e-730c-8e03-1f6f53dbb0f6", "title": "Does the language you choose make a difference?", "url": "https://dsyme.net/2013/02/22/does-the-language-you-choose-make-a-difference/", "published_at": "2013-02-22T10:30:00+00:00" }, { "id": "01a0c54c-513e-730c-8e03-1f6f5476e71f", "title": "Are you working with QuantLib and F#?", "url": "https://dsyme.net/2013/02/05/are-you-working-with-quantlib-and-f/", "published_at": "2013-02-05T15:29:30+00:00" }, { "id": "01a0c54c-513e-730c-8e03-1f6f54ac124f", "title": "Using a Java Framework with F#: The Stanford Parser for NLP", "url": "https://dsyme.net/2013/02/05/using-a-java-framework-with-f-the-stanford-parser-for-nlp/", "published_at": "2013-02-05T13:48:00+00:00" }, { "id": "01a0c54c-513e-730c-8e03-1f6f557ebfb8", "title": "F# Community Code Sprint this Saturday in London", "url": "https://dsyme.net/2013/02/05/f-community-code-sprint-this-saturday-in-london/", "published_at": "2013-02-05T04:18:23+00:00" }, { "id": "01a0c54c-513e-730c-8e03-1f6f5614b844", "title": "Tonight at The SF Bay Area F# Meetup: “Functional Data Structures: Practical F# Applications”", "url": "https://dsyme.net/2013/02/04/tonight-at-the-sf-bay-area-f-meetup-functional-data-structures-practical-f-applications/", "published_at": "2013-02-04T08:26:40+00:00" }, { "id": "01a0c54c-513e-730c-8e03-1f6f562c1a91", "title": "Twelve F# type providers in action", "url": "https://dsyme.net/2013/01/30/twelve-f-type-providers-in-action/", "published_at": "2013-01-30T11:58:00+00:00" }, { "id": "01a0c54c-513e-730c-8e03-1f6f56f139d7", "title": "F# London Meetup Thursday Night: Zach Bray “F# to Javascript, the FunScript way”", "url": "https://dsyme.net/2013/01/30/f-london-meetup-thursday-night-zach-bray-f-to-javascript-the-funscript-way/", "published_at": "2013-01-30T11:34:00+00:00" }, { "id": "01a0c554-b049-718a-b60b-f595bc34445d", "title": "Try F# – Learn, Create and Share F#, from your browser", "url": "https://dsyme.net/2013/01/23/try-f-learn-create-and-share-f-from-your-browser/", "published_at": "2013-01-23T03:29:00+00:00" }, { "id": "01a0c554-b049-718a-b60b-f595bcc95d9c", "title": "F# Emacs Integration", "url": "https://dsyme.net/2013/01/18/f-emacs-integration/", "published_at": "2013-01-18T17:16:32+00:00" }, { "id": "01a0c554-b049-718a-b60b-f595bda366f9", "title": "This Wednesday: F# London Meetup: Systems Information Programming Made Simple with the F# WMI Provider Sample", "url": "https://dsyme.net/2013/01/15/this-wednesday-f-london-meetup-systems-information-programming-made-simple-with-the-f-wmi-provider-sample/", "published_at": "2013-01-15T09:49:00+00:00" }, { "id": "01a0c554-b049-718a-b60b-f595bdf260fc", "title": "F# Londoners Meetup Tomorrow – Freebase with Don Syme", "url": "https://dsyme.net/2012/12/11/f-londoners-meetup-tomorrow-freebase-with-don-syme/", "published_at": "2012-12-11T07:30:00+00:00" }, { "id": "01a0c554-b049-718a-b60b-f595be1de1d1", "title": "QuickLinq Helpers", "url": "https://dsyme.net/2012/12/07/quicklinq-helpers/", "published_at": "2012-12-07T15:30:00+00:00" }, { "id": "01a0c554-b049-718a-b60b-f595be6572bc", "title": "Contract Position in F# Information Rich Programming with Microsoft Research, Cambridge", "url": "https://dsyme.net/2012/12/04/contract-position-in-f-information-rich-programming-with-microsoft-research-cambridge/", "published_at": "2012-12-04T09:59:00+00:00" }, { "id": "01a0c554-b049-718a-b60b-f595bef70956", "title": "This Monday at the SF Bay Area F# Meetup: Building a customizable business rules engine with F#", "url": "https://dsyme.net/2012/11/30/this-monday-at-the-sf-bay-area-f-meetup-building-a-customizable-business-rules-engine-with-f/", "published_at": "2012-11-30T01:15:20+00:00" }, { "id": "01a0c554-b049-718a-b60b-f595bfa90f4a", "title": "Late reminder: New York City F# Meetup Tonight – F# in the Cloud with George Stavroulakis of the {m}brace team", "url": "https://dsyme.net/2012/11/29/late-reminder-new-york-city-f-meetup-tonight-f-in-the-cloud-with-george-stavroulakis-of-the-mbrace-team/", "published_at": "2012-11-29T12:38:00+00:00" }, { "id": "01a0c554-b049-718a-b60b-f595bfcf313f", "title": "Math.NET Numerics v2.3.0 released, with improved F# support", "url": "https://dsyme.net/2012/11/27/math-net-numerics-v2-3-0-released-with-improved-f-support/", "published_at": "2012-11-27T07:49:00+00:00" }, { "id": "01a0c554-b049-718a-b60b-f595c0c4b655", "title": "Expert F# 3.0", "url": "https://dsyme.net/2012/11/12/expert-f-3-0/", "published_at": "2012-11-12T06:33:25+00:00" }, { "id": "01a0c55d-063b-72e5-bcf3-bfebef23779d", "title": "MSR Silicon Valley, Tuesday 3pm – Reconsidering Strongly Typed Programming Languages for the Information-Rich World", "url": "https://dsyme.net/2012/11/12/msr-silicon-valley-tuesday-3pm-reconsidering-strongly-typed-programming-languages-for-the-information-rich-world/", "published_at": "2012-11-12T05:23:00+00:00" }, { "id": "01a0c55d-063b-72e5-bcf3-bfebefb2737a", "title": "Community for F# Online Meetup – “The F# Foundation” with Tomas Petricek and Phil Trelford – Thursday Nov 8 2012", "url": "https://dsyme.net/2012/11/05/community-for-f-online-meetup-the-f-foundation-with-tomas-petricek-and-phil-trelford-thursday-nov-8-2012/", "published_at": "2012-11-05T23:58:00+00:00" }, { "id": "01a0c55d-063b-72e5-bcf3-bfebf01f2afe", "title": "F# Job in Facebook Social Gaming, London", "url": "https://dsyme.net/2012/10/23/f-job-in-facebook-social-gaming-london/", "published_at": "2012-10-23T13:39:00+00:00" }, { "id": "01a0c55d-063b-72e5-bcf3-bfebf083560a", "title": "Next F#unctional Londoners Meetup – F# on the GPU with Alea.CUDA, Thursday, October 18, 2012", "url": "https://dsyme.net/2012/10/11/next-functional-londoners-meetup-f-on-the-gpu-with-alea-cuda-thursday-october-18-2012/", "published_at": "2012-10-11T13:26:40+00:00" }, { "id": "01a0c55d-063b-72e5-bcf3-bfebf17a67c9", "title": "Extended Submission Deadline for DDFP 2013: Now October 15", "url": "https://dsyme.net/2012/10/09/extended-submission-deadline-for-ddfp-2013-now-october-15/", "published_at": "2012-10-09T09:08:00+00:00" }, { "id": "01a0c55d-063b-72e5-bcf3-bfebf1c07ceb", "title": "Reminder: Submission Deadline for “Data Driven Functional Programming 2013”", "url": "https://dsyme.net/2012/10/08/reminder-submission-deadline-for-data-driven-functional-programming-2013/", "published_at": "2012-10-08T06:26:00+00:00" }, { "id": "01a0c55d-063b-72e5-bcf3-bfebf2521e2f", "title": "F# Talk at NVIDIA Global Technology Conference 2012 – “New Generation GPU Accelerated Financial Quant Libraries”", "url": "https://dsyme.net/2012/09/27/f-talk-at-nvidia-global-technology-conference-2012-new-generation-gpu-accelerated-financial-quant-libraries/", "published_at": "2012-09-27T00:42:00+00:00" }, { "id": "01a0c55d-063b-72e5-bcf3-bfebf337f36b", "title": "The F# 3.0 Freebase Type Provider Sample – Integrating Internet-Scale Data Sources into a Strongly Typed Language", "url": "https://dsyme.net/2012/09/21/the-f-3-0-freebase-type-provider-sample-integrating-internet-scale-data-sources-into-a-strongly-typed-language/", "published_at": "2012-09-21T12:52:22+00:00" }, { "id": "01a0c55d-063b-72e5-bcf3-bfebf37d6026", "title": "New Tech Report from Microsoft Research: Strongly-Typed Language Support for Internet-Scale Information Sources", "url": "https://dsyme.net/2012/09/21/new-tech-report-from-microsoft-research-strongly-typed-language-support-for-internet-scale-information-sources/", "published_at": "2012-09-21T09:33:00+00:00" }, { "id": "01a0c55d-063b-72e5-bcf3-bfebf446247c", "title": "Announcing F# Tools for Visual Studio Express 2012 for Web!", "url": "https://dsyme.net/2012/09/12/announcing-f-tools-for-visual-studio-express-2012-for-web/", "published_at": "2012-09-12T11:03:00+00:00" } ] posts Claim your blog
Back to dsyme.net
Blog · corpus.blog/blogs/dsyme.net/posts

dsyme.net

dsyme.net

2026

The Impact of Automated Repository Maintenance Assistanceoriginal ↗
14 May 2026
Understanding Repositories as Human/Agent Knowledge Factories 🚀original ↗
5 May 2026
📐Lean Squad: Exploring Automated Software Verification with Near-Zero Human Labouroriginal ↗
20 Apr 2026
Start Your Day With Code That’s Better 🌤️original ↗
8 Mar 2026
Adding Weighted Task Selection to a GitHub Agentic Workfloworiginal ↗
7 Mar 2026
🌈Repo Assist: Crunching the Technical Debt with GitHub Agentic Workflowsoriginal ↗
25 Feb 2026
On the GitHub Blog: “Automate repository tasks with GitHub Agentic Workflows”original ↗
13 Feb 2026
Spike from July 2025: Creating a Programming Language using Coding Agents on GitHuboriginal ↗
8 Feb 2026
Generative AI and Changing Inputsoriginal ↗
27 Jan 2026

2025

Three Laws of the Business Side of Developer Toolsoriginal ↗
16 Nov 2025
Goethe on Coding Agentsoriginal ↗
12 Nov 2025
Towards Semi-automatic Agentic Performance Engineeringoriginal ↗
12 Oct 2025
Intent, meet Toolchainoriginal ↗
24 Sept 2025
What Kind of Programming is Natural Language Programming?original ↗
2 Sept 2025
The Joys of King’s College Londonoriginal ↗
28 Aug 2025
On Natural Language Programmingoriginal ↗
27 Aug 2025
On Continuous AI for Test Improvementoriginal ↗
27 Aug 2025
GitHub Agentic Workflowsoriginal ↗
27 Aug 2025
Introducing “Continuous AI”original ↗
19 Jun 2025
AI-assisted Software Development – Trends and Lessons (lecture to 1st year students, KCL)original ↗
12 May 2025
LLMs Love Pythonoriginal ↗
21 Mar 2025
Extract, Edit, Apply – a design pattern for AIoriginal ↗
12 Feb 2025
Copilot Workspace and the birth of Task-Oriented Programmingoriginal ↗
25 Jan 2025

2024

Origins of Copilot Workspaceoriginal ↗
29 Apr 2024

2023

The Coagent Manifestooriginal ↗
17 Nov 2023
Invited talk to Queens College Computer Science Student Societyoriginal ↗
14 May 2023
Augmenting GPT-4 with Calculational Codeoriginal ↗
4 May 2023
Copilot for Pull Requestsoriginal ↗
27 Mar 2023

2022

The Max-Abstraction Impulse, and Everything Else Wrong with Type-Level Genericityoriginal ↗
1 Sept 2022
Don ❤️ GitHub Nextoriginal ↗
10 Feb 2022

2021

My Position on Type Classesoriginal ↗
9 Sept 2021
Narratives in the Early History of F# – HOPL IVoriginal ↗
6 Jun 2021

2020

Rethinking Applicativesoriginal ↗
20 Mar 2020
Rethinking Curryingoriginal ↗
10 Feb 2020
On Computation expressions, ‘do’ notation and List comprehensionsoriginal ↗
10 Jan 2020

2016

Distinguished Paper Award at PLDIoriginal ↗
22 Jul 2016

2015

On Namesoriginal ↗
23 Oct 2015
RSDE positionsoriginal ↗
8 Jan 2015

2014

General Purpose Functional GPU Programmingoriginal ↗
23 Apr 2014
Functional on Android – Experience Reportoriginal ↗
1 Apr 2014
PhD/Masters-level Internship Positions at MSRoriginal ↗
14 Feb 2014

2013

Researcher/Postdocs at MSRoriginal ↗
31 Dec 2013
Functional-First Programming in Financeoriginal ↗
31 Dec 2013
Making Magic with Type Providersoriginal ↗
5 Dec 2013
A World of Financial Data at your Fingertips, Strongly Tooled and Strongly Typedoriginal ↗
29 Nov 2013
Contributing to IDEsoriginal ↗
29 Nov 2013
Functional Finance – Londonoriginal ↗
13 Nov 2013
Type Provider for MATLABoriginal ↗
17 Jul 2013
Financial Programmingoriginal ↗
17 Jul 2013
Deep Dives Early Access Programoriginal ↗
17 Jul 2013
Jobs in Functional + Machine Learning + Data, MSRoriginal ↗
11 Jul 2013
Tonight at Functional Londoners: More ML Hands-onoriginal ↗
11 Jul 2013
FSCL – Compiling F# to OpenCL for High-Performance over Multi-core and Many-core devicesoriginal ↗
30 Jun 2013
FunScript – F# to Javascript leveraging TypeScript metadataoriginal ↗
19 Jun 2013
F#/C# positions in Brightonoriginal ↗
14 Jun 2013
Senior F# Job in User Interface/Finance in Londonoriginal ↗
14 Jun 2013
Does the language you use make a difference? – Code metrics for “functional-first” v. “object-first” codeoriginal ↗
14 Jun 2013
F# London Meetup, Thursday: Machine Learning Hands On with F#original ↗
11 Jun 2013
Using Riak MapReduce with F#original ↗
4 Jun 2013
F# London Meetup this Thursday: F# on iPad and iPhone in Xamarin Studio with Neil Dansonoriginal ↗
28 May 2013
IEEE Computer Society Webinar: Try F# for Big and Broad Data – Tuesday May 7original ↗
3 May 2013
Miguel de Icaza discusses Xamarin support for F# on Channel 9original ↗
24 Apr 2013
Tonight at the F# New York City Meetup: F# MVC for WPF with Dmitry Morozovoriginal ↗
23 Apr 2013
F# and QuantLib: An Introductionoriginal ↗
23 Apr 2013
On Today: Online Event: Rachel Reese – Getting Started with F#original ↗
16 Apr 2013
Learn F# in New York – Fast Track to F# with Tomas Petricek, 30 April – 1 Mayoriginal ↗
10 Apr 2013
Learn F# – Hands On: This Thursday, London F# Meetuporiginal ↗
10 Apr 2013
F# testimonials on fsharp.orgoriginal ↗
7 Apr 2013
“Stati-C/AL Supervision – static analysis for Microsoft Dynamics NAV”original ↗
7 Apr 2013
The F# Weekly #13original ↗
7 Apr 2013
Quote of the Week: “What can C# do that F# cannot?”original ↗
25 Mar 2013
Asynchronous Programming: From F# to Pythonoriginal ↗
24 Mar 2013
Thursday at F# London Meetup: The F# 3.0 SQL Server Type Provider – Very Cool, and Very Useful, plus F# 3.0 Dynamics CRM Type Provideroriginal ↗
27 Feb 2013
Does the language you choose make a difference?original ↗
22 Feb 2013
Are you working with QuantLib and F#?original ↗
5 Feb 2013
Using a Java Framework with F#: The Stanford Parser for NLPoriginal ↗
5 Feb 2013
F# Community Code Sprint this Saturday in Londonoriginal ↗
5 Feb 2013
Tonight at The SF Bay Area F# Meetup: “Functional Data Structures: Practical F# Applications”original ↗
4 Feb 2013
Twelve F# type providers in actionoriginal ↗
30 Jan 2013
F# London Meetup Thursday Night: Zach Bray “F# to Javascript, the FunScript way”original ↗
30 Jan 2013
Try F# – Learn, Create and Share F#, from your browseroriginal ↗
23 Jan 2013
F# Emacs Integrationoriginal ↗
18 Jan 2013
This Wednesday: F# London Meetup: Systems Information Programming Made Simple with the F# WMI Provider Sampleoriginal ↗
15 Jan 2013

2012

F# Londoners Meetup Tomorrow – Freebase with Don Symeoriginal ↗
11 Dec 2012
QuickLinq Helpersoriginal ↗
7 Dec 2012
Contract Position in F# Information Rich Programming with Microsoft Research, Cambridgeoriginal ↗
4 Dec 2012
This Monday at the SF Bay Area F# Meetup: Building a customizable business rules engine with F#original ↗
30 Nov 2012
Late reminder: New York City F# Meetup Tonight – F# in the Cloud with George Stavroulakis of the {m}brace teamoriginal ↗
29 Nov 2012
Math.NET Numerics v2.3.0 released, with improved F# supportoriginal ↗
27 Nov 2012
Expert F# 3.0original ↗
12 Nov 2012
MSR Silicon Valley, Tuesday 3pm – Reconsidering Strongly Typed Programming Languages for the Information-Rich Worldoriginal ↗
12 Nov 2012
Community for F# Online Meetup – “The F# Foundation” with Tomas Petricek and Phil Trelford – Thursday Nov 8 2012original ↗
5 Nov 2012
F# Job in Facebook Social Gaming, Londonoriginal ↗
23 Oct 2012
Next F#unctional Londoners Meetup – F# on the GPU with Alea.CUDA, Thursday, October 18, 2012original ↗
11 Oct 2012
Extended Submission Deadline for DDFP 2013: Now October 15original ↗
9 Oct 2012
Reminder: Submission Deadline for “Data Driven Functional Programming 2013”original ↗
8 Oct 2012
F# Talk at NVIDIA Global Technology Conference 2012 – “New Generation GPU Accelerated Financial Quant Libraries”original ↗
27 Sept 2012
The F# 3.0 Freebase Type Provider Sample – Integrating Internet-Scale Data Sources into a Strongly Typed Languageoriginal ↗
21 Sept 2012
New Tech Report from Microsoft Research: Strongly-Typed Language Support for Internet-Scale Information Sourcesoriginal ↗
21 Sept 2012
Announcing F# Tools for Visual Studio Express 2012 for Web!original ↗
12 Sept 2012
Next