Skip to content

@dsyme on software

Don Syme, GitHub Next, Visiting Professor, King's College London

Tag: F# Formal Methods

F# Job in Bay Area – Formal Methods – Space Systems Loral

Regular readers of my blog will know that from time to time I pass on links to job listings for F# programmers, as a courtesy to the F# community.If you have a job listing you'd like posted, please let me know! Space Systems Loral in the Bay Area are looking for an F# programmer with … Continue reading F# Job in Bay Area – Formal Methods – Space Systems Loral →

dsyme Uncategorized Leave a comment May 9, 2011 2 Minutes

Top Posts & Pages

  • 📐Lean Squad: Exploring Automated Software Verification with Near-Zero Human Labour
  • The Impact of Automated Repository Maintenance Assistance
  • On Natural Language Programming
  • Three Laws of the Business Side of Developer Tools
  • What Kind of Programming is Natural Language Programming?
  • Adding Weighted Task Selection to a GitHub Agentic Workflow
  • Some Details on F# Computation Expressions
  • 🌈Repo Assist: Crunching the Technical Debt with GitHub Agentic Workflows
  • Start Your Day With Code That’s Better 🌤️
  • Introducing "Continuous AI"

Blog at WordPress.com.
  • Subscribe Subscribed
    • @dsyme on software
    • Already have a WordPress.com account? Log in now.
    • @dsyme on software
    • Subscribe Subscribed
    • Sign up
    • Log in
    • Report this content
    • View site in Reader
    • Manage subscriptions
    • Collapse this bar