OrlaghNeary

Project Coyote from Microsoft - find and reproduce deep concurrency bugs in your .NET code

First time posting here and disclaimer, I work with Microsoft! I partner with Microsoft Research and there are so many cool projects underway we thought it could be useful to share more about them. One such research project is Coyote: Tech Minutes - Project Coyote Coyote gives the ability to write powerful, expressive tests for exercising the concurrency in your code. If useful to this community, when we have new projects I can continue to share. LMK!

2 comments

#microsoft #concurrency #coyote #dot-net

7 1428 2

2021-05-16 06:02:07 UTC

Most Liked

OrlaghNeary

Thanks Aston! It sure is!

Post #4

AstonJ

Welcome Orlagh and thanks for posting about Coyote! Is it designed to be used with .NET? If so I’ve added that to the title and moved to the Backend Libraries section (if not please let me know!)

Also off-topic… but I loved your Javascript screencasts: Free JavaScript for beginners videos from Microsoft and would love to see you do similar for TypeScript - perhaps you can nudge the team in that direction?

Post #3

Where Next?

View thread on forum

microsoft

concurrency

coyote

dot-net

Home Backend>Libraries/Tools

#microsoft #concurrency #coyote #dot-net

7 1428 2

Last post

Popular Backend topics

Backend>Libraries/Tools

Ali - A load testing tool aimed to perform real-time analysis

This looks pretty neat. What are your thoughts?

#terminal #load-testing

2 1126 1

2020-10-04 17:47:53 UTC

New

Backend>Libraries/Tools

MongooseIM 4.0 release

MongooseIM is a massively scalable Instant Messaging server, designed to provide flexibility and reliability for almost any messaging use...

#app-chat #backend-development #instant-messaging #xmpp #mongooseim

2 1219 0

2020-10-15 16:32:03 UTC

New

Backend>Libraries/Tools

GCC Rust: GCC Front-End for Rust

This is a full alternative implementaion of the Rust language ontop of GCC which the goal to become fully upstream with the GNU toolchain...

github.com

/rust

0 1147 0

2021-01-10 22:22:50 UTC

New

Backend>Libraries/Tools

Use wagoodman/dive tool to explore the docker image layers

A tool for exploring a docker image, layer contents, and discovering ways to shrink the size of your Docker/OCI image.

github.com

#linux #macs #docker #backend

6 1204 3

2021-01-30 01:13:42 UTC

New

Backend>Libraries/Tools

Artichoke Ruby Architecture - a modular Ruby implementation written in Rust

:gem: Artichoke Ruby is a modular Ruby implementation written in Rust. Artichoke is made up of several Rust libraries, called crates, whi...

github.com

/ruby /rust

0 1199 0

2021-02-14 07:33:28 UTC

New

Backend>Libraries/Tools

Bash-LSP: A language server for Bash

bash-lsp/bash-language-server. A language server for Bash. Contribute to bash-lsp/bash-language-server development by creating an accoun...

github.com

#bash

0 949 0

2021-04-06 01:40:55 UTC

New

Backend>Libraries/Tools

Gooey: Turn almost any Python command line program into a GUI application

Turn (almost) any Python command line program into a full GUI application with one line

github.com

/python

0 1047 0

2021-06-16 12:57:40 UTC

New

Backend>Libraries/Tools

Rhizome – a JIT for Ruby, implemented in pure Ruby

Rhizome is a paedagogical just-in-time compiler (JIT) for Ruby, implemented in pure Ruby. It’s not really designed to be used. It’s desig...

github.com

/ruby #jit

5 1172 1

2021-06-24 21:00:34 UTC

New

Backend>Libraries/Tools

Parser for Markdown Family

