Backend>Libraries/Tools

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

OrlaghNeary

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 1543 2

Most Liked

OrlaghNeary

OrlaghNeary

Thanks Aston! It sure is!

2
Post #4
AstonJ

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 :nerd_face: (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? :smiley:

1
Post #3

Where Next?

View thread on forum
microsoft
concurrency
coyote
dot-net
Home Backend>Libraries/Tools
#microsoft#concurrency#coyote#dot-net
7 1543 2
Last post

Popular Backend topics Top

ErlangSolutions
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 1348 0
New
First poster: bot
Backend>Libraries/Tools

RuboCop 1.0
RuboCop 1.0. If at first you don’t succeed, call it version 1.0. RuboCop’s development started exactly 7 and half years ago. I made the ...
metaredux.com
/ruby#rubocop
0 1325 0
New
CommunityNews
Backend>Libraries/Tools

Wasmer - server-side WebAssembly
Runtime and compiler performance is out of this world. New features include better error handling, a more powerful API, cross-compilation...
medium.com
/wasm
4 1769 1
New
Exadra37
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 1371 3
New
First poster: bot
Backend>Libraries/Tools

Deep Daze - Text to Image Generation
Simple command line tool for text to image generation using OpenAI’s CLIP and Siren (Implicit neural representation network) - lucidrains...
github.com
0 1618 0
New
First poster: bot
Backend>Libraries/Tools

Maddy: Composable all-in-one mail server
Maddy Mail Server implements all functionality required to run a e-mail server. It can send messages via SMTP (works as MTA), accept mess...
maddy.email
0 930 0
New
First poster: bot
Backend>Libraries/Tools

Check If Email Exists - written in Rust
Check if an email address exists without sending any email, written in Rust.
github.com
#email
2 1141 0
New
mudasobwa
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 1207 1
New
kagermanov27
Backend>Libraries/Tools

Open Source AI Parser for HTML Elements
Daath AI Parser is an open-source application that uses OpenAI to parse visible text of HTML elements. Interactive Example on Replit Li...
#ai#ml/python#machine-learning/html#json#online-tools#dev-tools#chatgpt#parser#gpt3#webscraping#artificial#openai
4 1582 1
New
kirkjkrauss
Backend>Libraries/Tools

Matching wildcards – UTF-8-ready – in Go, Swift, and C/C++
In August, I came up with an algorithmic method for matching wildcards in Rust and had no trouble making it UTF-8-ready. I realized the ...
/go/swift#algorithms/c#cpp#style#dynamic-code-analysis
0 0 0
New

Other popular topics Top

PragmaticBookshelf
General Dev>Learning Resources

A Common-Sense Guide to Data Structures and Algorithms, Second Edition
Algorithms and data structures are much more than abstract concepts. Mastering them enables you to write code that runs faster and more e...
pragprog.com
#pragprog/python/ruby#published-book/book-a-common-sense-guide-to-data-structures-and-algorithms-second-edition#math#algorithms/js
19 6022 5
New
DevotionGeo
Backend>Chat

What is the reason behind Rust’s web framework, Rocket, not performing as well as expected in the Techempower benchmarks?
I know that these benchmarks might not be the exact picture of real-world scenario, but still I expect a Rust web framework performing a ...
#web-frameworks/rust
36 7463 11
New
First poster: bot
Backend>In The News

Bit – A modernized Git CLI written in Go
github.com
/go#git
1 5920 0
New
Maartz
General Dev>Dev Chat

Roc Language - a new purely functional programming language built for speed and ergonomics
Hi folks, I don’t know if I saw this here but, here’s a new programming language, called Roc Reminds me a bit of Elm and thus Haskell. ...
#programminguages#functional-programming
49 5164 14
New
AstonJ
Science/Tech>Health & Diet

David Sinclair's new Lifespan podcast
We’ve talked about his book briefly here but it is quickly becoming obsolete - so he’s decided to create a series of 7 podcasts, the firs...
#health#podcasts#bio-hackers#david-sinclair
87 6790 49
New
PragmaticBookshelf
Community>In The Spotlight

Spotlight: Dmitry Zinoviev (Author) Interview and AMA!
Author Spotlight Dmitry Zinoviev @aqsaqal Today we’re putting our spotlight on Dmitry Zinoviev, author of Data Science Essentials in ...
#author-spotlight/python/book-complex-network-analysis-in-python/book-data-science-essentials-in-python/book-resourceful-code-reuse/book-pythonic-programming
33 5211 14
New
AstonJ
Frontend>Chat

Online Hand to eye coordination test
Was just curious to see if any were around, found this one: I got 51/100: Not sure if it was meant to buy I am sure at times the b...
#online-tools
4 4562 1
New
hilfordjames
Windows>Chat

Taskbar Overflow Menu (NOT System Tray Overflow)
There appears to have been an update that has changed the terminology for what has previously been known as the Taskbar Overflow - this h...
#taskbar-overflow-win-11
3 3715 2
New
CommunityNews
General Dev>In The News

X can’t stop spread of explicit, fake AI Taylor Swift images
Will Swifties’ war on AI fakes spark a deepfake porn reckoning?
arstechnica.com
/swift
0 8379 0
New
AstonJ
AI>Chat

Post your DeepSeek results
Curious what kind of results others are getting, I think actually prefer the 7B model to the 32B model, not only is it faster but the qua...
/deepseek
15 4275 15
New
Back to top

Sponsor Spotlight

EEF

Supporting innovation across the BEAM ecosystem.

Backend>Libraries/Tools

Backend Libraries/Tools ❯

Latest on Devtalk

Devtalk ❯

We ❤️ helpful members!

We reward our most helpful members via our MOTM scheme - by giving away a whopping 25 books per year!

Member of the Month

Devtalk Sponsors

Pragmatic Bookshelf

Practical resources that improve the lives of professional developers.

Erlang Solutions

We build trusted fault-tolerant systems that scale to billions of users.

Honeybadger

Real-time error tracking, performance insights, and observability for devs.

EEF

Supporting innovation across the BEAM ecosystem.

coders51

We build reliable cloud platforms for business-critical systems.

Manning Publications

Develop your skills with books, videos, and courses.

AppSignal

Catch errors, track performance, monitor hosts and more.

WyeWorks

Enabling companies to succeed by building software people love.

Pragmatic Studio

Courses that move you from confusion to "Aha, now I get it!"

View all our sponsors ❯

Categories:

Sub Categories:

Popular Portals

Devtalk Sponsors

Pragmatic Bookshelf

Practical resources that improve the lives of professional developers.

Erlang Solutions

We build trusted fault-tolerant systems that scale to billions of users.

Honeybadger

Real-time error tracking, performance insights, and observability for devs.

EEF

Supporting innovation across the BEAM ecosystem.

coders51

We build reliable cloud platforms for business-critical systems.

Manning Publications

Develop your skills with books, videos, and courses.

AppSignal

Catch errors, track performance, monitor hosts and more.

WyeWorks

Enabling companies to succeed by building software people love.

Pragmatic Studio

Courses that move you from confusion to "Aha, now I get it!"

View all our sponsors ❯

We're in Beta

About us Mission Statement See our Roadmap