Md, a library to parse markdown and markdown-like syntaxes, has been released. Fully-customizable syntax, blazingly fast (5× compared to...

rocket-science.ru

/elixir /markdown

9 1073 1

2022-05-03 01:13:17 UTC

New

Backend>Libraries/Tools

Matching Wildcards in Rust

I’m not the first developer to code a method dedicated to matching the classic ‘*’ and ‘?’ wildcards in Rust. But I may be the first to...

/rust #article

1 267 0

2025-08-12 00:22:22 UTC

New

Other popular topics

Science/Tech>Tech Chat

Games! Which do you play?

Which, if any, games do you play? On what platform? I just bought (and completed) Minecraft Dungeons for my Nintendo Switch. Other than ...

#games

246 5882 101

2024-08-22 11:09:29 UTC

New

General Dev>Hardware

What monitor(s) do you have for programming?

Please tell us what is your preferred monitor setup for programming(not gaming) and why you have chosen it. Does your monitor have eye p...

#monitors #coding #programming #development

227 10159 88

2022-02-01 12:02:08 UTC

New

General Dev>Hardware

Moonlander Keyboard (Mechanical) (Ergonomic) (Split) (Ortholinear)

Bought the Moonlander mechanical keyboard. Cherry Brown MX switches. Arms and wrists have been hurting enough that it’s time I did someth...

#hardware /keyboards #moonlander #mechanical-keyboards #ortholinear #ergonomic

212 16447 90

2021-07-13 15:33:55 UTC

New

Linux>Questions

What is the most minimalist Linux server distro?

I am asking for any distro that only has the bare-bones to be able to get a shell in the server and then just install the packages as we ...

#linux #servers

66 23964 24

2022-04-13 13:30:03 UTC

New

General Dev>Dev Chat

Languages Without Garbage Collection

Continuing the discussion from Thinking about learning Crystal, let’s discuss - I was wondering which languages don’t GC - maybe we can c...

#garbage-collection

21 5189 7

2021-05-06 05:54:58 UTC

New

Community>In The Spotlight

Spotlight: Bruce Tate (Author) Interview and AMA!

Author Spotlight: Bruce Tate @redrapids Programming languages always emerge out of need, and if that’s not always true, they’re defin...

/elixir /ruby /phoenix /book-seven-more-languages-in-seven-weeks /book-seven-languages-in-seven-weeks #liveview /book-programming-phoenix-liveview

54 4972 23

2023-10-17 17:14:03 UTC

New

General Dev>Learning Resources

A Common-Sense Guide to Data Structures and Algorithms in Python, Volume 1

Big O Notation can make your code faster by orders of magnitude. Get the hands-on info you need to master data structures and algorithms ...

pragprog.com

#pragprog /python #published-book /book-a-common-sense-guide-to-data-structures-and-algorithms-in-python-volume-1

24 3803 11

2024-01-29 15:52:29 UTC

New

Backend>Learning Resources

Ash Framework

Explore the power of Ash Framework by modeling and building the domain for a real-world web application. Rebecca Le @sevenseacat and ...

pragprog.com

#pragprog /elixir #published-book /ash /book-ash-framework

15 5191 9

2025-02-06 12:19:21 UTC

New

AI>In The News

DeepSeek (671B) running on a cluster of 8 Mac Mini Pros with 64GB RAM each

This is cool! DEEPSEEK-V3 ON M4 MAC: BLAZING FAST INFERENCE ON APPLE SILICON We just witnessed something incredible: the largest open-s...

#ai #macs /deepseek

0 5576 1

2025-01-29 18:43:37 UTC

New

AI>Questions

What are the best text-to-speech ai generation tools that you can run locally?

Background Lately I am in a quest to find a good quality TTS ai generation tool to run locally in order to create audio for some videos I...

#ai #text-to-speech

6 5092 3

2025-03-24 16:48:39 UTC

New

Project Coyote from Microsoft - find and reproduce deep concurrency bugs in your .NET code

OrlaghNeary

Project Coyote from Microsoft - find and reproduce deep concurrency bugs in your .NET code

Most Liked

OrlaghNeary

AstonJ

Where Next?

Popular Backend topics

Ali - A load testing tool aimed to perform real-time analysis

MongooseIM 4.0 release

GCC Rust: GCC Front-End for Rust

Use wagoodman/dive tool to explore the docker image layers

Artichoke Ruby Architecture - a modular Ruby implementation written in Rust

Bash-LSP: A language server for Bash

Gooey: Turn almost any Python command line program into a GUI application

Rhizome – a JIT for Ruby, implemented in pure Ruby

Parser for Markdown Family

Matching Wildcards in Rust

Other popular topics

Games! Which do you play?

What monitor(s) do you have for programming?

Moonlander Keyboard (Mechanical) (Ergonomic) (Split) (Ortholinear)

What is the most minimalist Linux server distro?

Languages Without Garbage Collection

Spotlight: Bruce Tate (Author) Interview and AMA!

A Common-Sense Guide to Data Structures and Algorithms in Python, Volume 1

Ash Framework

DeepSeek (671B) running on a cluster of 8 Mac Mini Pros with 64GB RAM each

What are the best text-to-speech ai generation tools that you can run locally?

Backend>Libraries/Tools

Latest on Devtalk

We ❤️ helpful members!

Categories:

Sub Categories:

Popular Portals

We're in Beta

Project Coyote from Microsoft - find and reproduce deep concurrency bugs in your .NET code

OrlaghNeary

Project Coyote from Microsoft - find and reproduce deep concurrency bugs in your .NET code

Most Liked

OrlaghNeary

AstonJ

Where Next?

Popular Backend topics

Ali - A load testing tool aimed to perform real-time analysis

MongooseIM 4.0 release

GCC Rust: GCC Front-End for Rust

Use wagoodman/dive tool to explore the docker image layers

Artichoke Ruby Architecture - a modular Ruby implementation written in Rust

Bash-LSP: A language server for Bash

Gooey: Turn almost any Python command line program into a GUI application

Rhizome – a JIT for Ruby, implemented in pure Ruby

Parser for Markdown Family

Matching Wildcards in Rust

Other popular topics

Games! Which do you play?

What monitor(s) do you have for programming?

Moonlander Keyboard (Mechanical) (Ergonomic) (Split) (Ortholinear)

What is the most minimalist Linux server distro?

Languages Without Garbage Collection

Spotlight: Bruce Tate (Author) Interview and AMA!

A Common-Sense Guide to Data Structures and Algorithms in Python, Volume 1

Ash Framework

DeepSeek (671B) running on a cluster of 8 Mac Mini Pros with 64GB RAM each

What are the best text-to-speech ai generation tools that you can run locally?

Sponsor Spotlight

Backend>Libraries/Tools

Latest on Devtalk

We ❤️ helpful members!

Devtalk Sponsors

Categories:

Sub Categories:

Popular Portals

Devtalk Sponsors

We're in Beta